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

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.

1. Introduction

Argumentation involves the construction of arguments in favour of and against statements, selecting the acceptable arguments, and in the end determining which statements hold. How arguments support their conclusion depends on the knowledge they use and the inference rules they apply, so any full theory of argument evaluation should take the structure and content of arguments into account. One way to do so is to define a defeat relation between arguments that takes into account the structure and content of arguments and (if available) information on their relative strength. This approach thus results in an abstract argumentation framework in the sense of Dung (1995), so that the full theory of abstract argumentation can be applied. Two frameworks for structured argumentation that are designed following this approach are assumption-based argumentation (Bondarenko, Dung, Kowalski, and Toni 1997, Dung, Kowalski, and Toni 2009) and ${\mathrm{ASPIC}}^{+}$ (Prakken 2010). In fact, Prakken (2010) shows that assumption-based argumentation can be translated into ${\mathrm{ASPIC}}^{+}$ as a special case.

However, there have also been advances in structured argumentation that diverge from this approach. A recent application in legal reasoning is the Carneades argumentation system, both a logical model (Gordon, Prakken, and Walton 2007, Gordon and Walton 2009b) and a software toolbox for structured argument evaluation, construction and visualisation (Gordon 2010). Carneades innovates models of structured argumentation by allowing varying proof standards to be assigned to individual propositions. It is claimed that this allows for a more natural account of reasoning under burden of proof than existing formalisms for structured argumentation, in which proof standards are defined globally (Atkinson and Bench-Capon 2007, Bench-Capon, Doutre, and Dunne 2007). This makes the Carneades formalism potentially very attractive, as signified by the large number of citations due to its proof standards.

Recently, Brewka and Gordon (2010a) translated Carneades into Brewka and Woltran's (2010b) abstract dialectical frameworks. Moreover, Brewka, Dunne, and Woltran (2011) have proved a formal correspondence between abstract dialectical frameworks and Dung's abstract argumentation frameworks. By combining these results, a formal relation between Carneades and Dung's semantics can be obtained. However, this relation is rather indirect. In this paper, we therefore take a different approach, by translating Carneades into the ${\mathrm{ASPIC}}^{+}$ framework. Since ${\mathrm{ASPIC}}^{+}$ is defined to generate abstract argumentation frameworks, which are the input of Dung's approach, a translation of Carneades into ${\mathrm{ASPIC}}^{+}$ provides a more direct way to translate Carneades’ graphs into Dung's frameworks. Futhermore, we will prove that Carneades can be modelled cycle-free, thus always inducing a unique Dung extension, which is the same in all of Dung's semantics. This allows us to generalise Carneades’ argument evaluation structures (CAES) to cycle-containing structures, addressing an important issue left for future research by Gordon and Walton (2009b). An additional advantage of translating Carneades to ${\mathrm{ASPIC}}^{+}$ is that the results of Prakken (2010) on the rationality postulates of Caminada and Amgoud (2007) can be shown to hold for the translation.

This article is structured as follows: first we will review the necessary background in Section 2, namely, Dung's abstract argumentation frameworks and Prakken's ${\mathrm{ASPIC}}^{+}$ framework. In Section 3, we introduce Carneades in a different formulation than that of Gordon and Walton (2009b), keeping only the relevant stage-specific parts. In Section 4, we then establish a formal relation between Carneades and Dung's frameworks by developing a translation and proving formal results.1

1

Part of this work has appeared before in van Gijzel and Prakken (2011) and van Gijzel (2011).

Finally, in Section 5, we conclude and discuss related and future work.

2. Background

In this section, we briefly review Dung's abstract argumentation frameworks (Dung 1995), followed by an introduction to the structured argumentation frameworks of Prakken (2010). For a recent in-depth introduction to Dung's frameworks, see Baroni and Giacomin (2009).

2.1. Abstract argumentation frameworks

In 1995, Dung introduced his seminal theory of argumentation, with which he, due to its abstract nature, was able to model logic programming and several of the contemporary approaches to non-monotonic reasoning. By showing that these forms of reasoning can be represented as a form of argumentation, the relationship between these approaches was clarified.

Dung's abstract argumentation frameworks consist of a set of arguments ordered by a binary relation of defeat.2

2

Dung calls it “attack” but to unify terminology we rename it to “defeat”.

Definition 2.1 Abstract argumentation framework

An abstract argumentation framework is a tuple $⟨\mathit{Args}\mathrm{,}\mathit{Def}⟩\mathrm{,}$ such that Args is a set of arguments and $\mathit{Def}\subseteq \mathit{Args}\times \mathit{Args}$ is a defeat relation on the arguments in Args.

Definition 2.2

Let $\mathrm{AF}=⟨\mathit{Args}\mathrm{,}\mathit{Def}⟩$ and $\mathit{S}\subseteq \mathit{Args}$ .

S is called conflict-free iff $\neg \exists \mathit{A}\mathrm{,}\mathit{B}\in \mathit{S}$ such that (A, B)∈Def.

An argument A∈Args is acceptable w.r.t. S iff $\forall \mathit{B}\in \mathit{Args}\mathrm{,}$ if (B, A)∈Def then $\exists \mathit{C}\in \mathit{S}$ such that (C, B)∈Def.

The characteristic function of an AF, F_AF is a function such that

${\mathit{F}}_{\mathrm{AF}}:2^{\mathit{Args}}\to 2^{\mathit{Args}}\mathrm{,}$

${\mathit{F}}_{\mathrm{AF}}\mathrm{(}\mathit{S}\mathrm{)}=\{\mathit{A}|\mathit{A}$ is acceptable w.r.t. to $\mathit{S}\}$ .

A conflict-free set of arguments S is admissible iff every argument A∈S is acceptable w.r.t. S, that is, $\mathit{S}\subseteq {\mathit{F}}_{\mathrm{AF}}\mathrm{(}\mathit{S}\mathrm{)}$ .

Definition 2.3 Extensions

Given a conflict-free set of arguments S and an argumentation framework AF:

S is a complete extension iff $\mathit{S}={\mathit{F}}_{\mathrm{AF}}\mathrm{(}\mathit{S}\mathrm{)}$ .

S is a grounded extension iff it is the least fixed point of F_AF.

S is a preferred extension iff it is a greatest fixed point of F_AF.

S is a stable extension iff it is a preferred extension defeating all arguments in $\mathit{Args}\setminus \mathit{S}$ .

Finally, we use Dung's definition of a well-founded argumentation framework. A well-founded AF is an AF without cycles or an infinite defeating chain of arguments. We will later prove the translation of Carneades to be well-founded.

Definition 2.4 Well-founded argumentation framework

An argumentation framework is well-founded iff there does not exist an infinite sequence of arguments: ${\mathit{A}}_0\mathrm{,}{\mathit{A}}_1\mathrm{,}\dots \mathrm{,}{\mathit{A}}_{\mathit{n}}\mathrm{,}\dots$ such that for each i, $\mathrm{(}{\mathit{A}}_{\mathit{i}+1}\mathrm{,}{\mathit{A}}_{\mathit{i}}\mathrm{)}\in \mathit{Def}$ .

The differences between the semantics collapse in an argumentation framework in which there are no cycles.

Theorem 2.5 Theorem 30 of Dung (1995)

Every well-founded argumentation framework has exactly one complete extension which is grounded, preferred and stable.

2.2. Structured argumentation frameworks

The abstract argumentation frameworks by Dung (1995) keep the structure and nature of arguments and the attack relation unspecified. This allows for general reasoning about the acceptability status of arguments, but provides no guidance for the modelling of actual argumentation problems. Other research has therefore taken a structured approach to argumentation (Amgoud 2005, Gordon et al. 2007).

Structured argumentation frameworks ( ${\mathrm{ASPIC}}^{+}$ ) as defined by Prakken (2010) are a further development of the ASPIC framework as defined by Amgoud et al. (2006). Prakken's frameworks instantiate3

3

Prakken (2010) calls the general argumentation model, defined by Dung (1995), argumentation frameworks. This is in contrast to the use of Dung, where an argumentation framework is a specific set of arguments and defeat relation. Instantiations of the abstract argumentation model by Dung are in ${\mathrm{ASPIC}}^{+}$ called argumentation systems and argumentation frameworks are called argumentation theories.

the abstract argumentation model of Dung, defining the internal structure of arguments, defining multiple types of attack and adding preferences to the attack relation, and resulting in a defeat relation.

The basic building block of a structured argumentation framework is the concept of an argumentation system, extending the standard notion of a proof system. In argumentation systems, the logical language is left unspecified except for the existence of a contrariness relation (generalisation of logical negation to asymmetric conflict). Inference rules are divided into strict and defeasible rules, respectively, of the form ${\mathit{\phi }}_1\mathrm{,}\dots \mathrm{,}{\mathit{\phi }}_{\mathit{n}}\to \mathit{\phi }$ and ${\mathit{\phi }}_1\mathrm{,}\dots \mathrm{,}{\mathit{\phi }}_{\mathit{n}}\Rightarrow \mathit{\phi }$ . Strict rules are interpreted as “if the antecedents ${\mathit{\phi }}_1\mathrm{,}\dots \mathrm{,}{\mathit{\phi }}_{\mathit{n}}$ hold, then without exception the consequent ϕ holds”, where for defeasible rules this presumably holds. Finally, the relative strength of defeasible rules can be determined by means of a partial preorder.

Definition 2.6 Argumentation system (Prakken 2010, Def. 3.1)

An argumentation system is a tuple $\mathrm{AS}=⟨\mathcal{L}\mathrm{,}\overline{\phantom{0}}\mathrm{,}\mathcal{R}\mathrm{,}⩽⟩$ where

ℒ is a logical language,

⁻ is a contrariness function from ℒ to $2^{\mathcal{L}}\mathrm{,}$ such that if $\mathit{\phi }\in \bar{\mathit{\psi }}$ then

if $\mathit{\psi }\notin \bar{\mathit{\phi }}$ then ϕ is called a contrary of ψ,

otherwise, $\mathit{\psi }\in \bar{\mathit{\phi }}$ and ϕ and ψ are called contradictory, that is, $\mathit{\phi }\in \bar{\mathit{\psi }}$ and $\mathit{\psi }\in \bar{\mathit{\phi }}$ .

$\mathcal{R}={\mathcal{R}}_{\mathit{s}}\cup {\mathcal{R}}_{\mathit{d}}$ is a set of strict $\mathrm{(}{\mathcal{R}}_{\mathit{s}}\mathrm{)}$ and defeasible inference rules $\mathrm{(}{\mathcal{R}}_{\mathit{d}}\mathrm{)}$ such that ${\mathcal{R}}_{\mathit{s}}\cap {\mathcal{R}}_{\mathit{d}}=\varnothing \mathrm{,}$

≤ is a partial preorder on ℛ _d .

Since this definition leaves the nature of the logical language and the inference rules largely unspecified, it is possible to reformulate specific argumentation systems as instances of ${\mathrm{ASPIC}}^{+}$ . For example, Prakken (2010) has shown that assumption-based argumentation (Bondarenko et al. 1997, Dung, Mancarella, and Toni 2007), a structured argumentation approach using assumptions from which conclusions are drawn using strict inference rules, is a special case of ${\mathrm{ASPIC}}^{+}$ , and Modgil and Prakken (2011) have proved the same for variants of classical argumentation (cf. Besnard and Hunter 2008).

