Abstract
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 the agent is aware that both parties have ran out of options to resolve the dispute, and that both parties are aware of this. A dialogue game is formulated in which agents can offer information that may unintentionally result in irreconcilable, mutually inconsistent belief states. Based on the agents’ cognitive states, dialogue rules and cognitive rules are defined that allow agents to come to an agreement to disagree. These rules are implemented in the programming language Prolog, resulting in an intuitive design for multi-agent systems.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. Journal of Logic and Computation 13, 347–376 (2003)
Reed, C.A.: In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998, Paris, pp. 246–253. IEEE Press, Los Alamitos (1998)
Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning, Albany, NY, USA. SUNY Press (1995)
McBurney, P., Parsons, S.: Representing Epistemic Uncertainty by means of Dialectical Argumentation. Annals of Mathematics and Artificial Intelligence, Special Issue on Representations of Uncertainty 32, 125–169 (2001)
Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Agent theory for team formation by dialogue. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 141–156. Springer, Heidelberg (2001)
Prakken, H.: In: Ojeda-Aciego, M., de Guzman, M.I.P., Brewka, G., Pereira, L.M. (eds.) Proceedings of the 7th European Workshop on Logic for Artificial Intelligence (JELIA 2000), Berlin, Germany. Lecture Notes in AI, vol. 1919, pp. 224–238. Springer, Heidelberg (2000)
McBurney, P., van Eijk, R.M., Parsons, S., Amgoud, L.: Journal of Autonomous Agents and Multi-Agent Systems. 7, 232–273 (2003)
Sadri, F., Toni, F., Rorroni, P.: Logic agents, dialogues and negotiation: and abductive approach. In: Schroeder, M., Stathis, K. (eds.) Proceedings of the Symposium on Information Agents for E-Commerce, Artificial Intelligence and the Simulation of Behaviour Conference (AISB 2001), York, UK (2001)
Hitchcock, D., McBurney, P., Parsons, S.: A framework for deliberation dialogues. In: Hansen, H.V., Tindale, C.W., Blair, J.A., Johnson, R.H. (eds.) Proceedings of the Fourth Biennial Conference on the Ontario Society of the Study of Argumentation (OSSA 2001), Windsor, Ontario, Canada (2001)
McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information 11, 315–334 (2001); Special Issue on Logic and Games
Dignum, F., Dunin-Keplicz, B., Verbrugge, R.: Creating collective intentions through dialogue. Logic Journal of the IGPL 9, 305–319 (2001)
Hulstijn, J.: Dialogue Models for Inquiry and Transaction. PhD thesis, Universiteit Twente, Enschede, The Netherlands (2000)
Beun, R.J.: On the Generation of Coherent Dialogue: A Computational Approach. Pragmatics & Cognition 9, 37–68 (2001)
Lebbink, H.J., Witteman, C., Meyer, J.J.: Dialogue Games for Inconsistent and Biased Information. Electronic Lecture Notes of Theoretical Computer Science 52 (2003)
Labrou, Y.: Standardizing agent communication. In: Luck, M., Mařík, V., Štěpánková, O., Trappl, R. (eds.) ACAI 2001 and EASSS 2001. LNCS (LNAI), vol. 2086, pp. 74–98. Springer, Heidelberg (2001)
FIPA: Communicative act library specification. standard sc00037j. Technical report, Foundation for Intelligent Physical Agents (2002)
Searle, J.R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
Austin, J.L.: How To Do Things with Words. Harvard University Press, Cambridge Mass (1962)
Audi, R.: Epistemology: a contemporary introduction to the theory of knowledge. Routledge (1998)
Latour, B.: Pandora’s Hope: Essays on the Reality of Science Studies. Harvard University Press, Cambridge (1999)
Dummett, M.: What is a theory of meaning? (ii). In: The Seas of Language. Clarendon, Oxford, UK, pp. 34–93 (1993)
Wright, C.: Strict finitism. In: Realism, Meaning and Truth, pp. 107–175. Blackwell, Oxford (1993)
Coffa, J.: The Semantic Tradition from Kant to Carnap: To the Vienna Station. Cambridge University Press, Cambridge (1991)
Ellenbogen, S.: Wittgenstein’s Account of Truth. SUNY series in philosophy. State University of New York Press (2003)
Wittgenstein, L.: Philosophical Investigation. Blackwell Publishers, UK (2001), first published (1953)
Ginet, C.: Deciding to believe. In: Steup, M. (ed.) Knowledge, Truth, and Duty: Essays on Epistemic Justification, Responsibility, and Virtue. Oxford University Press, Oxford (2001)
Rescher, N.: Many-valued Logic. McGraw-Hill, New York (1969)
Butler, J.T.: Multiple-Valued Logic in VLSI. IEEE Computer Society Press, Los Alamitos (1991)
Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)
Ginsberg, M.L.: Multiv alued Logics: A Uniform Approach to Reasoning in Artificial Intelligence. Computational Intelligence 4, 265–316 (1988)
Fitting, M.: Bilattices in logic programming. In: Epstein, G. (ed.) The Twentieth International Symposium on Multiple-Valued Logic, pp. 238–246. IEEE, Los Alamitos (1990)
Belnap Jr., N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8–37. D. Reidel, Dordrecht (1977)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole Pub Co (2000)
Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Speech Acts. Syntax and Semantics, vol. 11, pp. 41–58. Academic Press, New York (1975)
Wielemaker, J.: Swi-prolog home page (2004), http://www.swi-prolog.org/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lebbink, HJ., Witteman, C., Meyer, JJ.C. (2005). A Dialogue Game to Offer an Agreement to Disagree. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2004. Lecture Notes in Computer Science(), vol 3346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32260-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-32260-3_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24559-9
Online ISBN: 978-3-540-32260-3
eBook Packages: Computer ScienceComputer Science (R0)