Assumption-Based Argumentation for Communicating Agents

Assumption-Based Argumentation (ABA), and to a large extent 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 itself (an imaginary opponent) to decide whether a claim is acceptable according to some acceptability criteria. We present in this paper a generalised proof procedure for the admissibility 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 between one another to convince each other of the acceptability or not of a given claim.