A Dialogue Game to Offer an Agreement to Disagree

This paper proposes a dialogue game in which coherent conversational sequences at the speech act level are described of agents that become aware they have an irresolvable disagreement and settle the dispute by agreeing to disagree. A disagreement is irresolvable from an agentýs perspective if both agents are aware that they both ran out of options to resolve the situation. A dialogue game is formulated in which agents can offer information that may result in non-reconcilable, mutually inconsistent belief states. An agentýs cognitive state consists of mental constructs, and given on these constructs, epistemic operators are defined which are used to define dialogue rules and a cognitive rule that allow an agent to agree to disagree.

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

[2]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[3]  Melvin Fitting,et al.  Bilattices in logic programming , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.

[4]  Joris Hulstijn,et al.  Dialogue Models for Inquiry and Transaction , 2000 .

[5]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[6]  Michael Luck,et al.  Multi-Agent Systems and Applications , 2001, Lecture Notes in Computer Science.

[7]  Robbert-Jan Beun,et al.  On the Generation of Coherent Dialogue: A Computational Approach , 2001 .

[8]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[9]  Peter McBurney,et al.  A formal framework for inter-agent dialogues , 2001, AGENTS '01.

[10]  R. Audi.  Epistemology: A Contemporary Introduction to the Theory of Knowledge , 1997 .

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

[12]  H. Grice.  Logic and conversation , 1975 .

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

[14]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[15]  N. Rescher.  Many Valued Logic , 1969 .

[16]  Dov M. Gabbay,et al.  More on Non-Cooperation in Dialogue Logic , 2001, Log. J. IGPL.

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

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

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

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

[21]  John-Jules Ch. Meyer,et al.  Dialogue Games for Inconsistent and Biased Information , 2004, LCMAS.

[22]  Bernard Williams,et al.  Problems of the Self: Deciding to believe , 1973 .

[23]  J. Austin.  How to do things with words , 1962 .

[24]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[25]  B. Latour.  Pandora's Hope: Essays on the Reality of Science Studies , 1999 .

[26]  J. Alberto Coffa,et al.  The semantic tradition from Kant to Carnap: The semantic tradition , 1991 .

[27]  Stuart C. Shapiro.  Review of Knowledge representation: logical, philosophical, and computational foundations by John F. Sowa. Brooks/Cole 2000. , 2001 .

[28]  Carl Ginet,et al.  Deciding to Believe , 2001 .

[29]  M. Dummett.  What Is a Theory of Meaning? (II) , 1996 .

[30]  Sara Ellenbogen,et al.  Wittgenstein's Account of Truth , 2003 .

[31]  Yannis Labrou,et al.  Standardizing Agent Communication , 2001, EASSS.

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

[33]  Peter McBurney,et al.  Representing Epistemic Uncertainty by Means of Dialectical Argumentation , 2001, Annals of Mathematics and Artificial Intelligence.