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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/19462166.2012.661766
Options
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: 58,398
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.

View all 11 references / Add more references

Citations of this work BETA

Argumentation Schemes in AI and Law.Katie Atkinson & Trevor Bench-Capon - forthcoming - Argument and Computation:1-18.
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.

Analytics

Added to PP index
2012-03-14

Total views
20 ( #518,961 of 2,420,551 )

Recent downloads (6 months)
1 ( #542,979 of 2,420,551 )

How can I increase my downloads?

Downloads

My notes