Abstract
We present a logic-based formalism for modeling ofdialogues between intelligent and autonomous software agents,building on a theory of abstract dialogue games which we present.The formalism enables representation of complex dialogues assequences of moves in a combination of dialogue games, and allowsdialogues to be embedded inside one another. The formalism iscomputational and its modular nature enables different types ofdialogues to be represented.
Similar content being viewed by others
References
Amgoud, L., Maudet, N., and Parsons, S., 2000, “Modelling dialogues using argumentation,” pp. 31–38 in Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000), Boston, MA, E. Durfee, ed., New York: IEEE Press.
Bench-Capon, T.J.M., Dunne, P.E., and Leng, P.H., 1991, “Interacting with knowledge-based systems through dialogue games,” pp. 123–140 in Proceedings of the Eleventh International Conference on Expert Systems and Applications, Avignon, France.
Bench-Capon, T.J.M., Geldard, T., and Leng, P.H., 2000, “A method for the computational modelling of dialectical argument with dialogue games,” Artificial Intelligence and Law 8, 233–254.
Cohen, P.R. and Perrault, C.R., 1979, “Elements of a plan-based theory of speech acts,” Cognitive Science 3, 177–212.
Dignum, F., Dunin-Kęplicz, B., and Verbrugge, R., 2000, “Agent theory for team formation by dialogue,” pp. 141–156 in Pre-Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), Boston, MA, C. Castelfranchi and Y. Lespérance, eds., ATAL.
Dignum, F., Dunin-Kęplicz, B., and Verbrugge, R., 2001, “Creating collective intention through dialogue,” Logic Journal of the IGPL 9, 305–319.
Girle, R., 1996, “Commands in dialogue logic,” pp. 246–260 in Practical Reasoning: Proceedings of the First International Conference (FAPR 1996), D.M. Gabbay and H.J. Ohlbach, eds., Berlin: Springer-Verlag.
Giunchiglia, F. and Serafini, L., 1994, “Multilanguage hierarchical logics (or: how we can do without modal logics),” Artificial Intelligence 65, 29–70.
Gordon, T.F. and Karacapilidis, N., 1997, “The Zeno argumentation framework,” pp. 10–18 in Proceedings of the Sixth International Conference on AI and Law, New York: ACM Press.
Grosz, B.J. and Sidner, C.L., 1986, “Attention, intentions, and the structure of discourse,” Computational Linguistics 12, 175–204.
Hamblin, C.L., 1970, Fallacies, London: Methuen.
Harel, D., 1984, “Dynamic logic,” pp. 497–604 in Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, D. Gabbay and F. Guenther, eds., Dordrecht: D. Reidel.
Hitchcock, D., 1991, “Some principles of rational mutual inquiry,” pp. 236–243 in Proceedings of the Second International Conference on Argumentation, Amsterdam, The Netherlands, F. Eemeren, R. Grootendorst, J.A. Blair, and C.A. Willard, eds., Amsterdam: SICSAT, International Society for the Study of Argumentation.
Hitchcock, D., McBurney, P., and Parsons, S., 2001, “A framework for deliberation dialogues,” in Proceedings of the Fourth Biennial Conference of the Ontario Society for the Study of Argumentation (OSSA 2001), Windsor, Ontario, Canada, H.V. Hansen, C.W. Tindale, J.A. Blair, and R.H. Johnson, eds., Windsor,Ontario: OSSA.
Hulstijn, J., 2000, “Dialogue models for inquiry and transaction,” Ph.D. Thesis, Universiteit Twente, Enschede, The Netherlands.
Jennings, N.R., Sycara, K.P., and Wooldridge, M., 1998, “A roadmap of agent research and development,” Journal of Autonomous Agents and Multi-Agent Systems 1, 7–36.
Levin, J.A. and Moore, J.A., 1978, “Dialogue-games: Metacommunications structures for natural language interaction,” Cognitive Science 1, 395–420.
Lilien, G.L., Kotler, P., and Moorthy, K.S., 1992, Marketing Models, Englewood Cliffs, NJ: Prentice-Hall.
Lorenzen, P. and Lorenz, K., 1978, Dialogische Logik, Darmstadt: Wissenschaftliche Buchgesellschaft.
MacKenzie, J.D., 1979, “Question-begging in non-cumulative systems,” Journal of Philosophical Logic 8, 117–133.
Maudet, N. and Evrard, F., 1998, “A generic framework for dialogue game implementation,” in Proceedings of the Second Workshop on Formal Semantics and Pragmatics of Dialog, Centre for Telematics and Information Technology, Universiteit Twente, The Netherlands.
McBurney, P. and Parsons, S., 2001, “Representing epistemic uncertainty by means of dialectical argumentation,” Annals of Mathematics and Artificial Intelligence 32, 125–169.
McBurney, P., van Eijk, R., Parsons, S., and Amgoud, L., 2002, “A dialogue-game protocol for agent purchase negotiations,” Journal of Autonomous Agents and Multi-Agent Systems, in press.
Noriega, P. and Sierra, C., 1997, “Towards layered dialogical agents,” pp. 173–188 in Intelligent Agents III: Agent Theories, Architectures, and Languages, J.P. Muller, M.J. Wooldridge, and N.R. Jennings, eds., Berlin: Springer-Verlag.
Panzarasa, P., Jennings, N.R., and Norman, T.J., 2002, “Formalizing collaborative decision-making and practical reasoning in multi-agent systems,” Journal of Logic and Computation 12, in press.
Parikh, R., 1985, “The logic of games and its applications,” Annals of Discrete Mathematics 24, 111–140.
Parsons, S. and Jennings, N.R., 1996, “Negotiation through argumentation — A preliminary report,” pp. 267–274 in Proceedings of the Second International Conference on Multi-Agent Systems (ICMAS 1996).
Parsons, S., Sierra, C., and Jennings, N.R., 1998, “Agents that reason and negotiate by arguing,” Journal of Logic and Computation 8, 261–292.
Pauly, M., 2000, “Formalizing the dynamics of information,” in Proceedings of the Seventh CSLI Workshop on Logic, Language and Computation, M. Faller, S. Kaufmann, and M. Pauly, eds., Stanford, CA: CSLI Publications.
Prakken, H., 2000, “On dialogue systems with speech acts, arguments, and counterarguments,” pp. 224–238 in Proceedings of the Seventh European Workshop on Logic in Artificial Intelligence (JELIA 2000), M. Ojeda-Aciego, M.I.P. de Guzman, G. Brewka, and L.M. Pereira, eds., Berlin: Springer-Verlag.
Prakken, H. and Sartor, G., 1998, “Modelling reasoning with precedents in a formal dialogue game,” Artificial Intelligence and Law 6, 231–287. 334 P. MCBURNEY AND S. PARSONS
Reed, C., 1998, “Dialogue frames in agent communications,” pp. 246–253 in Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS-98), Y. Demazeau, ed., New York: IEEE Press.
Sadri, F., Toni, F., and Torroni, P., 2001, “Logic agents, dialogues and negotiation: an abductive approach,” in Proceedings of the Symposium on Information Agents for E-Commerce, Artificial Intelligence and the Simulation of Behaviour Conference (AISB-2001), M. Schroeder and K. Stathis, eds., York, U.K.: AISB.
Sierra, C., Jennings, N.R., Noriega, P., and Parsons, S., 1998, “A framework for argumentationbased negotiations,” pp. 177–192 in Intelligent Agents IV: Agent Theories, Architectures, and Languages, M.P. Singh, A. Rao, and M.J. Wooldridge, eds., Berlin: Springer-Verlag.
Singh, M.P., 2000, “A social semantics for agent communications languages,” in Proceedings of the IJCAI-99 Workshop on Agent Communication Languages, F. Dignum, B. Chaib-draa, and H. Weigand, eds., Berlin: Springer-Verlag.
Walton, D.N. and Krabbe, E.C.W., 1995, Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning, Albany, NY: SUNY Press.
Wooldridge, M., 2000, “Semantic issues in the verification of agent communication languages,” Journal of Autonomous Agents and Multi-Agent Systems 3, 9–31.
Wooldridge, M. and Parsons, S., 2000, “Languages for negotiation,” pp. 393–397 in Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI 2000), W. Horn, ed., Berlin: IOS Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
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 (2002). https://doi.org/10.1023/A:1015586128739
Issue Date:
DOI: https://doi.org/10.1023/A:1015586128739