Some Supplementaries to The Counting Semantics for Abstract Argumentation

09/11/2015 ∙ by Fuan Pu, et al. ∙ Tsinghua University 0

Dung's abstract argumentation framework consists of a set of interacting arguments and a series of semantics for evaluating them. Those semantics partition the powerset of the set of arguments into two classes: extensions and non-extensions. In order to reason with a specific semantics, one needs to take a credulous or skeptical approach, i.e. an argument is eventually accepted, if it is accepted in one or all extensions, respectively. In our previous work ref-pu2015counting, we have proposed a novel semantics, called counting semantics, which allows for a more fine-grained assessment to arguments by counting the number of their respective attackers and defenders based on argument graph and argument game. In this paper, we continue our previous work by presenting some supplementaries about how to choose the damaging factor for the counting semantics, and what relationships with some existing approaches, such as Dung's classical semantics, generic gradual valuations. Lastly, an axiomatic perspective on the ranking semantics induced by our counting semantics are presented.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

I Introduction

Argumentation is closer to human reasoning than classical logic. It provides the means for comparing information by analysing pros and cons when trying to make a decision [2]

. Argumentation theory has gained interest in artificial intelligence since it provides the basis for computational models inspired by the way humans reason. These models have extended classical reasoning approaches, based on deductive logic, that were proving increasingly inadequate for problems requiring non-monotonic reasoning and explanatory reasoning not available in standard nonmonotonic logics.

The most popularly used framework to talk about general issues of argumentation is that of Dung’s abstract argumentation [3], in which arguments are represented as atomic entities and the interactions between different arguments are modeled by an attack relation. It provides a series of extension-based semantics for solving the inconsistent knowledges by selecting acceptable subsets. Generally, for a specific extension-based semantics, there is usually a set of extensions that is consistent with the semantical context. In order to reason with a semantics one has to take either a credulous or skeptical perspective. That is, an argument is ultimately accepted with respect to a semantics if the argument is contained in at least one extension consistent with that semantics (the credulous perspective) or if the argument is included in all extensions consistent with the semantics (the skeptical perspective). This extreme points of views may cause undesired results, since in extreme cases the set of credulously accepted arguments may contain nearly the whole set of arguments and the set of skeptically accepted set of arguments may be nearly empty.

In order to get a more fine-grained assessment on arguments, we had proposed a new semantics that generalized the classical extension-based semantics in [1]. Our proposal is based on counting the number of attackers and defenders for each argument, hence called counting semantics. An argument is more acceptable if there are more defenders for it and less attackers against it. In this paper, we will continue our previous work to discuss the determination of the damping factor for the counting semantics and relate our proposal with some existing approaches.

The rest of this paper is structured as follows. In Section II, we give a brief overview on abstract argumentation. Section III provides the basic concept of the counting semantics. Section IV discusses the selection of the damping factor. We relate our proposal with classical (extension-based) semantics in Section V and with the generic gradual valuation in Section VI. In Section VII, we present an axiomatic perspective on the ranking semantics induced by our counting semantics. We conclude in Section VIII.

Ii Abstraction Argumentation Framework

In this section, we briefly outline the key elements of abstract argumentation frameworks. Now let us begin Dung’s abstract characterization of an argumentation system [3]:

Definition 1 (Abstract Argumentation Framework).

An argumentation framework is a pair where is a finite set of arguments and is a binary relation on , also called attack relation. means that attacks , or is an attacker of . Often, we write as .

We denote by (respectively, ) the subset of containing those arguments that attack (respectively, are attacked by) the argument , extending this notation in the natural way to sets of arguments, so that for , and . Now, let us characterise two fundamental notions of conflict-free and defence.

Definition 2 (Conflict-free, Defense).

Let be an argumentation framework, let and .

  • is conflict-free iff .

  • defends argument iff . It is also said that argument is acceptable with respect to .

Obviously, a set of arguments is conflict-free iff no argument in that set attacks another. A set of arguments defends a given argument iff it attacks all its attackers.

