Abduction is not Deduction-in-Reverse.
Marta Cialdea MayerFiora PirriPublished in: Log. J. IGPL (1996)
Keyphrases
- inference rules
- abductive reasoning
- background knowledge
- causal networks
- theorem proving
- logic programming
- abductive logic programming
- computer algebra
- proof procedure
- propositional knowledge base
- theorem prover
- probabilistic model
- domain knowledge
- automated theorem proving
- image processing
- automated deduction
- machine learning
- deductive reasoning
- neural network
- database