Argumentation and Artifact for Dialog Support

Intelligent and autonomous software agents may engage in dialog and argument with one another, and much recent research has considered protocols, architectures and frameworks for this. Just as with human dialogs, such agent dialogs may be facilitated by the presence of a mediator, able to summarize different positions, identify common assumptions and inconsistencies, and make appropriate interventions in the dialog. Drawing on the theory of co-ordination artifacts in multi-agent systems, we propose a formal framework to explicitly represent the functions of a mediator artifact. We then describe an implementation of this framework using the TuCSoN coordination infrastructure for MAS, where the mediator artifact is realized by a tuple centre —a programmable tuple space.