Argumentation Theory) Sample Clauses

Argumentation Theory). An argumentation theory AT is a 2-tuple AT = ⟨AS, K⟩, where AS is an argumentation system and K is a knowledge base. In ASPIC+ an argument A is either a premise of a knowledge base K, or it is con- structed by applying strict and defeasible inference rules from a set of inference rules R to the premises of a knowledge base K (see the ASPIC+ argument A in Figure 2.1). Addition- ally, given an argument A, Xxxx(A) return’s A’s premises (e.g., in Figure 2.1 Prem(A) = {a, b, e, q, s, t, w}), Conc(A) returns A’s conclusion (e.g., in Figure 2.1 Conc(A) = x),

Argumentation Theory). ‌ In this section we present our model of team persuasion games. We begin by briefly reviewing the relevant aspects of abstract argumentation [25].