Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.
Francis AlexandreKhaled BsaïesMoussa DembaPublished in: LOPSTR (2003)
Keyphrases
- theorem prover
- functional programs
- first order logic
- inductive inference
- term rewriting systems
- program synthesis
- geometry theorem proving
- functional language
- recursive programs
- theorem proving
- natural deduction
- knowledge representation
- inductive learning
- automated theorem proving
- machine learning
- inductive logic programming
- inference rules
- inductive reasoning
- fault diagnosis
- artificial intelligence
- proof search
- multiple faults
- decision making
- fault model
- rule learning
- horn clauses
- texture synthesis
- logic programs
- natural language
- database systems
- search engine