With the argumentation system defined, we can now look at the construction of arguments by means of a knowledge base in an argumentation system. The set of rules contains both a strict and defeasible kind and the knowledge base can be inconsistent. In addition to the possible inconsistency, the knowledge base also contains four different types of facts, inspired by a similar distinction of Gordon et al. (2007). Similar to the axioms in deductive logic, there are (unattackable) premises called necessary axioms (𝒦 _n ), (attackable) ordinary premises (𝒦 _p ), assumptions (𝒦 _a ) – which are a weak type of premise always defeated by an attack – and issues (𝒦 _i ) – which are premises that are not acceptable unless backed by further argument.

Definition 2.7 Knowledge base (Prakken 2010, Def. 3.5)

A knowledge base in an argumentation system $⟨\mathcal{L}\mathrm{,}\overline{\phantom{0}}\mathrm{,}\mathcal{R}\mathrm{,}⩽⟩$ is a pair $⟨\mathcal{K}\mathrm{,}{⩽}^{\prime }⟩$ where $\mathcal{K}\subseteq \mathcal{L}$ and ≤′ is a partial preorder on $\mathcal{K}\setminus {\mathcal{K}}_{\mathit{n}}$ . Here $\mathcal{K}={\mathcal{K}}_{\mathit{n}}\cup {\mathcal{K}}_{\mathit{p}}\cup {\mathcal{K}}_{\mathit{a}}\cup {\mathcal{K}}_{\mathit{i}}$ where these subsets of 𝒦 are disjoint.

With the knowledge base and inference rules defined as above, the construction of arguments can be defined by adopting Vreeswijk's (1993, 1997), definition of an argument. The smallest argument is simply a fact from the knowledge base. More complex arguments can be constructed by chaining inference rules on previous arguments, resulting in an argument in tree form (containing sub-arguments).

Definition 2.8 Arguments (Prakken 2010, Def. 3.6)

An argument A on the basis of a knowledge base $⟨\mathcal{K}\mathrm{,}{⩽}^{\prime }⟩$ in an argumentation system $⟨\mathcal{L}\mathrm{,}\overline{\phantom{0}}\mathrm{,}\mathcal{R}\mathrm{,}⩽⟩$ is

φ if $\mathit{\varphi }\in \mathcal{K}$ with:

$\mathit{Prem}\mathrm{(}\mathit{A}\mathrm{)}=\{\mathit{\varphi }\}\mathrm{,}$

$\mathit{Conc}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{\varphi }\mathrm{,}$

$\mathit{Sub}\mathrm{(}\mathit{A}\mathrm{)}=\{\mathit{\varphi }\}\mathrm{,}$

$\mathit{DefRules}\mathrm{(}\mathit{A}\mathrm{)}=\varnothing \mathrm{,}$

$\mathit{TopRule}\mathrm{(}\mathit{A}\mathrm{)}=\mathrm{undefined}$ .

${\mathit{A}}_1\mathrm{,}\dots \mathrm{,}{\mathit{A}}_{\mathit{n}}\to \mathit{\psi }$ if ${\mathit{A}}_1\mathrm{,}\dots \mathrm{,}{\mathit{A}}_{\mathit{n}}$ are arguments such that there exists a strict rule $\mathit{Conc}\mathrm{(}{\mathit{A}}_1\mathrm{)}\mathrm{,}\dots \mathrm{,}\mathit{Conc}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\to \mathit{\psi }$ in ${\mathcal{R}}_{\mathit{s}}\mathrm{,}$

$\mathit{Prem}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{Prem}\mathrm{(}{\mathit{A}}_1\mathrm{)}\cup \cdots \cup \mathit{Prem}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\mathrm{,}$

$\mathit{Conc}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{\psi }\mathrm{,}$

$\mathit{Sub}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{Sub}\mathrm{(}{\mathit{A}}_1\mathrm{)}\cup \cdots \cup \mathit{Sub}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\cup \{\mathit{A}\}\mathrm{,}$

$\mathit{Def}\mathit{Rules}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{Def}\mathit{Rules}\mathrm{(}{\mathit{A}}_1\mathrm{)}\cup \cdots \cup \mathit{Def}\mathit{Rules}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\mathrm{,}$

$\mathit{TopRule}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{Conc}\mathrm{(}{\mathit{A}}_1\mathrm{)}\mathrm{,}\dots \mathrm{,}\mathit{Conc}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\to \mathit{\psi }$ .

${\mathit{A}}_1\mathrm{,}\dots \mathrm{,}{\mathit{A}}_{\mathit{n}}\Rightarrow \mathit{\psi }$ if ${\mathit{A}}_1\mathrm{,}\dots \mathrm{,}{\mathit{A}}_{\mathit{n}}$ are arguments such that there exists a defeasible rule $\mathit{Conc}\mathrm{(}{\mathit{A}}_1\mathrm{)}\mathrm{,}\dots \mathrm{,}\mathit{Conc}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\Rightarrow \mathit{\psi }$ in ${\mathcal{R}}_{\mathit{d}}\mathrm{,}$

$\mathit{Prem}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{Prem}\mathrm{(}{\mathit{A}}_1\mathrm{)}\cup \cdots \cup \mathit{Prem}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\mathrm{,}$

$\mathit{Conc}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{\psi }$ ,

$\mathit{Sub}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{Sub}\mathrm{(}{\mathit{A}}_1\mathrm{)}\cup \cdots \cup \mathit{Sub}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\cup \{\mathit{A}\}\mathrm{,}$

$\mathit{Def}\mathit{Rules}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{Def}\mathit{Rules}\mathrm{(}{\mathit{A}}_1\mathrm{)}\cup \cdots \cup \mathit{Def}\mathit{Rules}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\cup \{\mathit{Conc}\mathrm{(}{\mathit{A}}_1\mathrm{)}\mathrm{,}\dots \mathrm{,}\mathit{Conc}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\Rightarrow \mathit{\psi }\}\mathrm{,}$

$\mathit{TopRule}\mathrm{(}\mathit{A}\mathrm{)}=\mathit{Conc}\mathrm{(}{\mathit{A}}_1\mathrm{)}\mathrm{,}\dots \mathrm{,}\mathit{Conc}\mathrm{(}{\mathit{A}}_{\mathit{n}}\mathrm{)}\Rightarrow \mathit{\psi }$ .

Example 2.9

Given an argumentation system and a knowledge base in that argumentation system with the following rules and facts (where $\mathit{q}\mathrm{,}\mathit{r}\to \mathit{s}$ means with q and r derived, derive s): $$\begin{array}{ccc}\hfill {\mathcal{R}}_{\mathit{s}}& \hfill =\hfill & \{\mathit{z}\mathrm{,}\mathit{s}\to \mathit{t};\mathit{q}\mathrm{,}\mathit{r}\to \mathit{s}\}\mathrm{,}\hfill \\ \hfill {\mathcal{R}}_{\mathit{d}}& \hfill =\hfill & \{\mathit{p}\mathrm{,}\mathit{u}\Rightarrow \mathit{q}\}\mathrm{,}\hfill \\ \hfill {\mathcal{K}}_{\mathit{n}}& \hfill =\hfill & \{\mathit{p};\mathit{z}\}\mathrm{,}\hfill \\ \hfill {\mathcal{K}}_{\mathit{p}}& \hfill =\hfill & \{\mathit{u}\}\mathrm{,}\hfill \\ \hfill {\mathcal{K}}_{\mathit{a}}& \hfill =\hfill & \{\mathit{r}\}\mathrm{,}\hfill \\ \hfill {\mathcal{K}}_{\mathit{i}}& \hfill =\hfill & \{\mathit{s}\}.\hfill \end{array}$$ An argument for t can be constructed by using an issue premise from 𝒦 _i , as seen in Figure 1. (The type of premise is used as superscript.)

Arguments using issue premises will result in not being acceptable. Therefore, to produce a possibly acceptable argument for t after evaluation, we will want to derive an argument for s instead of using the issue premise. Such an argument for t can be seen in Figure 2. Here double lines indicate a defeasible inference. This argument contains several sub-arguments which can formally be written as follows: $$\begin{array}{c}{\mathit{A}}_1:\mathit{p}\mathrm{,}{\mathit{A}}_5:{\mathit{A}}_1\mathrm{,}{\mathit{A}}_2\Rightarrow \mathit{q}\mathrm{,}\hfill \\ {\mathit{A}}_2:\mathit{u}\mathrm{,}{\mathit{A}}_6:{\mathit{A}}_5\mathrm{,}{\mathit{A}}_3\to \mathit{s}\mathrm{,}\hfill \\ {\mathit{A}}_3:\mathit{r}\mathrm{,}{\mathit{A}}_7:{\mathit{A}}_6\mathrm{,}{\mathit{A}}_4\to \mathit{t}.\hfill \\ {\mathit{A}}_4:\mathit{z}\mathrm{,}\hfill \end{array}$$ Here A₇ is the argument from Figure 2.

Figure 1.

An argument for t using an issue premise.

Figure 2.

Another argument for t.

Now we can define the notion of an argumentation theory.

Definition 2.10 Argument theories (Prakken 2010, Def. 3.11)

An argumentation theory is a triple $\mathrm{AT}=⟨\mathrm{AS}\mathrm{,}\mathrm{KB}\mathrm{,}⪯⟩$ where AS is an argumentation system, KB is a knowledge base in AS and ⪯ is an argument ordering on the set of all arguments that can be constructed from KB in AS.

With the internal structure of arguments defined, it is now possible to distinguish between types of attack.

Undermining attack is an attack on the premises on an argument and is the only attack possible in the context of strict rules. An undercutting attack is an attack on the (defeasible) inference step and is a way to provide “exceptions to the rule”. Finally, a rebutting attack is done by constructing a contrary or contradictory conclusion for the attacked argument's (sub)conclusion.

Definition 2.11 Types of attack (Prakken 2010, Def. 3.16, 3.11, 3.14)

Argument A undermines argument B (on φ) iff $\mathit{Conc}\mathrm{(}\mathit{A}\mathrm{)}\in \overline{\mathit{\varphi }}$ for some $\mathit{\varphi }\in \mathit{Prem}\mathrm{(}\mathit{B}\mathrm{)}\setminus {\mathcal{K}}_{\mathit{n}}$ . In such a case, A contrary-undermines B iff Conc(A) is a contrary of φ or if $\mathit{\varphi }\in {\mathcal{K}}_{\mathit{a}}$ .

Argument A undercuts argument B (on B′) iff $\mathit{Conc}\mathrm{(}\mathit{A}\mathrm{)}\in \overline{{\mathit{B}}^{\prime }}$ for some B′∈Sub(B) of the form ${\mathit{B}}_1^{″}\mathrm{,}\dots \mathrm{,}{\mathit{B}}_{\mathit{n}}^{″}\Rightarrow \mathit{\psi }$ .

Argument A rebuts argument B (on B′) iff $\mathit{Conc}\mathrm{(}\mathit{A}\mathrm{)}\in \overline{\mathit{\varphi }}$ for some B′∈Sub(B) of the form ${\mathit{B}}_1^{″}\mathrm{,}\dots \mathrm{,}{\mathit{B}}_{\mathit{n}}^{″}\Rightarrow \mathit{\psi }.$ In such a case, A contrary-rebuts B iff Conc(A) is a contrary of φ.