Definition 3 (Characteristic Function).

The characteristic function of an argumentation framework is a function such that, given , .

Stated otherwise, is the set of all arguments that defends. To define the solutions of an argumentation framework, we mean choosing a set of arguments that satisfies some acceptable criteria. Several of these properties, called extensions or semantics, have been proposed by Dung.

Definition 4 (Acceptability Semantics).

Let be a conflict-free set of arguments in argument system .

  • is an admissible extension iff .

  • is a complete extension iff .

  • is a grounded extension iff and is minimal (w.r.t. ). It is the least fixed point of , and its existence and uniqueness have been proved in [3] and [4].

  • is a preferred extension iff and is maximal (w.r.t. ).

  • is a stable extension iff or , where the bar on denotes the relative complement of with respect to .

Example 1.

Consider the argumentation framework , depicted in Fig. (a)a, in which and . For this example, AF has two admissible sets: and . is the only preferred extension of AF, and it is also complete and grounded. AF has no stable extension.

(a)

PRO

OPP

PRO

OPP

OPP

(b)
Fig. 1: Argumentation framework and dispute tree. (a) shows an argumentation framework, (b) presents the dispute tree induced in .

Iii Counting Semantics for Argumentation

In classical abstract argumentation, arguments are either acceptable or unacceptable, given a specific semantics. In order to get a more fine-grained view on the status of arguments we had proposed a new semantics that generalized classical semantics [1], called counting semantics. The counting semantics assigns to each argument of an argumentation framework a numerical strength value which is meant to be interpreted as a degree of acceptability so as to finely compare and rank arguments from the most acceptable to the weakest one(s). In this section, we provide the basic concepts of the counting semantics and supplement some examples to present the calculation of the counting semantics.

The fundamental intuition used to formalise the degree of acceptability is essentially the same as those found in abstract argumentation theory: argument is more acceptable than argument iff has a better defence (for it) and a lower attack (against it). In order to assess the strength value of each argument in an argumentation framework, we consider their evaluation procedures as dialogue games between two fictitious agents — PRO (for “proponent”) and OPP (for “opponent”) — each of which are referred to as the other’s “counterpart” [5, 6]. A dialogue game begins with PRO putting forward an initial argument, and then PRO and OPP take turns in a sequence of moves called a dispute, in which each agent makes an argument that attacks its counterpart’s last move. In general, the counterpart can try a different line of attack and create a new dispute. This leads to a dispute tree structure that represents the dialogue game. Nodes in a dispute tree are labelled by arguments and are assigned the status of defender and attacker

of the root argument, depending upon the argument at that node is made by the proponent or the opponent, or depending upon whether the walk length from the current node to the root node is even or odd. For instance, consider two agents arguing the argumentation framework shown in Fig. 

(a)a, and the dispute tree induced by argument is shown Fig. (b)b. Clearly, this dispute tree is infinite as both agents are able to repeat counterarguments due to the presence of cycles in the argument graph. In this dispute tree, the blue solid nodes, made by PRO, are defenders of , whereas, the red dotted nodes, made by OPP, are attackers of . Each node is also assigned a superscript, which denotes the length of the walk from the current node to the root node. We can see that if a node has a even-numbered superscript then it is a defender, otherwise it is an attacker. Note that the root node is also a defender of itself as each argument has a walk with length to itself.

We claim that an argument is more acceptable if PRO puts forward more number of defenders for it and OPP puts forward less number of attackers against it. One simple approach is thus to count all length of attackers and defenders for each argument. We positively count all defenders and negatively count all attackers. This is easy to understand since an argument is always weakened by its attackers and is “reinstated” by its defenders. Therefore, in any case, the greater the number computed, the more acceptable the argument. Let with . We define the attack matrix for AF as a matrix such that if ; otherwise, .111In fact, the attack matrix of an argumentation framework is the transpose of the adjacency matrix of its corresponding attack graph. The number of -length attackers (when is odd) or defenders (when is even) for each argument in are stored by employing a

