A Superposition Calculus for Abductive Reasoning.
Mnacho EchenimNicolas PeltierPublished in: CoRR (2014)
Keyphrases
- abductive reasoning
- inference rules
- reasoning tasks
- logic programs
- natural language understanding
- causal inference
- nonmonotonic reasoning
- probabilistic logic
- plan recognition
- logical representation
- theorem proving
- logic programming
- prime implicates
- consequence finding
- default reasoning
- knowledge base
- answer set programming
- bayesian networks
- decision making