Analysis of Dialogical Argumentation via Finite State Machines

Dialogical argumentation is an important cognitive activity by which agents exchange arguments and counterarguments as part of some process such as discussion, debate, persuasion and negotiation. Whilst numerous formal systems have been proposed, there is a lack of frameworks for implementing and evaluating these proposals. First-order executable logic has been proposed as a general framework for specifying and analysing dialogical argumentation. In this paper, we investigate how we can implement systems for dialogical argumentation using propositional executable logic. Our approach is to present and evaluate an algorithm that generates a finite state machine that reflects a propositional executable logic specification for a dialogical argumentation together with an initial state. We also consider how the finite state machines can be analysed, with the minimax strategy being used as an illustration of the kinds of empirical analysis that can be undertaken.

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

[2]  Anthony Hunter,et al.  An inquiry dialogue system , 2008, Autonomous Agents and Multi-Agent Systems.

[3]  Gerhard Brewka,et al.  Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus , 2001, J. Log. Comput..

[4]  Anthony Hunter,et al.  Elements of Argumentation , 2007, ECSQARU.

[5]  Peter McBurney,et al.  A Dialogue Game Protocol for Agent Purchase Negotiations , 2003, Autonomous Agents and Multi-Agent Systems.

[6]  Peter McBurney,et al.  Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents , 2002, J. Log. Lang. Inf..

[7]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[8]  Stefan Woltran,et al.  ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming , 2008, ICLP.

[9]  Paul-Amaury Matt,et al.  A Game-Theoretic Measure of Argument Strength for Abstract Argumentation , 2008, JELIA.

[10]  Michael Wooldridge,et al.  On the meta-logic of arguments , 2005, AAMAS '05.

[11]  Guillermo Ricardo Simari,et al.  Dialectical Abstract Argumentation: A Characterization of the Marking Criterion , 2009, IJCAI.

[12]  Nicolas Maudet,et al.  A Generic Framework For Dialogue Game Implementation , 1998 .

[13]  Anthony Hunter,et al.  Executable Logic for Dialogical Argumentation , 2012, ECAI.

[14]  Francesca Toni,et al.  Assumption-Based Argumentation Dialogues , 2011, IJCAI.

[15]  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..

[16]  Michael Wooldridge,et al.  Properties and Complexity of Some Formal Inter-agent Dialogues , 2003, J. Log. Comput..

[17]  Henry Prakken,et al.  Coherence and Flexibility in Dialogue Games for Argumentation , 2005, J. Log. Comput..

[18]  Barbara Dunin-Keplicz,et al.  Dialogue in Team Formation , 2000, Issues in Agent Communication.

[19]  Simon Parsons,et al.  Arguments, Dialogue, and Negotiation , 2000, ECAI.

[20]  C. L. Hamblin.  Mathematical models of dialogue1 , 2008 .

[21]  Nir Oren,et al.  Arguing Using Opponent Models , 2009, ArgMAS.

[22]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..