Common use of An argument Clause in Contracts

An argument. y AF rebuts an argument x AF if x and y are ar- guments for the same mapping but with different signs, e.g. if x and y are in the form x = ⟨G1, m, +⟩ and y = ⟨G2, m, −⟩, x counter-argues y and vice-versa. ¬ ¬ → Moreover, if an argument x supports an argument y, they form the argument (x y) that attacks an argument y and is attacked by argument x. When the set of such arguments and counter arguments have been produced, it is necessary for the agents to consider which of them they should accept. Given an argu- ment framework we can use definitions from [7] to define acceptability of an argument. ∈ ∈ ∈ ∈ ∈ ⟨ ⟩ ∈ ⟨ ⟩

An argument. y AF rebuts an argument x AF if x and y are ar- guments for the same mapping but with different signs, e.g. if x and y are in the form x = ⟨G1(G1, m, +⟩ ) and y = ⟨G2(G2, m, −⟩−), x counter-argues y and vice-versa. ¬ ¬ → Moreover, if an argument x supports an argument y, they form the argument (x y) that attacks an argument y and is attacked by argument x. When the set of such arguments and counter arguments have been produced, it is necessary nec- xxxxxx for the agents to consider which of them they should accept. Given an argu- ment argument framework we can use definitions from [7] to define acceptability of an argument. ∈ ∈ ∈ ∈ ∈ ⟨ ⟩ ∈ ⟨ ⟩( ) ∈

An argument. y AF rebuts an argument x AF if x and y are ar- guments for the same mapping but with different signs, e.g. if x and y are in the form x = ⟨G1, m, +⟩ and y = ⟨G2, m, −⟩, x counter-argues y and vice-versa. ¬ ¬ → Moreover, if an argument x supports an argument y, they form the argument (x y) that attacks an argument y and is attacked by argument x. When the set of such arguments and counter arguments have been produced, it is necessary nec- xxxxxx for the agents to consider which of them they should accept. Given an argu- ment argument framework we can use definitions from [7] to define acceptability of an argument. ∈ ∈ ∈ ∈ ∈ ⟨ ⟩ ∈ ⟨ ⟩