A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems.
Charles ElkanPublished in: Artif. Intell. (1990)
Keyphrases
- truth maintenance systems
- nonmonotonic reasoning
- default logic
- constraint propagation
- autoepistemic logic
- inference mechanism
- propositional logic
- consequence finding
- belief revision
- reason maintenance
- minimal models
- temporal reasoning
- knowledge base
- software engineering
- knowledge representation
- default reasoning
- nonmonotonic logics
- inference rules
- classical logic
- default theories
- logic programming