Relating Carneades with Abstract Argumentation

van Gijzel, Bas; Prakken, Henry

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

Relating Carneades with Abstract Argumentation

Bas van Gijzel, Henry Prakken

IJCAI 2011 pp. 1113-1119

doi:10.5591/978-1-57735-516-8/IJCAI11-190 /ijcai/2011/vangijzel2011ijcai-relating/

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.

PDF IJCAI Semantic Scholar

Cite

Text

van Gijzel and Prakken. "Relating Carneades with Abstract Argumentation." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-190

Markdown

[van Gijzel and Prakken. "Relating Carneades with Abstract Argumentation." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/vangijzel2011ijcai-relating/) doi:10.5591/978-1-57735-516-8/IJCAI11-190

BibTeX

@inproceedings{vangijzel2011ijcai-relating,
  title     = {{Relating Carneades with Abstract Argumentation}},
  author    = {van Gijzel, Bas and Prakken, Henry},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {1113-1119},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-190},
  url       = {https://mlanthology.org/ijcai/2011/vangijzel2011ijcai-relating/}
}