AIF+: Dialogue in the Argument Interchange Format

Authors:
Chris Reed;Simon Wells;Joseph Devereux;Glenn Rowe
Affiliations:
School of Computing, University of Dundee, Dundee DD1 4HN, UK;School of Computing, University of Dundee, Dundee DD1 4HN, UK;School of Computing, University of Dundee, Dundee DD1 4HN, UK;School of Computing, University of Dundee, Dundee DD1 4HN, UK
Venue:
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Year:
2008

Citing 9
Cited 5

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents

Journal of Logic, Language and Information
Formalizing and achieving multiparty agreements via commitments

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Towards an argument interchange format

The Knowledge Engineering Review
Laying the foundations for a World Wide Argument Web

Artificial Intelligence
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver

IEEE Transactions on Computers
Representing dialogic argumentation

Knowledge-Based Systems
Towards characterising argumentation based dialogue in the argument interchange format

ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
A lightweight coordination calculus for agent systems

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

A formal analysis of the AIF in terms of the ASPIC framework

Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Building arguments with argumentation: the role of illocutionary force in computational models of argument

Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Deliberation dialogues for reasoning about safety critical actions

Autonomous Agents and Multi-Agent Systems
Using argument strength for building dialectical bonsai

Annals of Mathematics and Artificial Intelligence
A review of argumentation for the Social Semantic Web

Semantic Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper extends the Argument Interchange Format to enable it to represent dialogic argumentation. One of the challenges is to tie together the rules expressed in dialogue protocols with the inferential relations between premises and conclusions. The extensions are founded upon two important analogies which minimise the extra ontological machinery required. First, locutions in a dialogue are analogous to AIF I-nodes which capture propositional data. Second, steps between locutions are analogous to AIF S-nodes which capture inferential movement. This paper shows how these two analogies combine to allow both dialogue protocols and dialogue histories to be represented alongside monologic arguments in a single coherent system.