Towards Abductive Reasoning in First-order Logic.
A. Liliana Reyes-CabelloAtocha Aliseda-LleraÁngel Nepomuceno-FernándezPublished in: Log. J. IGPL (2006)
Keyphrases
- abductive reasoning
- first order logic
- inference rules
- expressive power
- theorem proving
- probabilistic reasoning
- propositional logic
- probabilistic logic
- knowledge representation
- inductive logic programming
- theorem prover
- transitive closure
- natural language understanding
- logic programs
- plan recognition
- nonmonotonic reasoning
- probability theory
- automated reasoning
- markov logic networks
- object oriented
- expert systems
- reasoning tasks