-dimensional column vector

, whose component, denoted by , is the number of -length attackers or defenders of . It has been proved by [7] that can be computed by the calculation of the power of , i.e.,

(1)

where is the column vector consisting of all ones. Given the maximum walk length (which will be used in order to capture finite attackers and defenders under ), then the simple counting model can be obtained by positively summing for all even under and negatively summing for all odd under , i.e.,

(2)

in which is the vector of strength values assigning to arguments in , and the component of is the strength values of , denoted by . The greater , the closer the evaluation obtained to the actual counting approach. As goes to , is the evaluation on arguments.

Example 2.

The attack matrix of the argumentation framework in Fig. (a)a is

Then, we can obtain

All entries of are s since each argument is a -length defender of itself. indicates that has one -length attacker (), has two ( and ), has two ( and ), and has zero. . Now, the calculations of the counting approach under () are

However, this simple model leads to two problems. The first is that for an attack graph with cycles, when goes to , then some arguments may have infinite number of attackers and defenders. This is not conducive to comparison and practical application since if the counting values of two arguments are both infinite, we can not compare them.

The second problem is that the simple counting model does not distinguish different lengths of attackers and defenders. Different lengths of attackers or defenders of an argument may have different impacts on the argument. The simple model just simply count them together and does not consider which is more important and which is less important. This problem may lead to some counter intuitions. Considering Example 2, for instance, is greater than . It is counterintuitive since is not attacked and should be most acceptable. We consider that shorter attackers and defenders are preferred, which can effectively drive the agents to make only relevant moves, and thus we assume that a shorter attacker (respectively, defender) of an argument has more effect than a longer one on the argument [8].

To remedy these two problems, we define a normalization factor, which can ensure that the argument strength scale is bounded, and a damping factor on walk length, which allows a more refined treatment on different length of attackers and defenders. Now, we redefine the vector as

(3)

in which is the damping factor and is the normalized attack matrix defined as where the scalar is the normalization factor.222The normalization factor we used is the infinity norm of the attack matrix (see [9]). It is dynamic and represents the “size” of the argumentation framework. It can be seen that the damping factor provides a graded treatment of attackers and defenders of various lengths since the longer the walk length , the smaller the . Then, the improved counting model is defined as

(4)

We have shown that the improved counting model can range the strength value of each argument into the interval (see [1, Thm 1]) and converge to a unique solution in as goes (see [1, Thm 2]). Then, we can define the counting semantics for an argumentation framework as the limit of .

Definition 5.

Let be an argumentation framework with , and the damping factor . The attacker and defender counting semantics for such AF is, for all arguments ,

The strength value of is the component of , denoted by .

The counting semantics can be approximated iteratively by

(5)

with the initial valuation under a given tolerance (i.e., the iteration terminates when the change ).

Example 3.

We continue Example 2. The normalization factor of is , thus the normalized attack matrix is

Assume , then the counting values of each argument are summarized below:

If we set , after finitely many iterations, the counting values gradually tends to be stable and converges to the approximative counting semantics .

In the following sections, we will continue our previous work in [1] and discuss how to determine the damping factor . Moreover, we relate our proposal with some existing approaches.

Iv The determination of the damping factor

The damping factor plays an important role in the counting semantics. It not only provides a more refined treatment on different length of attackers and defenders but also controls the convergence speed of the computation. How to choose the damping factor in practical application thus is an important question for the counting semantics.

Before this, let us see how the damping factor impact the strength values of arguments. It can be seen from Eqn. (3) that the impact of the -length attackers or defenders on arguments satisfies

Obviously, the lower the , the shorter the causing the approaching to zero. In other words, the lower the , the less number of attackers and defenders are considered to contribute to the strength values of arguments since the attacker or defenders whose length greater than some length may have a little impacts on the strength values and can be ignored. However, we expect a “ideal” counting semantics, i.e., considering attackers and defenders as much as possible, hence we are inclined to chose as close to as possible.

