Evolving combinators

DOI10.1007/3-540-63104-6_42MaRDI QIDQ5234723zbMATH OpenOpenAlexFDO

Authors Matthias Fuchs

Publication date 1 October 2019

Published in Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63104-6_42

zbMATH Keywords

theorem provinggenetic programmingautomated reasoningrandom searchfitness measure

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatory logic and lambda calculus (03B40) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Relevancy-based use of lemmas in connection tableau calculi (Diss., TU München, 1999)
• OTTER experiments in a system of combinatory logic
• An evolutionary algorithm for theorem proving in propositional logic
• A foray into combinatory logic
• scientific article; zbMATH DE number 2044666

Cites work

• scientific article; zbMATH DE number 4072436 (Why is no real title available?)
• scientific article; zbMATH DE number 795587 (Why is no real title available?)
• scientific article; zbMATH DE number 795588 (Why is no real title available?)
• A case study in automated theorem proving: Finding sages in combinatory logic
• Automated reasoning contributes to mathematics and logic
• Combinatory logic. With two sections by William Craig.
• Computing in systems described by equations
• The TPTP problem library
• The lambda calculus, its syntax and semantics
• Uniform strategies: The CADE-11 theorem proving contest

Cited in

(3)

• Evolving sets and mixing
• Deep reinforcement learning for synthesizing functions in higher-order logic
• An evolutionary algorithm for theorem proving in propositional logic

Describes a project that uses

Uses Software

• TPTP
• OTTER

This page was built for publication: Evolving combinators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5234723)