The types of attack can be combined with an argument ordering to define the notion of defeat. Similar to contraries, an undercutting attack does not take the ordering into account and hence always results in defeat. Intuitively, the undercutter contains an argument for an exception to the rule of the attacked argument, otherwise an undercutter and the attacked argument using that rule could be in the same extension.

Definition 2.12 Types of defeat (Prakken 2010, Def. 3.19, 3.20)

Argument A successfully rebuts argument B if A rebuts B on B′ and either A contrary-rebuts B′ or $\mathit{A}\nprec {\mathit{B}}^{\prime }$ .

Argument A successfully undermines argument B if A undermines B on φ and either A contrary-undermines B or $\mathit{A}\nprec \mathit{\varphi }$ .

The previous notions can be combined in an overall definition of defeat.

Definition 2.13 Defeat (Prakken 2010, Def. 3.21)

Argument A defeats argument B iff no premise of A is an issue and A undercuts or successfully rebuts or successfully undermines B. Argument A strictly defeats argument B iff A defeats B and B does not defeat A.

To deal with issue premises, an argument is acceptable only if it contains no issue premises; therefore, changing Definition 2.2 to the following.

An argument A∈Args is acceptable with respect to a set S of arguments, or alternatively S defends A, iff A contains no issue premises and for all arguments B∈S: if $\mathit{defeats}\mathrm{(}\mathit{B}\mathrm{,}\mathit{A}\mathrm{)}$ holds then there is a C∈S for which $\mathit{defeats}\mathrm{(}\mathit{C}\mathrm{,}\mathit{B}\mathrm{)}$ holds.4

4

This slightly changes the definition of Prakken (2010), disallowing arguments with issue premises to be acceptable at all, instead of only excluding them from extensions.

With arguments and the defeat relation fully defined, it is possible to link the argumentation theories of the structured approach to Dung's abstract argumentation frameworks, thereby formally making the correspondence between the structured and abstract approach.

Definition 2.14 Argumentation framework (Prakken 2010, Def. 3.22)

An abstract argumentation framework AF corresponding to an argumentation theory AT is a pair $⟨\mathit{Args}\mathrm{,}\mathit{defeats}⟩$ such that

Args is the set of arguments on the basis of AT as defined by Definition 2.8,

defeats is the relation on Args given by Definition 2.13.

Finally, the acceptability of conclusions (of a mathematical language ℒ) is defined in the corresponding argumentation framework.

Definition 2.15 Acceptability of conclusions (Prakken 2010, Def. 3.23)

For any semantics S and for any argumentation framework AF and formula $\mathit{\varphi }\in {\mathcal{L}}_{\mathrm{AF}}\text{:}$

(1)  φ is sceptically S-acceptable in AF if and only if all S-extensions of AF contain an argument with conclusion φ;

(2)  φ is credulously S-acceptable in AF if and only if there exists an S-extensions of AF that contain an argument with conclusion φ.

Example 2.16

Given an argumentation system and a knowledge base in that argumentation system with the following rules and facts (where $\mathit{q}\mathrm{,}\mathit{r}\to \neg {\mathit{r}}_1$ means that given q and r, rule r₁ does not apply, that is, undercut): $$\begin{array}{ccc}\hfill {\mathcal{R}}_{\mathit{d}}& \hfill =\hfill & \{\mathit{bird}{\Rightarrow }_{\mathit{r}}\mathit{fly};\mathit{penguin}\Rightarrow \neg \mathit{r}\}\mathrm{,}\hfill \\ \hfill {\mathcal{K}}_{\mathit{p}}& \hfill =\hfill & \{\mathit{bird};\mathit{penguin}\}\mathrm{,}\hfill \\ \hfill {\mathcal{K}}_{\mathit{n}}& \hfill =\hfill & {\mathcal{K}}_{\mathit{a}}={\mathcal{K}}_{\mathit{i}}={\mathcal{R}}_{\mathit{s}}=⩽={⩽}^{\prime }=\varnothing \mathrm{,}\hfill \\ \hfill \overline{\phantom{0}}& \hfill =\hfill & \{\mathrm{(}\mathit{r}\mathrm{,}\neg \mathit{r}\mathrm{)}\}.\hfill \end{array}$$ The arguments on the basis of this knowledge base are the following: $$\begin{array}{cc}{\mathit{A}}_1:\mathit{bird}\mathrm{,}\hfill & {\mathit{B}}_1:\mathit{penguin}\mathrm{,}\hfill \\ {\mathit{A}}_2:{\mathit{A}}_1{\Rightarrow }_{\mathit{r}}\mathit{fly}\mathrm{,}\hfill & {\mathit{B}}_2:{\mathit{B}}_1\Rightarrow \neg \mathit{r}.\hfill \end{array}$$ The defeat relation on basis of the argumentation system and knowledge base (independent of the ordering ⪯), $\mathit{defeats}=\{\mathrm{(}{\mathit{B}}_2\mathrm{,}{\mathit{A}}_2\mathrm{)}\}$ , can be visualised together with the arguments constructed (Figure 3).

For this argumentation framework, we have one complete (and thus one grounded, preferred and stable) extension, namely $\mathit{E}=\{{\mathit{A}}_1\mathrm{,}{\mathit{B}}_1\mathrm{,}{\mathit{B}}_2\}$ . We can see that bird and penguin are sceptically and credulously justified in E.

Figure 3.

Corresponding argumentation framework.

3. Stage-specific Carneades

Carneades is a formal model of argumentation incorporating both static and dynamic aspects of argumentation. In Carneades, argumentation is seen as a dialogical process, determining the acceptability of arguments by applying proof standards, where the assignment of proof standards to arguments is determined by the various proof burdens. The version of Carneades that we will discuss is the stage-specific part of the most recent version by Gordon and Walton (2009b). It is of primarily interest to us because of the existing reduction to abstract dialectical frameworks Brewka and Gordon 2010a; Brewka and Woltran 2010b). Contrary to how Carneades has been introduced in the literature (Gordon et al. 2007; Gordon and Walton 2009b), but similar to Brewka and Gordon (2010a), we will introduce proof standards to be part of the static, evaluative part of Carneades.

We will start with an introduction to Carneades’ concept of arguments. Similar to structured abstract argumentation frameworks introduced in the previous section, arguments in Carneades are not left abstract but given certain structure. Arguments are constructed by linking premises and exceptions to a conclusion. The Arguments pro and con and conclusions are later aggregated and evaluated through proof standards.

Definition 3.1 Arguments (Gordon and Walton 2009b, Def. 1)

Let ℒ be a propositional language. An argument is a tuple $⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩$ where $\mathit{P}\subset \mathcal{L}$ are its premises, $\mathit{E}\subset \mathcal{L}$ with $\mathit{P}\cap \mathit{E}=\varnothing$ are its exceptions and $\mathit{c}\in \mathcal{L}$ is its conclusion. For simplicity, c and all members of P and E must be literals, that is, either an atomic proposition or a negated atomic proposition. Let p be a literal. If p is c, then the argument is an argument pro p. If p is the complement of c, then the argument is an argument con p.

In Carneades, a dialogue is a sequence of stages but for evaluating arguments in a specific stage the other stages are irrelevant. As in Brewka and Gordon (2010a), we therefore only consider stage-specific CAES. To define them, the concepts of an audience and an acyclic set of arguments must be introduced.

Definition 3.2 Audience (adapted from Gordon and Walton 2009b, Def. 3)

Let ℒ be a propositional language. An audience is a tuple ⟨assumptions, weight⟩, where $\mathit{assumptions}\subset \mathcal{L}$ is a consistent set of literals assumed to be acceptable by the audience and weight is a function5

5

In contrast to how it was presented by Gordon and Walton (2009b), the weight function will not be partial. Evaluation of arguments without weights was, in exception of the rare case that the standard was scintilla for both c and c¯, undefined, and therefore the partiality of the weight function will be assumed to be incorrect.

mapping arguments to real numbers in the range $0.0\cdots 1.0$ , representing the relative weights assigned by the audience to the arguments.

Carneades is defined with an acyclic set of arguments to simplify the definitions and time needed for the evaluation of arguments.6 6

A possible generalisation to cyclic structures was left as future work (Gordon and Walton 2009b). This restriction was lifted in the translation done to abstract dialectical frameworks by Brewka and Gordon (2010a) and we will see that similar results hold for our translation done in Section 4.3.

In the original definition by Gordon and Walton (2009b), sets of arguments were restricted to be acyclic in the sense that the chains of arguments ${\mathit{a}}_1\mathrm{,}\dots \mathrm{,}{\mathit{a}}_{\mathit{n}}$ constructable from the set should be acyclic. A chain is constructed by sequencing arguments, intuitively giving the possibility to link the conclusion of an argument to a premise of a later argument. Acyclicity of a chain implied that a premise of an argument a _i could not be used in a conclusion of an argument a _j later in the chain. However, this results in a non-well-founded definition of acceptability in Carneades due to possible cycles in exceptions in arguments, for example, consider $\mathit{arguments}=\{\mathit{a}\mathrm{,}\mathit{b}\}$ with $\mathit{a}=⟨\varnothing \mathrm{,}\{\mathit{p}\}\mathrm{,}\mathit{q}⟩$ and $\mathit{b}=⟨\varnothing \mathrm{,}\{\mathit{q}\}\mathrm{,}\mathit{p}⟩$ . This is probably a small oversight, contrasting the correct definitions in Gordon et al. (2007).

Instead, we will use the more general concept of a dependency graph to determine acyclicity of a set of arguments, based on the definition of Brewka and Gordon (2010a).

Definition 3.3 Acyclic set of arguments (adapted from Brewka and Gordon 2010a, Def. 2.1)

A set of arguments is acyclic iff its corresponding dependency graph is acyclic. The corresponding dependency graph has nodes for every literal appearing in the set of arguments. A node p has a link to node q whenever p depends on q in the sense that there is an argument pro or con p that has q or q¯ in its set of premises or exceptions.

The previous definitions can now be combined to define Carneades’ concept of an evaluation structure.

Definition 3.4 Stage-specific CAES (adapted from Gordon and Walton 2009b, Def. 4)

A(stage-specific) CAES is a tuple $⟨\mathit{arguments}$ , audience, $\mathit{standard}⟩\mathrm{,}$ where the argument is an acyclic set of arguments, audience is an audience and the standard is a total function mapping of literals in ℒ to their applicable proof standards.

In the (legal) dialogues that Carneades models, proof burdens, such as the burden of production or the burden of persuasion, can be assigned to a propositional literal. Intuitively, an assigned proof burden obliges a participant of the dialogue to provide proof for that proposition, under the condition that the proof satisfies a certain standard of proof. In the model, the assignment of the proof standard is determined by the function standard provided in the previous definition. This proof standard can be evaluated in a specific stage and thus can be taken as a static part of Carneades. Proof standards included in the Carneades model, originating from the work of Freeman and Farley (1996) and Farley and Freeman (1995), are a scintilla of evidence, preponderance of the evidence, clear-and-convincing evidence, beyond-reasonable-doubt and finally dialectical-validity. A proof standard is a function that given a literal p aggregates arguments pro and con p and evaluates to true or false depending on a specific audience.7

7

This slightly generalises Carneades in that we allow complementary literals to be given different proof standards, in contrast to Gordon et al. (2007) and the implementations of Carneades.

Definition 3.5 Proof standard (Gordon and Walton 2009b, Def. 4)

