An analysis of formal inter-agent dialogues

ABSTRACT

This paper studies argumentation-based dialogues between agents. It defines a set of locutions by which agents can trade arguments, a set of agent attitudes which relate what arguments an agent can build and what locutions it can make, and a set of protocols by which dialogues can be carried out. The paper then considers some properties of dialogues under the protocols, in particular termination and complexity, and shows how these relate to the agent attitudes.

REFERENCES

• 1: L. Amgoud and C. Cayrol. On the acceptability of arguments in preference-based argumentation framework. In Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence, pages 1--7, 1998.
• 2: Modeling Dialogues Using Argumentation, Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000), p.31, July 10-12, 2000
• 3: Leila Amgoud , Simon Parsons, Agent Dialogues with Conflicting Preferences, Revised Papers from the 8th International Workshop on Intelligent Agents VIII, p.190-205, August 01-03, 2001
• 4: Frank Dignum , Barbara Dunin-Keplicz , Rineke Verbrugge, Agent Theory for Team Formation by Dialogue, Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages, p.150-166, July 07-09, 2000
• 5: Phan Minh Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence, v.77 n.2, p.321-357, Sept. 1995 [doi>10.1016/0004-3702(94)00041-X]
• 6: Thomas F. Gordon, The Pleadings Game: an exercise in computational dialectics, Artificial Intelligence and Law, v.2 n.4, p.239-292, 1993/1994 [doi>10.1007/BF00871972]
• 7: B. J. Grosz and S. Kraus. The evolution of sharedplans. In M. J. Wooldridge and A. Rao, editors, Foundations of Rational Agency, volume 14 of Applied Logic. Kluwer, The Netherlands, 1999.
• 8: Barbara J. Grosz , Candace L. Sidner, Attention, intentions, and the structure of discourse, Computational Linguistics, v.12 n.3, p.175-204, July-September 1986
• 9: David S. Johnson, A catalog of complexity classes, Handbook of theoretical computer science (vol. A): algorithms and complexity, MIT Press, Cambridge, MA, 1991
• 10: N. Maudet and F. Evrard. A generic framework for dialogue game implementation. In Proceedings of the 2nd Workshop on Formal Semantics and Pragmatics of Dialogue, University of Twente, The Netherlands, May 1998.
• 11: Peter McBurney , Simon Parsons, Risk Agoras: Dialectical Argumentation for Scientific Reasoning, Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence, p.371-379, June 30-July 03, 2000
• 12: Peter McBurney , Simon Parsons, Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents, Journal of Logic, Language and Information, v.11 n.3, p.315-334, Summer 2002 [doi>10.1023/A:1015586128739]
• 13: S. Parsons and P. Giorgini. An approach to using degrees of belief in BDI agents. In B. Bouchon-Meunier, R. R. Yager, and L. A. Zadeh, editors, Information, Uncertainty, Fusion. Kluwer, Dordrecht, 1999.
• 14: S. Parsons and N. R. Jennings. Negotiation through argumentation -- a preliminary report. In Proceedings of Second International Conference on Multi-Agent Systems, pages 267--274, 1996.
• 15: S. Parsons, C. Sierra, and N. R. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3):261--292, 1998.
• 16: H. Prakken. Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese, 127:187--219, 2001.
• 17: C. Reed, Dialogue Frames in Agent Communication, Proceedings of the 3rd International Conference on Multi Agent Systems, p.246, July 03-07, 1998
• 18: Michael Schroeder , Daniel A. Plewe , Andreas Raab, Ultima ratio (poster): should Hamlet kill Claudius?, Proceedings of the second international conference on Autonomous agents, p.467-468, May 10-13, 1998, Minneapolis, Minnesota, United States [doi>10.1145/280765.280906]
• 19: K. Sycara. Argumentation: Planning other agents' plans. In Proceedings of the Eleventh Joint Conference on Artificial Intelligence, pages 517--523, 1989.
• 20: D. N. Walton and E. C. W. Krabbe. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany, NY, 1995.
• 21: M. Wooldridge and S. Parsons. Languages for negotiation. In W. Horn, editor, Proceedings of the Fourteenth European Conference on Artificial Intelligence, pages 393--397, Berlin, Germany, 2000. IOS Press.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Coherence and coordination

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

General Terms:
Languages, Theory

Keywords:
agent communication, argumentation, dialogue games