Another reason to choose a great is that the lower bound of the counting semantics is (i.e., for any ). When is close to , the lower bound is close to , resulting in a trivial uniform assessment, which is away from the goal of the comparisons among arguments.

However, as approaches to , more time may be needed to make Eqn. (5) convergence. We thus needs a tradeoff between the performance and the “ideal” semantics. By Eqn (5), it can be proved that the change , at the iteration, satisfies

(6)

where is the spectral radius of and . Accordingly, we can conclude that the convergence rate of the computation of the counting semantics is the rate at which . If we expect the counting semantics to converge to a tolerance level with at most

iterations, then we have the following rough estimate:

(7)

Assume , for and , one can expect at most iterations until convergence to the counting semantics. For , about iterations and for , about iterations, as shown in Figure 2. If we expect the counting semantics to converge using no more than iterations, then should be less than . In most applications, however, is always far less than one (since the attack matrix is often sparse), implying that can be much larger. Therefore, we usually choose in .

Fig. 2: The relation between iterations and the damping factor.

V Counting Semantics vs. Dung’s Semantics

In this section, we investigate the relationships between Dung’s classical semantics and the counting semantics in more depth. All of Dung’s classical semantics are mainly grounded on set theory, while our counting semantics is based on numerical matrix operations. It seems that these two kinds of semantics have nothing to do with each other. In this paper, however, we will build their relationships by boolean algebra.

V-a Solve Classical semantics by Boolean Algebra

To begin with, let us introduce two operations on boolean matrices.

Definition 6 (Boolean Operations).

Let and be two boolean matrices (i.e., all entries are either logic or logic ).

  • The boolean product of and , denoted by , is defined by

    (8)
  • The negation of , denoted by , is a cellwise operator and defined by

    (9)

Moreover, let us introduce the boolean vector representation of a subset of a set of arguments and the boolean matrix representation of the attack relations between the arguments. Assume is a set of arguments, then can be encoded by boolean column vector , whose component is if ; otherwise . Clearly, if then all components of are s, i.e., , and if then . Intuitively, where is the complement of with respect to , i.e., . We can utilize the attack matrix to represent the attack relations between arguments when all the entries are considered to be logic or .

In the following, we will present the boolean algebra approaches to solve Dung’s set-theory-based semantics.

Theorem 1.

Let with , and its attack matrix be . Assume , then (i). ; (ii). .

Proof.

(i). Two cases need to be consider:
Case 1: For any , i.e. , there must exist an argument such that . This follows that and . Hence,

Case 2: For any , namely , then such that , i.e. for all such that . On the other hand, if then . Thus for all , . It implies that

To sum up the above proof, always holds for any argument , and this concludes the theorem.
(ii). Similar to the proof of (i). ∎

Clearly, this theorem provides a way to define the boolean representation of function and , i.e. and . It is mentioned in [10] that the characteristic function and the operator has the relation as below:

(10)

We can then rewrite the boolean representation of the characteristic function as:

(11)

Base on this, another iteration approach for computing grounded extension can be established from the initial value (i.e. the empty set),

(12)

V-B The Relationships Between The Counting Semantics and Dung’s Semantics

Now, we move our attention to the relationship between the counting semantics and Dung’s classical semantics. In order to facilitate the comparison and analysis, we convert the boolean operations in Eqn. (12) into arithmetic operations by employing the following identities333In these identities, boolean and are interpreted as integers.:

(13)
(14)

in which the is the signum function, defined as if and when . The of a matrix means performing the operation on each cell of this matrix.

Then Eqn. (12) can be represented as

(15)
(16)
(17)

where . On the other hand, we rewrite the iterative formula of the counting semantics, i.e. Eqn. (5), as

(18)

Now, let us define another function such that for , , alternately,