A proof standard is a function mapping tuples $⟨\mathit{issue}\mathrm{,}\mathit{arguments}\mathrm{,}\mathit{audience}⟩$ to $\{\mathit{true}\mathrm{,}\mathit{false}\}\mathrm{,}$ where issue is a literal in ℒ, arguments is an acyclic set of arguments and audience is an audience.

Given a CAES and the concept of a proof standard, we can define the acceptability of a literal. The acceptable set of literals can be seen as the collection of literals for which the proof standard is satisfied.

Definition 3.6 Acceptability of literals (adapted from Gordon and Walton 2009b, Def. 5)8 8

This (stage-specific) definition fixes a small technical error in the original definition by Gordon and Walton (2009b). The function standard returning a proof standard was instead directly called with the arguments for a proof standard.

Given $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ a CAES, p a literal in ℒ and $\mathit{s}=\mathit{standard}\mathrm{(}\mathit{p}\mathrm{)}$ the proof standard corresponding to P. Then, the literal p is acceptable in C iff $\mathit{s}\mathrm{(}\mathit{p}\mathrm{,}\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{)}$ is true.

All proof standards defined depend on the concept of argument applicability and thus this needs to be defined first.

Definition 3.7 Applicability of arguments (adapted from Gordon and Walton 2009b, Def. 6)

Let $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ be a CAES. An argument $⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩\in \mathit{arguments}$ is applicable in C iff

