Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy.
Yves KodratoffPublished in: ML (1990)
Keyphrases
- analogical reasoning
- explanation based learning
- domain theory
- interactive theorem proving
- human problem solving
- case based reasoning
- information processing
- logic programming
- theorem proving
- analogy making
- artificial intelligence
- plan recognition
- abductive reasoning
- inductive learning
- engineering design
- machine learning
- failure recovery
- logic programs
- background knowledge
- solving problems
- stochastic logic programs
- control knowledge
- hierarchical problem solving
- domain knowledge
- theorem prover
- abductive logic programming
- proof procedure
- data sets
- mathematical proofs
- complex problem solving
- knowledge acquisition
- recovery algorithm
- image recovery
- ai systems
- decision procedures
- human cognition
- reasoning process
- knowledge level