Obviously, and a conflict-free set is a stable extension iff is a fixed point of . With the similar idea above, we write the boolean representation of as

(19)

Until now, we can easily observe that the iteration formulas of Eqn. (17) and Eqn. (18) have similar iteration structures apart from the operations as well as the Eqn. (5) and Eqn. (19). This establishes quite interesting relationships between our counting semantics and classical semantics: Firstly, both the counting semantics and classical semantics are interaction-based valuation since here the value of each argument merely relies on the graph structure of the argumentation framework. Secondly, by Definition 4, it can be seen that the complete, grounded and preferred extension are included in the set of the fixed points of the Eqn. (17) and the stable extension is the fixed point of the Eqn. (19), while the counting semantics is the fixed point of Eqn. (18). Lastly, both the grounded semantics and the counting semantics (given the damping factor ) are unique.

However, the main difference is that our counting semantics is more general since it allows for a more finer level between two extremes views (accepted and rejected) on reasoning, while the classical semantics represents an extreme case since it just involves being accepted or rejected. As a result, these classical semantics may cause empty extension. This might be suitable for reasoning but not for practical applications in some scenarios. Considering an argument system whose grounded extension is empty, for example, if a decision must be made, then the grounded semantics is unavailable since all arguments are unacceptable in this case. Our proposal engages in comparing and ranking arguments from the most acceptable to the weakest one(s). It is possible that the most acceptable argument(s) might be the good choice for some problems.

Another difference is that some classical semantics such as complete and preferred semantics may provide multiple extensions. This may cause that (with a credulous perspective) the recommendation is to administer almost all decisions. However, our counting semantics can always return a unique solution (specifying the damping factor ). If one expects to achieve the multiplicity property from the counting semantics, he or she can choose a different damping factor since various may give different rankings on arguments.

Vi Relating with Generic Gradual Valuations

Generic Gradual Valuations are one of the two proposals for introducing graduality in the interaction-based valuation, namely a local approach and a global approach [11]. It is local because strength values are assigned to arguments based solely on their direct attackers (so defenders are also taken into account through the attackers). In global approach, however, the value of an argument represents the set of all the attack and all the defence branches of different lengths for this argument. Overall, generic gradual valuations are a very versatile and expressive framework for assigning labels to arguments, where the labels indicate a set of possible acceptability or truth values to each argument. In this section, we will give comparisons between our approach and these two approaches.

Vi-a Comparison with Global Valuation

At the first sight, the global approach is similar to ours. It assigns a pair of tuples to each argument: the first tuple contains the lengths of the defence branches (even integers), the other one contains the lengths of the attack branches (odd integers). This approach is claimed to be “global” since it computes the value of the argument using the whole attack graph influencing the argument.

However, there are three main differences between our approach and tupled approach. First, we employ vectors to memorize the number of attackers and defenders of different lengths. Second, to compute the number of attackers and defenders, we utilize a matrix approach, i.e., computing powers of attack matrix. While in tupled approach, a propagation algorithm is proposed to compute the tupled values. Third, to determine which argument is more acceptable, in tupled approach, a double comparison (first quantitative, then qualitative) algorithm is presented based on classical lexicographic comparison. One drawback of the tupled approach is that incomparable tupled values may exist. While our proposal is a purely quantitative mathematical approach, which assigns a numerical value in to each argument and facilitates the comparison between arguments.

Vi-B Comparison with Local Valuations

The local approach is a very generic formalisation capable of capturing the discrete labeling semantics of [12] and the continuous “categoriser” function of [13]. Assume a totally ordered set with a minimum element and a subset of containing and a top element . Let with . A local valuation is a function such that:

  • , .

  • , if , .

  • , if .

where function such that is non-increasing, and , and function such that ( denotes the set of all finite sequences of elements of )

  • and .

  • .

  • where .

  • for any permutation of .

By Eqn. (5), our proposal can be defined as an instance of the generic valuation such that

  • , , and .

