Argumentation for propositional logic and nonmonotonic reasoning
AuthorKakas, Antonis C.
SourceCEUR Workshop Proceedings
29th Italian Conference on Computational Logic, CILC 2014
Google Scholar check
MetadataShow full item record
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.