On the links between argumentation-based reasoning and nonmonotonic reasoning.
Zimi LiNir OrenSimon ParsonsPublished in: CoRR (2017)
Keyphrases
- nonmonotonic reasoning
- defeasible reasoning
- argumentation systems
- logic programming
- default reasoning
- belief revision
- commonsense reasoning
- default logic
- conditional logic
- abductive reasoning
- defeasible logic
- nonmonotonic inference
- autoepistemic logic
- possibility theory
- extended logic programs
- proof theoretic
- nonmonotonic logics
- causal inference
- legal reasoning
- default rules
- default theories
- truth maintenance systems
- knowledge base
- proof theory
- stereo matching
- general purpose
- database systems