### Gradual valuation with tuples for acyclic graphs

First, in order to record the lengths of the branches leading to the arguments, we use the notion of tuples and we define some operations on these tuples:

Definition 7 (Tuple)   A tuple is a sequence of integers. The tuple will be denoted by . The tuple will be denoted by .

Notation 1   denotes the set of the tuples built with positive integers.

Definition 8 (Operations on the tuples)   We have two kinds of operations on tuples:
• the concatenation of two tuples is defined by the function such that

being the function which orders a tuple by increasing values.

• the addition of a tuple and an integer is defined by the function such that

Note that we allow infinite tuples, among other reasons, because they are needed later in order to compute the ordering relations described in Section 3.2.4 (in particular when the graph is cyclic).

The operations on the tuples have the following properties:

Property 7 (Properties of and )
The concatenation is commutative and associative.

For any tuple and any integers and , .

For any integer and any tuples and different from 17, .

In order to valuate the arguments, we split the set of the lengths of the branches leading to the argument in two subsets, one for the lengths of defence branches (even integers) and the other one for the lengths of attack branches (odd integers). This is captured by the notion of tupled values:

Definition 9 (Tupled value)   A tupled value is a pair of tuples with:
• is a tuple of even integers ordered by increased values; this tuple is called the even component of ;
• is a tuple of odd integers ordered by increased values; this tuple is called the odd component of .

Notation 2   denotes the subset of of all tupled values (so, , is a pair of tuples satisfying Definition 9).

Using this notion of tupled-values, we can define the computation process of the gradual valuation with tuples18 in the case of acyclic graphs.

Definition 10 (Valuation with tuples for acyclic graphs)   Let be an argumentation system without cycles. A valuation with tuples is a function such that:

If is a leaf then

.

If has direct attackers denoted by , ..., , ...then

with:

Notes: The choice of the value for the leaves is justified by the fact that the value of an argument memorises all the lengths of the branches leading to the argument. Using the same constraint, either or may be empty but not both19.

Note also that the set of the direct attackers of an argument can be infinite (this property will be used when we take into account an argumentation graph with cycles).

Example 6   On this graph, the valuation with tuples gives the following results:

 On this graph , we have: , , , , , .

Marie-Christine Lagasquie 2005-02-04