Relating Carneades with abstract argumentation
Bas van Gijzel and Henry Prakken
Carneades is a recently proposed formalism for structured argumentation with varying proof standards. While the formalism is very interesting, to date its relation with Dung's seminal abstract approach to argumentation is unknown. In this paper the two formalisms are formally related by translating Carneades into ASPIC+, which is another recently proposed formalism for structured argumentation. Since ASPIC+ is defined to generate abstract argumentation frameworks, which are the input of Dung's approach, a translation of Carneades into ASPIC+ provides a way to translate Carneades graphs into abstract argumentation frameworks. In particular, it is proven that Carneades always induces a unique Dung extension, which is the same in all of Dung's semantics.