A modal logic for subjective default reasoning.
Shai Ben-DavidRachel Ben-Eliyahu-ZoharyPublished in: Artif. Intell. (2000)
Keyphrases
- modal logic
- default reasoning
- default logic
- conditional logic
- nonmonotonic reasoning
- temporal logic
- decision procedures
- belief revision
- nonmonotonic logics
- inference rules
- default theories
- proof theory
- epistemic logic
- classical logic
- autoepistemic logic
- dependency directed backtracking
- partial order
- default rules
- inheritance reasoning
- probabilistic logic
- probabilistic reasoning
- dynamic logic
- situation calculus
- explanation based generalization
- model checking
- expert systems