Actually, we define as where is the number of arguments in AF, is the row vector of and is a -dimensional column vector. Clearly, the two definitions are equivalent.

The main difference between our proposal and categoriser function is that the latter defines . Clearly, it can be seen that both approaches formalise the same intuition that an argument with low-valued attackers obtains high values and an argument with high-valued attackers obtains low values. Furthermore, both approaches are continuous and evaluate the strength of arguments on a scale of numerical values from to .

It has proved that there is a bijective correspondence between labeling-based and extension-based semantics for complete, grounded and preferred semantics [4]. Therefore, the comparisons between our proposal and labeling semantics can refer to Section V.

Vii Ranking-based Axiomatic Perspective On The Counting Semantics

The counting semantics assign arguments a vector of numerical strength values, which are relative and do not make sense when they are not compared with each other. Actually, in most applications, we merely concern the ranking (ordering) over arguments induced by the counting semantics. Given the damping factor , the ranking on the set of arguments derived from the counting semantics is defined by: for any , iff . Intuitively, is total (i.e., , or ) and transitive (i.e., , if and , then ). Note that here means that argument is at least as acceptable as argument with respect to . Formally, we define if and only if and , which means and are equally acceptable w.r.t. . Moreover, , meaning is strictly more acceptable than w.r.t. , if and only if but not .

In [14], the authors propose a set of axioms (postulates), each of which represents a criterion, and is an intuitive and desirable property that a ranking-based semantics may enjoy. Such an axiomatic approach empowers a better understanding of semantics and a more accurate comparison between different proposals. In this section, we will formally show that the ranking derived from the counting semantics satisfies some of these postulates.

The first axiom is that a ranking on a set of arguments does not depend on their identity but merely on the attack relations among them. In other words, if two argumentation system are isomorphic, then they are equivalent and should have the same ranking semantics. The isomorphisms between two argumentation frameworks and is a bijective function : such that for all , if and only if . Now we define the first axiom as follows:

Axiom 1 (Abstraction (Ab)).

A ranking-based semantics satisfies abstraction iff for any two argumentation frameworks and , for every isomorphism from to , we have that , iff .

The second axiom states that the question whether argument is ranked higher than argument should be independent of any argument that is not connected to or , i.e., there is no path from or to (neglecting the direction of the edges). Let be the set of weak connected components of AF. Each weak connected component of AF is a maximal subgraph of AF in which any two arguments are mutually connected by a path (neglecting the direction of the edges).

Axiom 2 (Independence (In)).

A ranked-based semantics satisfies independence iff for any argumentation framework , and for any such that , , iff .

The third axiom encodes the idea that non-attacked arguments are more acceptable (and thus ranked higher) than attacked ones.

Axiom 3 (Void Precedence (Vp)).

A ranked-based semantics satisfies void precedence iff for any , , if and then .

The fourth postulate states that having attacked attackers is more acceptable than non-attacked attackers, i.e., being defended is ranked higher than not being defended. For any , we denote by the set of all defenders of argument in . Alternatively, we can also write .

Axiom 4 (Defense precedence (Dp)).

A ranked-based semantics satisfies defense precedence iff for every , , if , , and then .

The next axiom says that an argument should be at least as acceptable as argument , when the direct attackers of are at least as numerous and well-ranked as those of . This involves a relation that compares sets of arguments, i.e., group comparison: Let be a ranking on a set of arguments . For any argument subset , iff there exists an injective mapping from to such that , . Obviously, if , then there must be and for arbitrary , such that .

Axiom 5 (Counter-Transitivity (Ct)).

A ranked-based semantics satisfies counter-transitivity iff for every , , if then .

Moreover, is a strict group comparison iff it satisfies two conditions: (1) ; (2) or , .

Axiom 6 (Strict Counter-Transitivity (Sct)).

A ranked-based semantics satisfies strict counter-transitivity iff for any , , if then .

