Relating Carneades with abstract argumentation via the ASPIC + framework for structured argumentation

24Citations
Citations of this article
22Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Carneades is a recently proposed formalism for structured argumentation with varying proof standards, inspired by legal reasoning, but more generally applicable. Its distinctive feature is that each statement can be given its own proof standard, which is claimed to allow a more natural account of reasoning under burden of proof than existing formalisms for structured argumentation, in which proof standards are defined globally. In this article, the two formalisms are formally related by translating Carneades into the ASPIC + framework for structured argumentation. Since ASPIC + is defined to generate Dung-style abstract argumentation frameworks, this in effect translates Carneades graphs into abstract argumentation frameworks. For this translation, we prove a formal correspondence and show that certain rationality postulates hold. It is furthermore proved that Carneades always induces a unique Dung extension, which is the same in all of Dung's semantics, allowing us to generalise Carneades to cycle-containing structures. © 2012 Copyright Taylor and Francis Group, LLC.

Cite

CITATION STYLE

APA

Van Gijzel, B., & Prakken, H. (2012). Relating Carneades with abstract argumentation via the ASPIC + framework for structured argumentation. Argument and Computation, 3(1), 21–47. https://doi.org/10.1080/19462166.2012.661766

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free