Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription.
John McCarthyPublished in: KR (2004)
Keyphrases
- nonmonotonic reasoning
- default logic
- autoepistemic logic
- default reasoning
- logic programming
- belief revision
- nonmonotonic logics
- minimal models
- commonsense reasoning
- conditional logic
- possibility theory
- nonmonotonic inference
- abductive reasoning
- defeasible reasoning
- proof theoretic
- fixpoint
- defeasible logic
- default theories
- logic programs
- default rules
- artificial intelligence
- machine learning
- modal logic
- truth maintenance systems
- graphical models
- knowledge base