Proceedings

Relating Carneades with Abstract Argumentation

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 1113-1118.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-190

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.

Bas van Gijzel, and Henry Prakken. 2011. Relating Carneades with Abstract Argumentation. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 1113–1118. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-190
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards