---
title: "Relating Carneades with Abstract Argumentation"
authors:
  - "Bas van Gijzel"
  - "Henry Prakken"
doi: "10.5591/978-1-57735-516-8/IJCAI11-190"
url: "https://ijcai.org/proceedings/2011/190"
pdf: "https://ijcai.org/proceedings/2011/0190.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "1113-1118"
track: ""
keywords:
---

# Relating Carneades with Abstract Argumentation

Bas van Gijzel, Henry Prakken

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 1113-1118. DOI: [10.5591/978-1-57735-516-8/IJCAI11-190](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-190)

## 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.