Assumption-Based Argumentation for Communicating Agents.
Adil Hussain, Francesca Toni · 2009
Assumption-Based Argumentation (ABA), and to a large ex-tent argumentation in general, up to now has been considered in a single-agent setting. ABA, in particular, is such that an agent engages in a dispute (dialectic proof procedure) with it-self (an imaginary opponent) to decide whether a claim is ac-ceptable according to some acceptability criteria. We present in this paper a generalised proof procedure for the admissibil-ity semantics of ABA, which is still a dispute by an agent with itself but such that the outcome can be readily communicated to other agents. This is important for applications in multi-agent systems wherein agents may differ in the knowledge they have and may need to communicate their arguments be-tween one another to convince each other of the acceptability or not of a given claim. 1.