Argument and Computation 3 (1):21 - 47 (2012)

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/19462166.2012.661766
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
On the Evaluation of Argumentation Formalisms.Martin Caminada & Leila Amgoud - 2007 - Artificial Intelligence 171 (5-6):286-310.

View all 11 references / Add more references

Citations of this work BETA

Argumentation Schemes in AI and Law.Katie Atkinson & Trevor Bench-Capon - 2021 - Argument and Computation 12 (3):417-434.
Before and After Dung: Argumentation in AI and Law.T. J. M. Bench-Capon - 2020 - Argument and Computation 11 (1-2):221-238.

View all 6 citations / Add more citations

Similar books and articles

Abstract Argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.


Added to PP index

Total views
22 ( #518,006 of 2,533,631 )

Recent downloads (6 months)
2 ( #260,743 of 2,533,631 )

How can I increase my downloads?


My notes