The following two axioms provide two choices: giving precedence to cardinality over quality (i.e. two weakened attackers are worse for the target than one strong attacker), or vice versa. In some situations, both options are rational.

Axiom 7 (Cardinality Precedence (Cp)).

A ranked-based semantics satisfies cardinality precedence iff for arbitrary argumentation framework , , if then .

Axiom 8 (Quality Precedence (Qp)).

A ranked-based semantics satisfies quality precedence iff for arbitrary argumentation framework , , if such that , , then .

The last axiom concerns the way arguments are defended. The consideration is that an argument which is defended against more attackers is ranked higher than an argument which is depended against less attacks. There are two concepts of defense: simple and distributed. The defense of an argument is simple iff every defender of attacks exactly one attacker of , formally, such that . The defense of an argument is distributed iff such that , i.e., every attacker of is attacked by at least one argument.

Axiom 9 (Distributed-Defense Precedence (Ddp)).

A ranked-based semantics satisfies distributed-defense precedence iff for any , such that and , if the defense of is simple and distributed and the defense of is simple but not distributed then .

In addition, [14] provides some relationships between these axioms: if a ranking-based semantics satisfies (SCT) then it satisfies (VP); if satisfies both (CT) and (SCT), then it satisfies (DP); can not satisfy both (CP) and (QP). Now, let us give the following proposition about which axioms the ArgRank satisfies or dose not.

Proposition 2.

The ranking derived from the counting semantics satisfies (Ab), (CT), (SCT), (VP) and (DP), and does not satisfy (In), (CP), (QP) and (DDP).

The (Ab) can be proved by the definition of the counting semantics. By Eqn. (5), it follows (CT). In particular, when then the semantics gives , which is the case of (SCT). The (VP) and (DP) can be followed from their relationships with (CT) and (SCT). The ranking does not always satisfy (In) since an argumentation framework and its weak connected components may have different normalization factor, which may bring about different rankings on arguments.

The ranking does not satisfy (CP) since it mainly concerns on the number of the -length attackers. Clearly, the ranking also does not satisfy (QP).

Moreover, (DDP) is not satisfied by the ranking . As a counter example, for instance, consider the argumentation framework in Fig. 3, in which the two arguments and have the same number of attackers and defenders: and , and and . We can see that the defense of argument is simple and distributed while the defense of argument is simple but not distributed. Therefore, the axiom (DDP) guarantees that is ranked higher than . On the other hand, the ranking provides that . This contradicts with the result of (DDP). Assume there is another argument which attacks argument , then is weakened, thereby increasing (the rank value of) and decreasing , and thereby following . Note that then the defense of still is simple and distributed, therefore, this also confirms that the ranking does satisfy (DDP). The major reason of this counter situation is that the axiom (DDP) concentrates too much on quite local topological respects of an argumentation framework, but ignores the global topology. However, the counting semantics is a global approach since the rank value of an argument relies on the rank values of its attackers, which is a recursive definition.

(a)

(b)
Fig. 3: A counter-example of axiom (DDP)

In [15], the authors have shown that the categoriser-based ranking semantics satisfies (Ab), (In), (VP), (DP), (CT) and (SCT), and does not satisfy (CP), (QP) and (DDP). Now, we can find a difference between the categoriser function and the counting semantics, i.e., the ranking does not satisfy (In). This is because the counting semantics adopts a dynamic normalization factor.

Viii Conclusion

In this paper, we carry on our previous work on a novel semantical notion for abstract argumentation frameworks: counting semantics. Instead of extensions, the counting semantics assigns strength values (representing degrees of acceptability) to arguments by counting the number of attackers and defenders for arguments. We discuss how to select the damping factor for the counting semantics. We show several interesting relationships between the counting semantics and Dung’s classical semantics by means of boolean algebra. We relate the counting semantics with two proposals of generic gradual valuations. Finally, we present an axiomatic analysis of the ranking derived from our counting semantics.

