Default Reasoning, Nonmonotonic Logics, and the Frame Problem.
Steve HanksDrew V. McDermottPublished in: AAAI (1986)
Keyphrases
- default reasoning
- nonmonotonic logics
- default logic
- nonmonotonic reasoning
- default theories
- situation calculus
- logic programming
- belief revision
- modal logic
- autoepistemic logic
- conditional logic
- dependency directed backtracking
- default rules
- inheritance reasoning
- event calculus
- proof theory
- probabilistic logic
- possibility theory
- classical logic
- fixed point
- relational databases
- propositional logic
- heuristic search
- case based reasoning
- model theoretic
- fuzzy logic
- knowledge representation
- artificial intelligence