Relating Carneades with Abstract Argumentation
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 1113-1118.
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.
@inproceedings{ijcai2011p190,
title = {Relating Carneades with Abstract Argumentation},
author = {van Gijzel, Bas and Prakken, Henry},
booktitle = {Proceedings of the Twenty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-11}},
publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
editor = {Toby Walsh},
pages = {1113--1118},
year = {2011},
month = {7},
doi = {10.5591/978-1-57735-516-8/IJCAI11-190},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-190},
}
TY - CPAPER TI - Relating Carneades with Abstract Argumentation AU - van Gijzel, Bas AU - Prakken, Henry T2 - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 PB - AAAI Press/International Joint Conferences on Artificial Intelligence PY - 2011 SP - 1113 EP - 1118 DO - 10.5591/978-1-57735-516-8/IJCAI11-190 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-190 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: