Monotonic and Nonmonotonic Reasoning in Zoom Reasoning Systems.
Tetsuya MuraiMasayuki SanadaYasuo KudoYoshiharu SatoPublished in: KES (2004)
Keyphrases
- reasoning systems
- nonmonotonic reasoning
- logic programming
- automated reasoning
- default reasoning
- default logic
- belief revision
- knowledge representation and reasoning
- conditional logic
- description logics
- commonsense reasoning
- nonmonotonic inference
- abductive reasoning
- proof theoretic
- nonmonotonic logics
- defeasible reasoning
- possibility theory
- autoepistemic logic
- argumentation systems
- defeasible logic
- causal inference
- extended logic programs
- inheritance reasoning
- machine learning
- truth maintenance systems
- default theories