Abstract
We present a logic-based formalism for modeling of dialogues between intelligent and autonomous software agents, building on a theory of abstract dialogue games which we present. The formalism enables representation of complex dialogues as sequences of moves in a combination of dialogue games, and allows dialogues to be embedded inside one another. The formalism is computational and its modular nature enables different types of dialogues to be represented.
- 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. Google Scholar
- 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.Google Scholar
- 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.Google ScholarDigital Library
- Cohen, P.R. and Perrault, C.R., 1979, "Elements of a plan-based theory of speech acts," Cognitive Science 3, 177-212.Google ScholarDigital Library
- Dignum, F., Dunin-Keplicz, 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.Google Scholar
- Dignum, F., Dunin-Keplicz, B., and Verbrugge, R., 2001, "Creating collective intention through dialogue," Logic Journal of the IGPL 9, 305-319.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- Giunchiglia, F. and Serafini, L., 1994, "Multilanguage hierarchical logics (or: how we can do without modal logics)," Artificial Intelligence 65, 29-70. Google ScholarDigital Library
- 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. Google Scholar
- Grosz, B.J. and Sidner, C.L., 1986, "Attention, intentions, and the structure of discourse," Computational Linguistics 12, 175-204. Google ScholarDigital Library
- Hamblin, C.L., 1970, Fallacies, London: Methuen.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- Hulstijn, J., 2000, "Dialogue models for inquiry and transaction," Ph.D. Thesis, Universiteit Twente, Enschede, The Netherlands.Google Scholar
- 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. Google ScholarDigital Library
- Levin, J.A. and Moore, J.A., 1978, "Dialogue-games: Metacommunications structures for natural language interaction," Cognitive Science 1, 395-420.Google ScholarCross Ref
- Lilien, G.L., Kotler, P., and Moorthy, K.S., 1992, Marketing Models, Englewood Cliffs, NJ: Prentice-Hall.Google Scholar
- Lorenzen, P. and Lorenz, K., 1978, Dialogische Logik, Darmstadt: Wissenschaftliche Buchgesellschaft.Google Scholar
- MacKenzie, J.D., 1979, "Question-begging in non-cumulative systems," Journal of Philosophical Logic 8, 117-133.Google ScholarCross Ref
- 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.Google Scholar
- McBurney, P. and Parsons, S., 2001, "Representing epistemic uncertainty by means of dialectical argumentation," Annals of Mathematics and Artificial Intelligence 32, 125-169. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google Scholar
- 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.Google ScholarCross Ref
- Parikh, R., 1985, "The logic of games and its applications," Annals of Discrete Mathematics 24, 111-140.Google Scholar
- 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).Google Scholar
- Parsons, S., Sierra, C., and Jennings, N.R., 1998, "Agents that reason and negotiate by arguing," Journal of Logic and Computation 8, 261-292.Google ScholarCross Ref
- 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.Google Scholar
- 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.Google Scholar
- Prakken, H. and Sartor, G., 1998, "Modelling reasoning with precedents in a formal dialogue game," Artificial Intelligence and Law 6, 231-287.Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google Scholar
- Sierra, C., Jennings, N.R., Noriega, P., and Parsons, S., 1998, "A framework for argumentation-based 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. Google Scholar
- 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. Google ScholarDigital Library
- Walton, D.N. and Krabbe, E.C.W., 1995, Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning, Albany, NY: SUNY Press.Google Scholar
- Wooldridge, M., 2000, "Semantic issues in the verification of agent communication languages," Journal of Autonomous Agents and Multi-Agent Systems 3, 9-31. Google ScholarDigital Library
- 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.Google Scholar
Index Terms
- Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Recommendations
A formal framework for inter-agent dialogues
AGENTS '01: Proceedings of the fifth international conference on Autonomous agentsWe present a logic-based formalism for modeling of dialogues between intelligent and autonomous software agents, building on a theory of abstract dialogue games which we present. The formalism enables representation of complex dialogues as sequences of ...
A Dialogue Game Protocol for Agent Purchase Negotiations
We propose a dialogue game protocol for purchase negotiation dialogues which identifies appropriate speech acts, defines constraints on their utterances, and specifies the different sub-tasks agents need to perform in order to engage in dialogues ...
Negotiating Dialogue Games
Recently in the field of agent communication, many authors have adopted the view of interaction as a joint activity regulated by means of dialogue games. It is argued in particular that this approach should increase the flexibility of dialogues by ...
Comments