AIF+: Dialogue in the Argument Interchange Format

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.

[1]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[2]  H. Van Dyke Parunak,et al.  Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis , 1996 .

[3]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

[4]  Chris Reed,et al.  Representing dialogic argumentation , 2006, Knowl. Based Syst..

[5]  van Jan Albert Laar,et al.  Dissensus and the Search for Common Ground , 2007 .

[6]  Iyad Rahwan,et al.  Laying the foundations for a World Wide Argument Web , 2007, Artif. Intell..

[7]  E. Krabbe.  Games that agents play: A formal framework for dialogues between autonomous agents , 2001 .

[8]  D. Walton,et al.  Argumentation Schemes in Dialogue , 2007 .

[9]  David Stuart Robertson,et al.  A Lightweight Coordination Calculus for Agent Systems , 2004, DALT.

[10]  D. O’Keefe.  Two Concepts of Argument. , 1977 .

[11]  Feng Wan,et al.  Formalizing and achieving multiparty agreements via commitments , 2005, AAMAS '05.

[12]  Jarred McGinnis,et al.  Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format , 2007, ArgMAS.

[13]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[14]  Jim D. Mackenzie,et al.  Question-begging in non-cumulative systems , 1979, J. Philos. Log..

[15]  D. Walton,et al.  Commitment In Dialogue , 1995 .

[16]  Douglas Walton,et al.  Logical dialogue-games and fallacies , 1984 .

[17]  David Stuart Robertson,et al.  Multi-agent Coordination as Distributed Logic Programming , 2004, ICLP.

[18]  Guillermo Ricardo Simari,et al.  Towards an argument interchange format , 2006, The Knowledge Engineering Review.