The counting semantics generalizes Dung’s extension-based semantics for abstract argumentation and allows for a more fine-grained differentiation of the status of arguments. It is an objective evaluation model (merely based on the graph structure of the argumentation framework). For future work, we intend to extend our semantics to some sophisticated problems, such as the large-scale online debates [16], in which thousands of people participate in and thousands of arguments are expressed, and the bipolar argumentation frameworks [17], where two kinds of interaction between arguments: a positive interaction (an argument support another argument) and a negative interaction (an argument can attack another argument) are considered.

Acknowledgments

The research reported here was supported by the National Natural Science Foundation of China under contract number NSFC61171121 and NSFC61572279.

References

  • [1] F. Pu, J. Luo, Y. Zhang, and G. Luo, “Attacker and defender counting approach for abstract argumentation,” in Proceedings of the 37th Annual Meeting of the Cognitive Science Society. Austin, TX: Cognitive Science Society, 2015, pp. 1913–1918.
  • [2]

    D. C. David, D. Robertson, and J. Lee, “Argument-based applications to knowledge engineering,”

    The Knowledge Engineering Review, vol. 15, p. 2000, 2000.
  • [3]

    P. M. Dung, “On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games,”

    Journal of Artificial Intelligence, vol. 77, no. 2, pp. 321–357, Sep. 1995.
  • [4] M. Caminada, “On the issue of reinstatement in argumentation,” in Logics in artificial intelligence.   Springer, 2006, pp. 111–123.
  • [5] S. Modgil and M. Caminada, “Proof theories and algorithms for abstract argumentation frameworks,” in Argumentation in Artificial Intelligence, G. Simari and I. Rahwan, Eds.   Springer US, 2009, pp. 105–129.
  • [6] M. Caminada and Y. Wu, “An argument game for stable semantics,” Logic Journal of IGPL, p. jzn029, 2009.
  • [7] D. B. West et al., Introduction to graph theory.   Prentice hall Englewood Cliffs, 2001, vol. 2.
  • [8] T. Rienstra, M. Thimm, and N. Oren, “Opponent models with uncertainty for strategic argumentation,” in Proceedings of the Twenty-Third international joint conference on Artificial Intelligence.   AAAI Press, 2013, pp. 332–338.
  • [9] R. A. Horn and C. R. Johnson, Matrix analysis.   Cambridge university press, 2012.
  • [10] L. Amgoud and C. Cayrol, “On the acceptability of arguments in preference-based argumentation,” in Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence.   Morgan Kaufmann Publishers Inc., 1998, pp. 1–7.
  • [11] C. Cayrol and M.-C. Lagasquie-Schiex, “Graduality in argumentation,” J. Artif. Intell. Res.(JAIR), vol. 23, pp. 245–297, 2005.
  • [12] H. Jakobovits and D. Vermeir, “Robust semantics for argumentation frameworks,” Journal of logic and computation, vol. 9, no. 2, pp. 215–261, 1999.
  • [13] P. Besnard and A. Hunter, “A logic-based theory of deductive arguments,” Artificial Intelligence, vol. 128, no. 1, pp. 203–235, 2001.
  • [14] L. Amgoud and J. Ben-Naim, “Ranking-based semantics for argumentation frameworks,” in Scalable Uncertainty Management.   Springer, 2013, pp. 134–147.
  • [15] F. Pu, J. Luo, Y. Zhang, and G. Luo, “Argument ranking with categoriser function,” in Knowledge Science, Engineering and Management.   Springer, 2014, pp. 290–301.
  • [16] J. Leite and J. Martins, “Social abstract argumentation,” in Proceedings of the Twenty-Second international joint conference on Artificial Intelligence-Volume Volume Three.   AAAI Press, 2011, pp. 2287–2292.
  • [17] C. Cayrol and M.-C. Lagasquie-Schiex, “Gradual valuation for bipolar argumentation frameworks,” in Symbolic and Quantitative Approaches to Reasoning with Uncertainty.   Springer, 2005, pp. 366–377.