Formal Dialectic Specification

Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for the computational implementation of such a system of argumentative dialogue. This paper introduces a formal framework for the specification of Hamblin-type systems that has a range of benefits for theoretical work in the area including: yielding concise sets of clearly defined moves; allowing the moves of both existing and new games to be specified in a consistent manner; facilitating the use of dialectical shifts and dialogue embeddings independent of ruleset; facilitating the investigation of the coupling between sets of moves and dialogue situations; defining the attributes possessed by the general Hamblin-style formal dialectical system and thereby enabling the systematic exploration of the types of moves that these systems might encompass; and facilitating the rapid development of software applications that use formal dialectic to regulate communications.

[1]  Barbara Dunin-Keplicz,et al.  Agent theory for team formation by dialogue. W: C. Castelfranchi and Y. Lesperance (eds.) Intelligent Agents VII: Agent Theories, Architectures and Languages. , 2001 .

[2]  Simon Parsons,et al.  Agent Dialogues with Conflicting Preferences , 2001, ATAL.

[3]  Magnus Boman,et al.  Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings , 1997 .

[4]  Munindar P. Singh.  Commitments Among Autonomous Agents in Information-Rich Environments , 1997, MAAMAW.

[5]  N. Rescher,et al.  Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge. , 1979 .

[6]  F. H. Eemeren,et al.  Argumentation, Communication, and Fallacies: A Pragma-dialectical Perspective , 1992 .

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

[8]  O. Oha.  Fallacies , 2005 .

[9]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

[10]  Simon Parsons,et al.  Modelling dialogues using argumentation , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[11]  Brahim Chaib-draa,et al.  Request for Action Reconsidered as a Dialogue Game Based on Commitments , 2003, Communication in Multiagent Systems.

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

[13]  Chris Reed,et al.  Dialogue frames in agent communication , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[14]  Nicolas Maudet,et al.  Dialogue games as dialogue models for interacting with, and via, computers , 2001 .

[15]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[16]  Barbara Dunin-Keplicz,et al.  Agent Theory for Team Formation by Dialogue , 2000, ATAL.

[17]  Trevor J. M. Bench-Capon,et al.  A method for the computational modelling of dialectical argument with dialogue games , 2000, Artificial Intelligence and Law.

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

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

[20]  Nicholas R. Jennings,et al.  Negotiating the Semantics of Agent Communication Languages , 2002, Comput. Intell..

[21]  Frank Dignum.  Advances in Agent Communication , 2003, Lecture Notes in Computer Science.

[22]  Michael Wooldridge,et al.  Game theoretic and decision theoretic agents , 2000, The Knowledge Engineering Review.

[23]  David Moore,et al.  A Conversational Agent System as a Test-Bed to Study the Philosophical Model "DC , 2003 .

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

[25]  D. Moore,et al.  Computational Uses of PhilosophicalDialogue Theories , 1996 .

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

[27]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[28]  S. Parsons,et al.  A Framework for Deliberation Dialogues , 2001 .

[29]  Barbara Dunin-Keplicz,et al.  Creating Collective Intention through Dialogue , 2001, Log. J. IGPL.

[30]  Roderic A. Girle.  Knowledge organized and disorganized , 1994 .

[31]  所 真理雄,et al.  ICMAS-96 : proceedings Second International Conference on Multi-Agent Systems, December 10-13, 1996, Kyoto, Japan , 1996 .

[32]  Roderic A. Girle,et al.  Commands in Dialogue Logic , 1996, FAPR.

[33]  Peter McBurney,et al.  The Posit Spaces Protocol for Multi-agent Negotiation , 2003, Workshop on Agent Communication Languages.

[34]  Douglas Walton,et al.  Arresting circles in formal dialogues , 1978, J. Philos. Log..

[35]  Nicholas Rescher,et al.  Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge , 1977 .