Argumentation for propositional logic and nonmonotonic reasoning
Date
2014Publisher
CEUR-WSSource
CEUR Workshop Proceedings29th Italian Conference on Computational Logic, CILC 2014
Volume
1195Pages
272-286Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in AI. Argumentation is also close to the original inception of logic as a framework for formalizing human argumentation and debate. In this context, the purpose of this paper is twofold: To draw a formal connection between argumentation and classical reasoning (in the form of Propositional Logic) and link this to support defeasible, Non-Monotonic Reasoning in AI. To this effect, we propose Argumentation Logic and show properties and extensions thereof.