Assumption-based argumentation dialogues

Abstract

We propose a formal model for argumentation-based dialogues between agents, using assumption-based argumentation (ABA). The model is given in terms of ABA-specific utterances, trees drawn from dialogues and legal-move and outcome functions. We prove a formal connection between these dialogues and argumentation semantics. We illustrate persuasion as an application of the dialogue model.