Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence.
Maurice PagnuccoAbhaya C. NayakNorman Y. FooPublished in: Deductive Databases / Abduction in Deductive Databases (1995)
Keyphrases
- abductive reasoning
- nonmonotonic reasoning
- belief revision
- logic programs
- causal inference
- inference rules
- truth maintenance systems
- probabilistic logic
- reasoning tasks
- default reasoning
- logic programming
- natural language understanding
- logical representation
- plan recognition
- nonmonotonic logics
- probability theory
- knowledge base
- belief functions
- prime implicates
- belief change
- autoepistemic logic
- propositional logic
- modal logic
- expert systems