Analogy and Abduction in Automated Deduction.
Gilles DéfourneauxNicolas PeltierPublished in: IJCAI (1) (1997)
Keyphrases
- automated deduction
- logic programming
- theorem proving
- inference rules
- abductive reasoning
- theorem prover
- deductive databases
- logic programs
- analogical reasoning
- causal networks
- statistical mechanics
- background knowledge
- knowledge representation
- artificial intelligence
- domain theory
- database
- reasoning tasks
- knowledge base
- genetic algorithm
- nearest neighbour algorithm
- predicate invention
- analogy making
- belief revision
- nonmonotonic reasoning
- programming language
- general purpose
- supervised learning
- case based reasoning
- query language
- decision trees
- data mining