Nonmonotonic reasoning, nonmonotonic logics and reasoning about change.
John BellPublished in: Artif. Intell. Rev. (1990)
Keyphrases
- nonmonotonic logics
- nonmonotonic reasoning
- default logic
- logic programming
- belief revision
- default reasoning
- commonsense reasoning
- defeasible reasoning
- nonmonotonic inference
- propositional logic
- autoepistemic logic
- conditional logic
- possibility theory
- default theories
- defeasible logic
- modal logic
- extended logic programs
- argumentation systems
- formal theory
- logic programs
- database
- inheritance reasoning
- causal inference
- truth maintenance systems
- answer set programming
- machine learning