AAAI Publications, Twenty-Second International Joint Conference on Artificial Intelligence

Font Size: 
Relating Carneades with Abstract Argumentation
Bas Martijn van Gijzel, Henry Prakken

Last modified: 2011-06-28

Abstract


Carneades is a recently proposed formalism for structured argumentation with varying proof standards. An open question is its relation with Dung's seminal abstract approach to argumentation. In this paper the two formalisms are formally related by translating Carneades into ASPIC+, another recently proposed formalism for structured argumentation. Since ASPIC+ is defined to generate Dung-style abstract argumentation frameworks, this in effect translates Carneades graphs into abstract argumentation frameworks. It is proven that Carneades always induces a unique Dung extension, which is the same in all of Dung's semantics.

Full Text: PDF