p∈P implies p is an assumption of the audience or [p¯ is not an assumption and p is acceptable in C and

e∈E implies e is not an assumption of the audience and [ē is an assumption or e is not acceptable in C.

Now we can turn to the definition of Carneades’ proof standards. There is one subtle matter concerning the first proof standard, scintilla of evidence. A literal that is assigned scintilla of evidence as its proof standard obliges the party who puts forward an argument for this literal to produce an applicable argument. So to satisfy the scintilla of evidence standard only an applicable argument needs to be constructed; contradictory arguments do not influence the acceptability, thus allowing both p and its contradiction p¯ to be acceptable in a given CAES.

Definition 3.8 Proof standards

Given a CAES $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ and a literal p in ℒ:

scintilla $\mathrm{(}\mathit{p}\mathrm{,}\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{)}=\mathit{true}$ iff there exists at least one applicable argument pro p in arguments,

preponderance $\mathrm{(}\mathit{p}\mathrm{,}\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{)}=\mathit{true}$ iff there exists at least one applicable argument pro p in arguments for which the weight assigned by the audience is greater than the weight of the applicable arguments con p,

clear-and-convincing $\mathrm{(}\mathit{p}\mathrm{,}\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{)}=\mathit{true}$ iff there is an applicable argument A, pro p for which:

preponderance $\mathrm{(}\mathit{p}\mathrm{,}\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{)}$ holds,

the weight for A exceeds the threshold α, and

the difference between the weight of A and the maximum weight of the applicable con arguments exceeds the threshold β.

beyond-reasonable-doubt $\mathrm{(}\mathit{p}\mathrm{,}\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{)}=\mathit{true}$ iff clear-and-convincing $\mathrm{(}\mathit{p}\mathrm{,}\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{)}$ holds and the maximum weight of the applicable con arguments is less than the threshold γ.

dialectical-validity $\mathrm{(}\mathit{p}\mathrm{,}\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{)}=\mathit{true}$ iff there exists at least one applicable argument pro p in arguments and no argument con p in arguments is applicable.

The theory of a (stage-specific) CAES is constructed by combining the acceptable literals in that CAES with the assumptions of the audience. In Carneades, the propositional logic is assumed as the logical language, so the theory is taken to be closed under propositional inferences.

Definition 3.9 Theory of a CAES

Let C=⟨arguments, audience, $\mathit{standard}⟩$ be a CAES. The theory of C is the deductive closure, in propositional logic, of the union of assumptions and the set of literals acceptable in C.

Example 3.10

Let $\mathit{\alpha }=0.3\mathrm{,}\mathit{\beta }=0.3$ and γ=0.6. Consider a CAES $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ and audience =⟨assumptions, weight⟩ with $$\begin{array}{ccc}\hfill \mathit{arguments}& \hfill =\hfill & \{{\mathit{a}}_1\mathrm{,}{\mathit{a}}_2\mathrm{,}{\mathit{a}}_3\mathrm{,}{\mathit{a}}_4\}\mathrm{,}\hfill \\ \hfill {\mathit{a}}_1& \hfill =\hfill & ⟨\{{\mathit{p}}_1\mathrm{,}{\mathit{p}}_2\}\mathrm{,}\{{\mathit{e}}_1\}\mathrm{,}\mathit{c}⟩\mathrm{,}{\mathit{a}}_2=⟨\{{\mathit{p}}_2\mathrm{,}{\mathit{p}}_3\}\mathrm{,}\{{\mathit{e}}_2\}\mathrm{,}\neg \mathit{c}⟩\mathrm{,}\hfill \\ \hfill {\mathit{a}}_3& \hfill =\hfill & ⟨\{{\mathit{p}}_2\}\mathrm{,}\{{\mathit{e}}_3\}\mathrm{,}\neg \mathit{c}⟩\mathrm{,}{\mathit{a}}_4=⟨\varnothing \mathrm{,}\{{\mathit{e}}_4\}\mathrm{,}\neg \mathit{c}⟩\mathrm{,}\hfill \\ \hfill \mathit{assumptions}& \hfill =\hfill & \{{\mathit{p}}_1\mathrm{,}{\mathit{p}}_2\mathrm{,}{\mathit{e}}_4\}\mathrm{,}\hfill \\ \hfill \mathit{weight}\mathrm{(}{\mathit{a}}_1\mathrm{)}& \hfill =\hfill & 0.4;\mathit{weight}\mathrm{(}{\mathit{a}}_2\mathrm{)}=0.9;\mathit{weight}\mathrm{(}{\mathit{a}}_3\mathrm{)}=0.5;\mathit{weight}\mathrm{(}{\mathit{a}}_4\mathrm{)}=0.6\mathrm{,}\hfill \\ \hfill \mathit{standard}\mathrm{(}\mathit{c}\mathrm{)}& \hfill =\hfill & \mathit{preponderance}\mathrm{,}\mathit{standard}\mathrm{(}\neg \mathit{c}\mathrm{)}=\mathit{clear}\text{-}\mathit{and}\text{-}\mathit{convincing}.\hfill \end{array}$$

We can visualise these arguments (arrows denote premises/inferences and open circles denote exceptions) (Figure 4).

Then we have that argument a₂ is not applicable because ${\mathit{p}}_3\notin \mathit{assumptions}$ and p₃ is not acceptable because there is no argument with p₃ as the conclusion. Argument a₄ is not applicable because ${\mathit{e}}_4\in \mathit{assumptions}$ . Argument a₁ and a₃ are applicable.

The conclusion c (of argument a₁) is not acceptable because $\mathit{standard}\mathrm{(}\mathit{c}\mathrm{)}=\mathit{preponderance}$ and $\mathit{weight}\mathrm{(}{\mathit{a}}_1\mathrm{)}\ngtr \mathit{weight}\mathrm{(}{\mathit{a}}_3\mathrm{)}$ while a₃ is an applicable con argument for c. The conclusion ¬ c is also not acceptable because $\mathit{standard}\mathrm{(}\neg \mathit{c}\mathrm{)}=\mathit{clear}\text{-}\mathit{and}\text{-}\mathit{convincing}$ and when considering the argument a₄ it holds for the applicable con argument a₁ that: $\mathit{weight}\mathrm{(}{\mathit{a}}_3\mathrm{)}\ngtr \mathit{weight}\mathrm{(}{\mathit{a}}_1\mathrm{)}+\mathit{\beta }$ (although $\mathit{weight}\mathrm{(}{\mathit{a}}_3\mathrm{)}\mathrm{>}\mathit{\alpha }$ ).

Figure 4.

Arguments in Carneades.

4. Relation between Carneades and Dung's frameworks

In the next subsections, Carneades will be related to Dung's model. First we will translate the static, stage-specific part of Carneades to structured argumentation frameworks. We will study properties of our translation, for instance, proving correspondence results and showing that the translation does not violate rationality postulates. Then, we will generalise our translation of Carneades, allowing to lift the restriction of acyclicity on a CAES. Finally, we will relate our translation to the existing translations of Carneades to ADF's (abstract dialectical framework) and the defeasible logic (Brewka and Gordon 2010a; Governatori 2011).

4.1. Translation of stage-specific Carneades

We will start with relating the premises and exceptions of the arguments in Carneades to a knowledge base in an argumentation system. The assumptions of the audience in a CAES are propositional literals which are unattackable and furthermore, as can be seen in Definition 3.9, part of the logical theory. Combining these characteristics, assumptions in Carneades are closely related to the concept of axioms in a knowledge base and thus will be modelled as necessary axioms, 𝒦 _n , in our knowledge base. Next, the use of conclusions as a premise in a later argument is similar to the chaining of sub-arguments to construct more complex arguments and can, therefore, be handled by the argument generation part of ${\mathrm{ASPIC}}^{+}$ . Finally, a premise with no backing, also called an issue premise in Gordon et al. (2007), maps exactly to the issue premises in our knowledge base.

Combining these insights, we can now define the knowledge base corresponding to a CAES.

Definition 4.1 Knowledge base corresponding to a CAES

Given a CAES $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ with $\mathit{audience}=⟨\mathit{assumptions}\mathrm{,}\mathit{weight}⟩$ and propositional language ${\mathcal{L}}_{\mathrm{CAES}}$ . Then the knowledge base in an argumentation system corresponding to C is a pair $⟨\mathcal{K}\mathrm{,}{⩽}^{\prime }⟩$ where

${\mathcal{K}}_{\mathit{n}}=\mathit{assumptions}$ ,

${\mathcal{K}}_{\mathit{p}}={\mathcal{K}}_{\mathit{a}}=\varnothing$ ,

${\mathcal{K}}_{\mathit{i}}={\mathcal{L}}_{\mathrm{CAES}}\setminus \mathrm{(}\mathit{ssumptions}\cup \{\mathit{c}|⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩\in \mathit{arguments}\}$ ),

${⩽}^{\prime }=\{\mathrm{(}\mathit{k}\mathrm{,}\mathit{k}\mathrm{)}\mid \mathit{k}\in \mathrm{(}\mathcal{K}\setminus {\mathcal{K}}_{\mathit{n}}\mathrm{)}\}$ .

There is no need to differentiate in the strength of premises, making our preference relation on premises just the reflexive closure on non-axiom premises.

As shown in our visualisation of Carneades’ arguments in Example 3.10, the link between the premises, the exceptions and the conclusion is a two-part inference. The first part – applicability of the argument – is solely determined by the acceptability of the premises and exceptions. The second step – acceptability of the conclusion – requires the argument to be applicable and furthermore to satisfy the demands of the proof standard that is assigned to the conclusion.

So for every argument $\mathit{a}=⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩$ in a CAES, a defeasible rule going from the premises to the applicability of the argument is added, $\mathit{P}{\Rightarrow }_{{\mathit{app}}_{\mathit{a}}}{\mathit{arg}}_{\mathit{a}}$ , saying that if P then a is applicable.9

9

The idea to make the applicability step explicit by means of an argument node is adapted from Brewka and Gordon (2010a).

The other inference is represented by a defeasible rule ${\mathit{arg}}_{\mathit{a}}{\Rightarrow }_{{\mathit{acc}}_{\mathit{a}}}\mathit{c}$ , saying that if a is applicable, its conclusion is acceptable. As before, app _a and acc _a are rule names, which will need to be added to the language, ℒ, of the CAES (rule names are assumed to be disjoint with ℒ).

Exceptions in Carneades’ arguments express exceptions to inferring the conclusion. If we have an argument containing an exception that is acceptable or assumed by the audience, then that argument is made inapplicable, so the argument cannot make the conclusion acceptable. Given an acceptable argument containing exception p¯, it is not implied that p can be assumed to be true; so two arguments with conflicting exceptions can both be acceptable. This use of exceptions, similar to the concept of justifications in default logic (Reiter 1980), implies that negations of exceptions cannot be modelled as an assumption, but instead need to be modelled as an undercutter to the inference rule. So in our translation of argument a, for each exception e∈E, an undercutter $\mathit{e}\Rightarrow \neg {\mathit{app}}_{\mathit{a}}$ is added to ℛ _d .

Although it might seem natural to include the negation relation of Carneades into the contrariness relation of the corresponding argumentation system, this does not actually work. With scintilla of evidence as a proof standard that can determine acceptable literals of a CAES, both p and p¯ are allowed to be acceptable, for example, $\mathit{arguments}=\{⟨\varnothing \mathrm{,}\varnothing \mathrm{,}\mathit{p}⟩\mathrm{,}⟨\varnothing \mathrm{,}\varnothing \mathrm{,}\neg \mathit{p}⟩\}$ . It is furthermore possible to construct an acceptable argument for ¬ c while $\mathit{c}\in \mathit{assumptions}.$ 10 10

This is probably a technical mistake of Gordon and Walton (2009b). It can be fixed by slightly changing the definition of applicability of arguments, including the additional demand “there is not an assumption, c¯ in the audience that is contradictory to the conclusion, c, of the argument”.

To retain the properties of the original Carneades system, the negation relation of Carneades will, therefore, not be imported into the contrariness relation. Instead the contrariness relation in our argumentation system is used to let applicability conclusions for one argument defeat the acceptability of conflicting arguments, depending on the proof standards of their conclusions. This is essentially where the proof standards are encoded.

Definition 4.2 Argumentation system corresponding to a CAES

Given a CAES $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ with $\mathit{audience}=⟨\mathit{assumptions}\mathrm{,}\mathit{weight}⟩$ and propositional language ${\mathcal{L}}_{\mathrm{CAES}}\mathrm{,}$ the corresponding argumentation system, AS, is a tuple $⟨\mathcal{L}\mathrm{,}\overline{\phantom{0}}\mathrm{,}\mathcal{R}\mathrm{,}⩽⟩$ where

$\mathcal{L}={\mathcal{L}}_{\mathrm{CAES}}\cup$ argument nodes ∪ rule names,

⁻ consists of all tuples specified below,

${\mathcal{R}}_{\mathit{d}}={\bigcup }_{\mathit{a}\in \mathit{arguments}}{\mathcal{R}}_{{\mathit{d}}_{\mathit{a}}}\mathrm{,}$

${\mathcal{R}}_{\mathit{s}}={\bigcup }_{\mathit{a}\in \mathit{arguments}}{\mathcal{R}}_{{\mathit{s}}_{\mathit{a}}}\mathrm{,}$

$⩽=\{\mathrm{(}\mathit{r}\mathrm{,}\mathit{r}\mathrm{)}\mid \mathit{r}\in {\mathcal{R}}_{\mathit{d}}\}$ .

For every argument $\mathit{a}=⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩$ in arguments: $$\begin{array}{ccc}\hfill {\mathcal{R}}_{{\mathit{d}}_{\mathit{a}}}& \hfill =\hfill & \{\mathit{P}{\Rightarrow }_{{\mathit{app}}_{\mathit{a}}}{\mathit{arg}}_{\mathit{a}};{\mathit{arg}}_{\mathit{a}}{\Rightarrow }_{{\mathit{acc}}_{\mathit{a}}}\mathit{c}\}\cup \hfill \\ \hfill & \hfill \hfill & \{{\mathit{e}}_{\mathit{i}}\Rightarrow \neg {\mathit{app}}_{\mathit{a}}\mid {\mathit{e}}_{\mathit{i}}\in \mathit{E}\}\hfill \\ \hfill \overline{\phantom{0}}\mathrm{(}{\mathit{app}}_{\mathit{a}}\mathrm{)}& \hfill =\hfill & \{\neg {\mathit{app}}_{\mathit{a}}\}.\hfill \end{array}$$ For every argument $\mathit{a}=⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩$ in arguments with $\mathit{standard}\mathrm{(}\mathit{c}\mathrm{)}=$ scintilla: $${\mathcal{R}}_{{\mathit{s}}_{\mathit{a}}}=\varnothing .$$ For every argument $\mathit{a}=⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩$ in arguments with $\mathit{standard}\mathrm{(}\mathit{c}\mathrm{)}=$ preponderance: $$\begin{array}{ccc}\hfill {\mathcal{R}}_{{\mathit{s}}_{\mathit{a}}}& \hfill =\hfill & \varnothing \mathrm{,}\hfill \\ \hfill \overline{\phantom{0}}\mathrm{(}{\mathit{acc}}_{\mathit{a}}\mathrm{)}& \hfill =\hfill & \{{\mathit{arg}}_{\mathit{b}}\mid \mathit{b}=⟨{\mathit{P}}^{\prime }\mathrm{,}{\mathit{E}}^{\prime }\mathrm{,}\overline{\mathit{c}}⟩\in \mathit{arguments}\mathrm{,}\mathit{weight}\mathrm{(}\mathit{a}\mathrm{)}⩽\mathit{weight}\mathrm{(}\mathit{b}\mathrm{)}\}.\hfill \end{array}$$ For every argument $\mathit{a}=⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩$ in arguments with $\mathit{standard}\mathrm{(}\mathit{c}\mathrm{)}=$ clear-and-convincing: $$\begin{array}{ccc}\hfill {\mathcal{R}}_{{\mathit{s}}_{\mathit{a}}}& \hfill =\hfill & \{\to \neg {\mathit{acc}}_{\mathit{a}}|\mathit{weight}\mathrm{(}\mathit{a}\mathrm{)}⩽\mathit{\alpha }\}\mathrm{,}\hfill \\ \hfill \overline{\phantom{0}}\mathrm{(}{\mathit{acc}}_{\mathit{a}}\mathrm{)}& \hfill =\hfill & \{{\mathit{arg}}_{\mathit{b}}|\mathit{b}=⟨{\mathit{P}}^{\prime }\mathrm{,}{\mathit{E}}^{\prime }\mathrm{,}\overline{\mathit{c}}⟩\in \mathit{arguments}\mathrm{,}\mathit{weight}\mathrm{(}\mathit{a}\mathrm{)}⩽\mathit{weight}\mathrm{(}\mathit{b}\mathrm{)}+\mathit{\beta }\hfill \\ \hfill & \hfill \hfill & \cup \{\neg {\mathit{acc}}_{\mathit{a}}\}.\hfill \end{array}$$ For every argument $\mathit{a}=⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩$ in arguments with $\mathit{standard}\mathrm{(}\mathit{c}\mathrm{)}=$ beyond-reasonable-doubt: $$\begin{array}{ccc}\hfill {\mathcal{R}}_{{\mathit{s}}_{\mathit{a}}}& \hfill =\hfill & \{\to \neg {\mathit{acc}}_{\mathit{a}}|\mathit{weight}\mathrm{(}\mathit{a}\mathrm{)}⩽\mathit{\alpha }\}\mathrm{,}\hfill \\ \hfill \overline{\phantom{0}}\mathrm{(}{\mathit{acc}}_{\mathit{a}}\mathrm{)}& \hfill =\hfill & \{{\mathit{arg}}_{\mathit{b}}|\mathit{b}=⟨{\mathit{P}}^{\prime }\mathrm{,}{\mathit{E}}^{\prime }\mathrm{,}\overline{\mathit{c}}⟩\in \mathit{arguments}\mathrm{,}\mathit{weight}\mathrm{(}\mathit{a}\mathrm{)}⩽\mathit{weight}\mathrm{(}\mathit{b}\mathrm{)}+\mathit{\beta }\vee \mathit{weight}\mathrm{(}\mathit{b}\mathrm{)}⩾\mathit{\gamma }\}\hfill \\ \hfill & \hfill \hfill & \cup \{\neg {\mathit{acc}}_{\mathit{a}}\}.\hfill \end{array}$$ For every argument $\mathit{a}=⟨\mathit{P}\mathrm{,}\mathit{E}\mathrm{,}\mathit{c}⟩$ in arguments with $\mathit{standard}\mathrm{(}\mathit{c}\mathrm{)}=\mathit{dialectical}-\mathit{validity}\text{:}$ $$\begin{array}{ccc}\hfill {\mathcal{R}}_{{\mathit{s}}_{\mathit{a}}}& \hfill =\hfill & \varnothing \mathrm{,}\hfill \\ \hfill \overline{\phantom{0}}\mathrm{(}{\mathit{acc}}_{\mathit{a}}\mathrm{)}& \hfill =\hfill & \{{\mathit{arg}}_{\mathit{b}}|\mathit{b}=⟨{\mathit{P}}^{\prime }\mathrm{,}{\mathit{E}}^{\prime }\mathrm{,}\overline{\mathit{c}}⟩\in \mathit{arguments}.\hfill \end{array}$$

To illustrate the translation of one proof standard, notice that in a CAES, an argument a with standard clear-and-convincing evidence is unacceptable if either $\mathit{weight}\mathrm{(}\mathit{a}\mathrm{)}⩽\mathit{\alpha }$ , or there is a contradictory applicable argument b for which $\mathit{weight}\mathrm{(}\mathit{a}\mathrm{)}⩽\mathit{weight}\mathrm{(}\mathit{b}\mathrm{)}+\mathit{\beta }$ holds. This is then translated by extending the set of contraries for the acceptability, acc _a , with an arg _b for every contradictory argument b for which $\mathit{weight}\mathrm{(}\mathit{a}\mathrm{)}⩽\mathit{weight}\mathrm{(}\mathit{b}\mathrm{)}+\mathit{\beta }$ holds. If the weight of a is less than α, there is also an inference $\to \neg {\mathit{acc}}_{\mathit{a}}$ added to the strict rules, R _s , that together with the contrary, ¬ acc _a , will undercut the acceptability.

Having built up the corresponding argumentation system, we can now relate an argumentation theory and consequently an argumentation framework to a CAES.

Definition 4.3 Argumentation theory corresponding to a CAES

Given a CAES $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ with $\mathit{audience}=⟨$ assumptions, weight⟩ and propositional language ${\mathcal{L}}_{\mathrm{CAES}}$ the argumentation theory AT corresponding to C is a tuple $⟨\mathrm{AS}\mathrm{,}\mathrm{KB}\mathrm{,}⪯⟩$ where

AS is the argumentation system corresponding to C according to Definition 4.2,

KB is the knowledge base in the argumentation system AS corresponding to C according to Definition 4.1,

$⪯=\varnothing$ .

Definition 4.4 Argumentation framework corresponding to a CAES

Given a CAES $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ with $\mathit{audience}=⟨$ assumptions, weight⟩, propositional language ${\mathcal{L}}_{\mathrm{CAES}}$ and argumentation theory AT corresponding to C as given by Definition 4.3, the AF corresponding to C is the argumentation framework corresponding to AT as given by Definition 2.10.

To demonstrate our translation, we will show in detail how the CAES in Example 3.10 can be translated into its corresponding argumentation system, generating the corresponding argumentation framework.

Figure 5.

Structured arguments corresponding to Example 3.10.

Example 4.5

First consider how the knowledge base in our argumentation system would correspond to the CAES given in Example 3.10. We have ${\mathit{K}}_{\mathit{n}}=\mathit{assumptions}=\{{\mathit{p}}_1\mathrm{,}{\mathit{p}}_2\mathrm{,}{\mathit{e}}_4\}\mathrm{,}$ while the other premises that are not a conclusion nor an assumption would be an issue premise, thus giving ${\mathit{K}}_{\mathit{i}}=\{{\mathit{p}}_3\mathrm{,}{\mathit{e}}_1\mathrm{,}{\mathit{e}}_2\mathrm{,}{\mathit{e}}_3\}$ .

Next we define the rules, ℛ, of the corresponding argumentation system. Every argument has a corresponding rule for applicability and for the acceptability of the conclusion, arguments containing an exception will have a corresponding inference rule, generating an undercutter and finally rules with the proof standard clear-and-convincing or beyond-reasonable-doubt can have a strict rule undercutting the acceptability, if the weight of the argument is below α. For example, argument a₂ will generate $$\begin{array}{ccc}\hfill {\mathit{R}}_{{\mathit{d}}_{{\mathit{a}}_2}}& \hfill =\hfill & \{{\mathit{p}}_2\mathrm{,}{\mathit{p}}_3{\Rightarrow }_{{\mathit{app}}_{{\mathit{a}}_2}}{\mathit{arg}}_{{\mathit{a}}_2};{\mathit{arg}}_{{\mathit{a}}_2}{\Rightarrow }_{{\mathit{acc}}_{{\mathit{a}}_2}}\neg \mathit{c};{\mathit{e}}_2\Rightarrow \neg {\mathit{app}}_{{\mathit{a}}_2}\}\mathrm{,}\hfill \\ \hfill {\mathit{R}}_{{\mathit{s}}_{{\mathit{a}}_2}}& \hfill =\hfill & \varnothing .\hfill \end{array}$$ Note that the set of strict rules is empty, because $\mathit{weight}\mathrm{(}{\mathit{a}}_2\mathrm{)}=0.9\mathrm{>}0.3=\mathit{\alpha }$ . Given the previous rules, the structured arguments corresponding to the Carneades arguments can be visualised as given in Figure 5. These arguments contains several (sub)arguments. For example, the first argument can formally be written as follows: $$\begin{array}{c}{\mathit{A}}_1:{\mathit{p}}_1\mathrm{,}{\mathit{A}}_3:{\mathit{A}}_1\mathrm{,}{\mathit{A}}_2{\Rightarrow }_{{\mathit{app}}_{{\mathit{a}}_1}}{\mathit{arg}}_{{\mathit{a}}_1}\mathrm{,}\hfill \\ {\mathit{A}}_2:{\mathit{p}}_2\mathrm{,}{\mathit{A}}_4:{\mathit{A}}_3{\Rightarrow }_{{\mathit{acc}}_{{\mathit{a}}_1}}\mathit{c}.\hfill \end{array}$$

What remains is the translation of the defeat relation, for which we will consider argument A₄, related to a₁ in the CAES. The argument A₄ first of all is undercut on ${\mathit{app}}_{{\mathit{a}}_1}$ , by means of the argument ${\mathit{e}}_1\Rightarrow \neg {\mathit{app}}_{{\mathit{a}}_1}$ . The other attackers are undercutters on the acceptability, ${\mathit{acc}}_{{\mathit{a}}_1}$ . The proof standard of the conclusion c of a₁ is preponderance, while the weight of a₁ minus β is less than the other arguments in the CAES, so by the translation, the argument nodes ${\mathit{arg}}_{{\mathit{a}}_2}$ , ${\mathit{arg}}_{{\mathit{a}}_3}$ and ${\mathit{arg}}_{{\mathit{a}}_4}$ will all be a contrary of ${\mathit{acc}}_{{\mathit{a}}_1}$ . Then the (sub)arguments ${\mathit{p}}_2\mathrm{,}{\mathit{p}}_3{\Rightarrow }_{{\mathit{app}}_{{\mathit{a}}_2}}{\mathit{arg}}_{{\mathit{a}}_2}$ , ${\mathit{p}}_2{\Rightarrow }_{{\mathit{app}}_{{\mathit{a}}_3}}{\mathit{arg}}_{{\mathit{a}}_3}$ and ${\Rightarrow }_{{\mathit{app}}_{{\mathit{a}}_4}}{\mathit{arg}}_{{\mathit{a}}_4}$ will undercut A₄ on ${\mathit{acc}}_{{\mathit{a}}_1}$ . Since the translation does not consider preferences, every attack that will be made will result in a defeat.

Although there are some defeaters present that do not directly correspond to the original CAES, that is, the exception ${\mathit{e}}_1\Rightarrow \neg {\mathit{app}}_{{\mathit{a}}_1}$ and the undercutter ${\mathit{arg}}_{{\mathit{a}}_2}$ , this is not a problem since the arguments will not be deemed acceptable due to their issue premise. Thus in the end, the acceptable arguments will only be the non-issue premises, p₁, p₂ and e₄, the arguments for the applicability of a₁, a₃ and the argument for non-applicability of a₄ ( $\neg {\mathit{app}}_{{\mathit{a}}_4}$ ), which is exactly what we want.

4.2. Translation properties

Now that we have defined the argumentation framework corresponding to a CAES, we can look at some interesting properties of the translation.

4.2.1. Well-foundedness

First of all, we will show that an argumentation framework corresponding to a CAES contains no cycles and therefore is actually a well-founded argumentation framework. From this property and a proposition proved by Dung, we can then immediately deduce that every argumentation framework corresponding to a CAES induces a unique Dung extension.

Proposition 4.6

Every argumentation framework corresponding to a (finite) CAES according to Definition 4.4 is well-founded.

The next result follows directly from Proposition 4.6 and Theorem 2.5:

Corollary 4.7

Every argumentation framework corresponding to a CAES according to Definition 4.4 has exactly one complete extension which is grounded, preferred and stable.

Here we can see that contrary to the claim of Brewka and Gordon (2010a) – namely that modelling Carneades in Dung's approach could not be done cycle-free – we have proved that an argumentation framework corresponding to a CAES is well-founded and thus cycle-free. This means that the corresponding argumentation frameworks always induce a unique Dung extension which is the same in all Dung's semantics. Carneades’ semantics is therefore essentially a single-status assignment approach.

We have seen that in Carneades the defeat relation that is generated through the translation depends on the audience and the proof standards. This use of audience is very similar to (and inspired by) the approach taken in value-based argumentation frameworks (Bench-Capon et al. 2007). More interestingly, just as the uniqueness of preferred extensions in VAF's (value-based argumentation framework) with respect to a single audience is guaranteed, in the translation of Carneades there is also a unique complete extension.

4.2.2. Computational complexity

The time to compute the extension of a well-founded argumentation framework can be determined to quadratic, by verifying that it is possible to topologically sort the acyclic dependency graph in $\mathrm{\Theta }\mathrm{(}|\mathit{V}|+|\mathit{E}|\mathrm{)}$ (cf. Cormen, Leiserson, Rivest, and Stein 2001, pp. 549–552) and by checking that it is possible to compute the grounded extension in $\mathrm{\Theta }\mathrm{(}|\mathit{V}|+|\mathit{E}|\mathrm{)}$ (by computing acceptability in order of dependency). We can, therefore, deduce that if the translation is polynomial, evaluating a CAES through our translation is also polynomial. Although this might seem immediate from our translation, there are some subtleties in the actual step that generates arguments. ${\mathrm{ASPIC}}^{+}$ only declaratively states which arguments are to be generated from the argumentation system, but with a naive implementation/algorithm, the argumentation system corresponding to a CAES would actually generate an exponential number of arguments.

Example 4.8 Exponential explosion

Consider a class of CAES with 2n arguments, such that $\mathit{arguments}=\{{\mathit{a}}_{11}\mathrm{,}{\mathit{a}}_{12}\mathrm{,}{\mathit{a}}_{21}\mathrm{,}{\mathit{a}}_{22}\mathrm{,}\dots \mathrm{,}{\mathit{a}}_{\mathit{n}1}\mathrm{,}{\mathit{a}}_{\mathit{n}2}\}$ . Here the ith pair of arguments has the same conclusion c _i , with premises that depend on the previous, i−1th, pair of arguments. So we are building a large chain with pairs of arguments dependent on the previous pair. The start of the chain is not dependent on a previous conclusion, so ${\mathit{a}}_{11}=⟨\{{\mathit{p}}_{11}\}\mathrm{,}\varnothing \mathrm{,}{\mathit{c}}_1⟩$ , ${\mathit{a}}_{12}=⟨\{{\mathit{p}}_{11}\}\mathrm{,}\varnothing \mathrm{,}{\mathit{c}}_1⟩$ . The next arguments, for i>1: ${\mathit{a}}_{\mathit{i}1}=⟨\{{\mathit{p}}_{\mathit{i}1}\mathrm{,}{\mathit{c}}_{\mathit{i}-1}\}\mathrm{,}\varnothing \mathrm{,}{\mathit{c}}_{\mathit{i}}⟩$ , ${\mathit{a}}_{\mathit{i}2}=⟨\{{\mathit{p}}_{\mathit{i}2}\mathrm{,}{\mathit{c}}_{\mathit{i}-1}\}\mathrm{,}\varnothing \mathrm{,}{\mathit{c}}_{\mathit{i}}⟩$ . And finally, we have that $\mathit{assumptions}=\{{\mathit{p}}_{11}\mathrm{,}{\mathit{p}}_{12}\mathrm{,}\dots \mathrm{,}{\mathit{p}}_{\mathit{n}1}\mathrm{,}{\mathit{p}}_{\mathit{n}2}\}$ , $\mathit{weight}\mathrm{(}{\mathit{a}}_{\mathit{i}}\mathrm{)}=0.5$ and $\mathrm{standard}\mathrm{(}{\mathit{a}}_{\mathit{i}}\mathrm{)}=\mathrm{scintilla}$ .

Now consider the corresponding defeasible rules (leaving out rule names): $$\begin{array}{ccc}\hfill {\mathit{R}}_{\mathit{d}}& \hfill =\hfill & \{{\mathit{p}}_{11}\Rightarrow {\mathit{arg}}_{{\mathit{a}}_{11}};{\mathit{arg}}_{{\mathit{a}}_{11}}\Rightarrow {\mathit{c}}_1;\hfill \\ \hfill & \hfill \hfill & {\mathit{p}}_{12}\Rightarrow {\mathit{arg}}_{{\mathit{a}}_{12}};{\mathit{arg}}_{{\mathit{a}}_{12}}\Rightarrow {\mathit{c}}_1;\hfill \\ \hfill & \hfill \hfill & ⋮\hfill \\ \hfill & \hfill \hfill & {\mathit{p}}_{\mathit{n}1}\mathrm{,}{\mathit{c}}_{\mathit{n}-1}\Rightarrow {\mathit{arg}}_{{\mathit{a}}_{\mathit{n}1}};{\mathit{arg}}_{{\mathit{a}}_{\mathit{n}1}}\Rightarrow {\mathit{c}}_{\mathit{n}};\hfill \\ \hfill & \hfill \hfill & {\mathit{p}}_{\mathit{n}2}\mathrm{,}{\mathit{c}}_{\mathit{n}-1}\Rightarrow {\mathit{arg}}_{{\mathit{a}}_{\mathit{n}2}};{\mathit{arg}}_{{\mathit{a}}_{\mathit{n}2}}\mathrm{,}\Rightarrow {\mathit{c}}_{\mathit{n}}\}.\hfill \end{array}$$ Although the ith argument only needs the conclusion of one of the i−1th arguments to be acceptable, when generating arguments, we will generate every possible combination of sub-arguments, thereby generating 2 ⁿ arguments.

This exponential explosion is caused due to the implicit linking of arguments in Carneades that is made explicit when constructing arguments from the corresponding argumentation system. However, due to the acyclicity of the arguments, this explicit linking is not needed to compute the acceptable conclusions. The exponential explosion can be solved by the following (sketched) polynomial algorithm.

Definition 4.9 CAES argument generation

$\mathit{generatedArgs}=\varnothing$ .

sortedArgs = Topological sort of arguments on its dependency graph.

while $\mathit{sortedArgs}\ne \varnothing \text{:}$

pick the first argument in sortedArgs. Remove all arguments from sortedArgs that have the same conclusion, c, and put them in argSet;

translate argSet and generate arguments, building on previously generatedArgs as sub-arguments, and put the generated arguments in tempArgs;

if present, pick one acceptable argument in tempArgs that has the conclusion c and add it to generatedArgs;

$\mathit{argSet}=\mathit{tempArgs}=\varnothing$ .

We leave it to future work to formally verify the complexity results of the translation.

This exponential explosion also sheds some light on the complexity of evaluation in Carneades. An important concept in the definition of Carneades is the “concept of a proof”, where evaluating a proof (a CAES) should be possible in a tractable time. This tractability can now be proved by verifying the polynomiality of the translation.

4.2.3. Correspondence results

We can now prove the main theorem of this article, namely that every argumentation framework that corresponds to a CAES preserves the properties we would expect.

Theorem 4.10

Let C be a CAES, $⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩\mathrm{,}{\mathcal{L}}_{\mathit{CAES}}$ the propositional language used and let the argumentation framework corresponding to C be AF. Then, the following holds:

An argument $\mathit{a}\in \mathit{arguments}$ is applicable in C iff there is an argument contained in the complete extension of AF with the corresponding conclusion arg _a .

A propositional literal $\mathit{c}\in {\mathcal{L}}_{\mathit{CAES}}$ is acceptable in C or $\mathit{c}\in \mathit{assumptions}$ iff there is an argument contained in the complete extension of AF with the corresponding conclusion c.

From Part 2 of Theorem 4.10, we can directly relate the theory of a CAES with the corresponding argumentation framework:

Corollary 4.11

A proposition p is part of the theory of C iff p is contained in the closure under propositional logic of the complete extension of AF .

We have now formally shown that the argumentation framework corresponding to a CAES keeps the properties we wanted to preserve. This proves, in contrast to what was claimed by Gordon et al. (2007), that Carneades can be faithfully modelled in Dung's argumentation frameworks.

It can even be argued that it is too faithful a correspondence, keeping inconsistencies of the original model in the final translation. The inconsistencies caused by the use of the scintilla of evidence proof standard might suggest a change in the definition of proof standard in Carneades, for instance, by disallowing proof standards that make contradictory conclusions true at the same time.

Regardless, the intermediate translation of a CAES into an argumentation system allows for an easy reparation. We can import the original negation relation of the CAES, generating attacks for any conflicting conclusion. To be precise, given an argumentation system AS corresponding to a CAES, we can make the new contrariness relation: ${\overline{\phantom{0}}}_{{\mathit{AS}}^{\prime }}={\overline{\phantom{0}}}_{\mathit{AS}}\cup {\overline{\phantom{0}}}_{\mathit{CAES}}$ . This will generate additional defeats in the final argumentation framework, thereby breaking the correspondence results; however, it will ensure that no inconsistencies can be generated in the final theory.

4.2.4. Ambiguity-blocking and ambiguity-propagating

The stage-specific part of Carneades can be called “ambiguity-blocking” in contrast to “ambiguity-propagating” (see Gordon, Prakken, and Walton 2007, Section 7.1). Here a non-monotonic logic is ambiguity-blocking if, when a conflict between two lines of reasoning with contradictory conclusions cannot be resolved, both lines of reasoning are cut-off and neither of the conclusions can be used for further reasoning. In such logics, it may happen that other lines of reasoning remain undefeated even though one of the cut-off lines of reasoning interferes with it and is not weaker.

Consider the following example, containing an ambiguity between q and ¬ q that does not interfere with the inference of ¬ s even though ¬ q is used as an argument for s.

Example 4.12

Consider the CAES $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ and audience $=⟨\mathit{assumptions}\mathrm{,}\mathit{weight}⟩$ with (Figure 6): $$\begin{array}{ccc}\hfill \mathit{arguments}& \hfill =\hfill & \{{\mathit{a}}_1\mathrm{,}{\mathit{a}}_2\mathrm{,}{\mathit{a}}_3\mathrm{,}{\mathit{a}}_4\}\mathrm{,}\hfill \\ \hfill {\mathit{a}}_1& \hfill =\hfill & ⟨\{\mathit{p}\}\mathrm{,}\varnothing \mathrm{,}\mathit{q}⟩\mathrm{,}{\mathit{a}}_2=⟨\{\mathit{r}\}\mathrm{,}\varnothing \mathrm{,}\neg \mathit{q}⟩\mathrm{,}⟩\mathrm{,}\hfill \\ \hfill {\mathit{a}}_3& \hfill =\hfill & ⟨\{\neg \mathit{q}\}\mathrm{,}\varnothing \mathrm{,}\mathit{s}⟩\mathrm{,}{\mathit{a}}_4=⟨\{\mathit{t}\}\mathrm{,}\varnothing \mathrm{,}\neg \mathit{s}⟩\mathrm{,}\hfill \\ \hfill \mathit{assumptions}& \hfill =\hfill & \{\mathit{p}\mathrm{,}\mathit{r}\mathrm{,}\mathit{t}\}\mathrm{,}\hfill \\ \hfill \mathit{weight}\mathrm{(}{\mathit{a}}_1\mathrm{)}& \hfill =\hfill & \mathit{weight}\mathrm{(}{\mathit{a}}_2\mathrm{)}=\mathit{weight}\mathrm{(}{\mathit{a}}_3\mathrm{)}=\mathit{weight}\mathrm{(}{\mathit{a}}_4\mathrm{)}=0.5\mathrm{,}\hfill \\ \hfill \mathit{standard}\mathrm{(}\mathit{q}\mathrm{)}& \hfill =\hfill & \mathit{standard}\mathrm{(}\neg \mathit{q}\mathrm{)}=\mathit{standard}\mathrm{(}\mathit{s}\mathrm{)}=\mathit{standard}\mathrm{(}\neg \mathit{s}\mathrm{)}=\mathit{preponderance}.\hfill \end{array}$$

With the proof standard of q, ¬ q, s and ¬ s being preponderance, we can see that q, ¬ q and s will not be acceptable, but ¬ s will be acceptable. Now consider a naive, direct translation of the arguments into defeasible inference rules in ${\mathrm{ASPIC}}^{+}$ , that is, ${\mathcal{K}}_{\mathit{n}}=\{\mathit{p}\mathrm{,}\mathit{r}\mathrm{,}\mathit{t}\}$ and ${\mathcal{R}}_{\mathit{d}}=\{\mathit{p}\Rightarrow \mathit{q}\mathrm{,}\mathit{r}\Rightarrow \neg \mathit{q}\mathrm{,}\neg \mathit{q}\Rightarrow \mathit{s}\mathrm{,}\mathit{t}\Rightarrow \neg \mathit{s}\}$ . This translation would instead make no corresponding arguments acceptable. The translation according to Definition 4.4 solves this by using an explicit argument node, yielding undefeated undercutters for the acceptability of q and ¬ q, thereby yielding an undefeated undercutter for the argument for s constructed by using the argument for q, so that ¬ s is acceptable in the corresponding AF.

Figure 6.

Ambiguity-blocking in Carneades.

The main difficulty in finding the translation of Carneades to ${\mathrm{ASPIC}}^{+}$ was dealing with the ambiguity-blocking nature of Carneades, while ${\mathrm{ASPIC}}^{+}$ is ambiguity-propagating. We have largely solved this problem by introducing additional argument nodes, allowing for an explicit representation of applicability and acceptability. We note that to our knowledge, we are the first to have achieved a translation of an ambiguity-blocking non-monotonic logic to a standard Dung semantics.

4.2.5. Rationality postulates

The abstract argumentation model by Dung provides a basis for argumentation systems. The structure imposed, a set of arguments and a defeat (attack) relation, gives rise to multiple semantics to evaluate argumentation frameworks. These semantics, extensions of acceptable arguments, can be seen as rationality constraints on how to evaluate argumentation frameworks. Therefore, when additional structure is imposed on arguments, as done in Section 2.2, more rationality constraints can be imposed on the evaluation. This approach was taken by Caminada and Amgoud (2007), who introduced a set of rationality postulates for argumentation systems with more structure. Caminada and Amgoud argued that extensions of these systems should satisfy postulates regarding consistency and closure. We repeat here four postulates11

11

The results of the other postulates follow directly from these four.

in the formulation of Prakken (2010):

• Closure under sub-arguments: for every argument in an extension all its sub-arguments are in the extension.

• Closure under strict rules: the set of conclusions of all arguments in an extension is closed under strict-rule application.

• Direct consistency: the set of conclusions of all arguments in an extension is consistent.

• Indirect consistency: the closure of the set of conclusions of all arguments in an extension under strict-rule application is consistent.

We have shown in Section 4.1 that Carneades can be reduced to an ${\mathrm{ASPIC}}^{+}$ argumentation theory. One advantage of going through this intermediate step is the possibility of applying existing results of ${\mathrm{ASPIC}}^{+}$ regarding rationality postulates to translated Carneades. To formally verify the rationality postulates, we first need to repeat some properties of argumentation theories.

Definition 4.13 Properties of an argumentation theory (Modgil and Prakken 2011)

Given an argumentation theory AT with language ℒ, then

AT is closed under contraposition iff for all $\mathit{S}\subseteq \mathcal{L}\mathrm{,}$ s∈S and $\mathit{\phi }\in \mathcal{L}\mathrm{,}$ if $\mathit{S}⊢\mathit{\phi }$ then $\mathit{S}\setminus \{\mathit{s}\}\cup \{-\mathit{\phi }\}⊢\neg \mathit{s}$ ;

AT is closed under transposition iff for all $\mathit{S}\subseteq \mathcal{L}\mathrm{,}$ s∈S and ${\mathit{\phi }}_1\cdots {\mathit{\phi }}_{\mathit{n}}\mathrm{,}\mathit{\psi }\in \mathcal{L}$ , if ${\mathit{\phi }}_1\mathrm{,}\dots \mathrm{,}{\mathit{\phi }}_{\mathit{n}}\to \mathit{\psi }\in {\mathcal{R}}_{\mathit{s}}$ , then for i=1, …, n, ${\mathit{\phi }}_1\mathrm{,}{\mathit{\phi }}_{\mathit{i}-1}\mathrm{,}-\mathit{\psi }\mathrm{,}{\mathit{\phi }}_{\mathit{i}+1}\mathrm{,}\dots \mathrm{,}{\mathit{\phi }}_{\mathit{n}}\to \neg {\mathit{\phi }}_{\mathit{i}}\in {\mathcal{R}}_{\mathit{s}}$ ;

AT is axiom-consistent iff ${\mathit{Cl}}_{{\mathcal{R}}_{\mathit{s}}}\mathrm{(}{\mathcal{K}}_{\mathit{n}}\mathrm{)}$ is consistent (where ${\mathit{Cl}}_{{\mathcal{R}}_{\mathit{s}}}\mathrm{(}\mathit{P}\mathrm{)}$ is the smallest set containing P and the consequent of any strict rule in ℛ _s , whose antecedents are in ${\mathit{Cl}}_{{\mathcal{R}}_{\mathit{s}}}\mathrm{(}\mathit{P}\mathrm{)}\mathrm{)}$ ;

AT is well formed iff if ϕ is a contrary of ψ then $[\mathit{\psi }\notin {\mathcal{K}}_{\mathit{n}}$ and ψ is not the consequent of a strict rule .

Proposition 4.14

Given a CAES C with corresponding argumentation theory AT and corresponding argumentation framework AF, then the four rationality postulates hold for the unique extension of AF.

An important thing to note here is that although we have proven consistency for the extension of a corresponding argumentation framework, this consistency is relative to the contrariness relation of the argumentation theory. The achievement of gaining consistency in an argumentation framework corresponding to a CAES is mainly due to leaving out the negation relation of that CAES, in a sense circumventing the problem.

4.3. Generalisation of the translation

Important future work mentioned by Gordon and Walton (2009b) is to generalise Carneades to cycle-containing structures. Although it was claimed by Brewka and Gordon (2010a) that Carneades would need a cyclic representation in other frameworks, such as Dung's argumentation frameworks, our translation of Carneades translates to cycle-free, or well-founded argumentation frameworks. This same well-foundedness allows for an easy extension of Carneades's argument set to a possibly cycle-containing structure.

Since our translation of a CAES to an argumentation framework does not depend on possible cycles in the set of arguments, we can use the same translation for cycle-containing CAES and deal with the resulting cycles by using the standard Dung semantics.

Definition 4.15

Given a CAES $\mathit{C}=⟨\mathit{arguments}\mathrm{,}\mathit{audience}\mathrm{,}\mathit{standard}⟩$ without the acyclicity restriction, ${\mathcal{L}}_{\mathrm{CAES}}$ the propositional language used and let the argumentation framework corresponding to C be AF. Then for $\mathit{s}\in \{\{\mathit{complete}\mathrm{,}\mathit{preferred}\mathrm{,}\mathit{grounded}\mathrm{,}\mathit{stable}\}\mathrm{,}$ :

An argument $\mathit{a}\in \mathit{arguments}$ is applicable in C under sceptical (credulous) s semantics iff all (some) s extensions of AF contain an argument with conclusion arg _a .

A propositional literal $\mathit{c}\in {\mathcal{L}}_{\mathrm{CAES}}$ is acceptable in C or $\mathit{c}\in \mathit{assumptions}$ under sceptical (credulous) s semantics iff all (some) s extensions of AF contain an argument with conclusion c.

We will demonstrate our generalisation of Carneades by translating Example 2 of Brewka and Gordon (2010a) to an argumentation framework, showing intermediate steps.

Example 4.16 Cycle example

Assume, we have two possible destinations in mind for a summer vacation, Greece and Italy, but cannot afford to visit both destinations. We could formalise this as follows. Let $\mathit{arguments}=\{\mathit{a}\mathrm{,}\mathit{b}\}$ with: $$\mathit{a}=⟨\varnothing \mathrm{,}\{\mathit{It}\}\mathrm{,}\mathit{Gr}⟩\mathrm{,}\mathit{b}=⟨\varnothing \mathrm{,}\{\mathit{Gr}\}\mathrm{,}\mathit{It}⟩.$$ These arguments contain an exception cycle and therefore cannot directly be handled by Carneades. We can give the example semantics by using the generalisation of our translation. The translation of this CAES would give the following argument trees as shown in Figure 7, which can be written formally: $$\begin{array}{cc}{\mathit{A}}_1:{\Rightarrow }_{{\mathit{app}}_{\mathit{a}}}{\mathit{arg}}_{\mathit{a}}\mathrm{,}\hfill & {\mathit{B}}_1{\Rightarrow }_{{\mathit{app}}_{\mathit{b}}}{\mathit{arg}}_{\mathit{b}}\mathrm{,}\hfill \\ {\mathit{A}}_2:{\mathit{A}}_1{\Rightarrow }_{{\mathit{acc}}_{\mathit{a}}}\mathit{Gr}\mathrm{,}\hfill & {\mathit{B}}_2:{\mathit{B}}_1{\Rightarrow }_{{\mathit{acc}}_{\mathit{b}}}\mathit{It}\mathrm{,}\hfill \\ \mathit{E}:{\mathit{A}}_2\Rightarrow \neg {\mathit{app}}_{\mathit{b}}\mathrm{,}\hfill & \mathit{F}:{\mathit{B}}_2\Rightarrow \neg {\mathit{app}}_{\mathit{a}}.\hfill \end{array}$$ From this formal description of arguments, together with the undercuts on applicability and acceptability, we would get the following argumentation framework as shown in Figure 8. The argumentation framework above can be evaluated through Dung's semantics. For instance, under credulous stable and preferred semantics, both Gr and It are acceptable. Under sceptical stable, sceptical preferred or grounded semantics both would not be acceptable. These results are similar to the results in the generalisation by Brewka and Gordon (2010a).

Figure 7.

Greece versus Italy argument trees.

Figure 8.

Greece versus Italy argumentation framework.

4.4. Related work

Concurrent to the work done in this article and the paper by van Gijzel and Prakken (2011), there have been translations of Carneades to other argumentation approaches. First of all, there is the translation of Carneades to abstract dialectical frameworks by Brewka and Gordon (2010a). In this translation, premises and exceptions, respectively, have a support and attack relation with the argument node, much in the same way that sub-arguments and undercuts are used in our translation. Carneades’ proof standards are encoded as acceptance conditions from the argument node, supporting the conclusion and attacking the contradictory conclusion.

Although the translation of Brewka and Gordon clarified the relation between Carneades and abstract argumentation by relating it to ADFs, one of the main concerns about this translation was that it needed the full power of abstract dialectical frameworks, thus obscuring the direct relation with Dung's argumentation frameworks. This connection has now been made explicit by the paper of Brewka et al. (2011), developing a translation of ADFs to AFs, using Boolean networks (Dunne 1988). The paper concerns itself mostly with the computational complexity of the translation, to keep a polynomial complexity in both size and time. However, this translation introduces additional technical nodes in the final argumentation framework that have no intuitive meaning. So even though the translation gives a formal connection between the two argumentation models, the intuitive relation is mostly lost.

Very recently, Carneades has been translated to defeasible logic (Nute 1994) by Governatori (2011). Defeasible logic is a computational approach to non-monotonic reasoning with an argumentation-like flavour. Defeasible logic has the possibility to handle both ambiguity-blocking and ambiguity-propagating behaviour, allowing for a rather direct representation of Carneades’ proof standards. The translation by Governatori maps proof standards to a single inference mechanism, giving a natural representation of the proof standards.

While Governatori thus establishes an intuitive relation between Carneades and defeasible logic, he only partly relates Carneades to abstract argumentation, since only the ambiguity-propagating part of defeasible logic has an established direct formal relation with Dung's argumentation frameworks. Its ambiguity-blocking variant has instead been translated to a Dung-like semantics using a different notion of acceptability (Governatori, Maher, Antoniou, and Billington 2000).

5. Conclusion

This article has shown that Carneades can be reconstructed, through ${\mathrm{ASPIC}}^{+}$ , as Dung's abstract argumentation frameworks. We have seen that the idea of varying proof standards can be modelled within a Dungean approach, while retaining a correspondence of properties between both systems. These results show that Dung's approach to argumentation is able to model complex argumentation issues such as proof standards. Furthermore, by first translating Carneades through an ${\mathrm{ASPIC}}^{+}$ argumentation theory, we were able to prove and instantly gain a number of useful results. First of all, we were able to use results about rationality postulates from Prakken (2010) and directly apply these to the translated version of Carneades, proving consistency and strict closure of extensions. The translation also allows us to fully exploit the power of an ${\mathrm{ASPIC}}^{+}$ argumentation theory, providing us, for instance, with an explicit distinction between strict and defeasible inference rules. So in addition to providing a correspondence, the translation allows us to integrate Carneades with an extra set of tools provided by ${\mathrm{ASPIC}}^{+}$ .

An important property of our reconstruction of Carneades is that our modelling gives a cycle-free argumentation framework, thus always inducing a unique Dung extension which is the same in all Dung's semantics. This shows that Carneades is essentially a single-status assignment approach. This property allowed us to generalise Carneades to cycle-containing structures by using Dung's standard grounded, preferred and stable semantics, thereby addressing the issue put forward by Gordon and Walton (2009b). This generalisation is done much in the same way as by Brewka and Gordon (2010a).

Finally, we note that our translation enables a standard Dung semantics for an “ambiguity-blocking” non-monotonic logic (see Gordon et al. 2007, Section 7.1); to our knowledge, we are the first to have achieved such a result.

5.1. Future work

Through this article and by the work of Prakken (2010), several approaches to structured argumentation have been developed and subsequently related through a single framework called ${\mathrm{ASPIC}}^{+}$ . Although the theoretical relations between these approaches have thus been clarified, we have seen that the actual step of generating arguments has not been given a concrete, efficient implementation. A useful path to take for future research would therefore be to develop a class of efficient argument generation algorithms for ${\mathrm{ASPIC}}^{+}$ . The possibility to efficiently generate arguments for a large class of argumentation approaches would give a better integration of these approaches.

The translation of Carneades to ${\mathrm{ASPIC}}^{+}$ gives us access to the full power of an ${\mathrm{ASPIC}}^{+}$ argumentation theory, thereby gaining the possibility to use strict and defeasible rules or use different types of knowledge. This additional power could also be used to show how the concept of argument generators Gordon (2010) and the existing argument schemes of Carneades Gordon and Walton (2009a) relate to structured argumentation by translating them into schemes for defeasible inference rules (following the suggestion of Prakken 2010 that most argument schemes can be seen as such). This would make the relation between ${\mathrm{ASPIC}}^{+}$ and the Carneades argumentation system as a whole more complete.

Our results raise the question whether it would now be better to use ASPIC+ directly, instead of Carneades, to model argumentation when variable proof standards and the other features of Carneades are required. The answer depends on whether Carneades is sufficient as a model of reasoning with variable proof standards. Prakken and Sartor (2011) claim that Carneades’ ambiguity-blocking nature prevents an adequate modelling of the distinction between the burdens of production and persuasion. If they are right, then there is reason to change Carneades in the direction of ASPIC+.