Desiderata for agent argumentation protocols

ABSTRACT

Designers of agent communications protocols are increasingly using formal dialogue games, adopted from argumentation theory, as the basis for structured agent interactions. We propose a set of desiderata for such protocols, drawing on recent research in agent interaction, on recent criteria for assessment of automated auction mechanisms and on elements of argumentation theory and political theory. We then assess several recent dialogue game protocols against our desiderata, revealing that each protocol has serious weaknesses. For comparison, we also assess the FIPA Agent Communications Language (ACL), thereby showing FIPA ACL to have limited applicability to dialogues not involving purchase negotiations. We conclude with a suggested checklist for designers of dialogue game protocols for agent interactions.

REFERENCES

• 1: R. Alexy. A theory of practical discourse. In S. Benhabib and F. Dallmayr, editors, The Communicative Ethics Controversy, pages 151--190. MIT Press, Cambridge, MA, USA, 1990. (Originally published in German in 1978.).
• 2: Modeling Dialogues Using Argumentation, Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000), p.31, July 10-12, 2000
• 3: L. Amgoud, S. Parsons, and N. Maudet. Arguments, dialogue, and negotiation. In W. Horn, editor, Proc. 14th European Conf. on AI (ECAI 2000), pages 338--342, Berlin, 2000. IOS Press.
• 4: T. J. M. Bench-Capon, T. Geldard, and P. H. Leng. A method for the computational modelling of dialectical argument with dialogue games. AI and Law, 8:233--254, 2000.
• 5: J. A. Blair. The limits of the dialogue model of argument. Argumentation, 12:325--339, 1998.
• 6: J. Bohman and W. Rehg, editors. Deliberative Democracy: Essays on Reason and Politics. MIT Press, Cambridge, MA, USA, 1997.
• 7: 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
• 8: F. Dignum, B. Dunin-Kȩplicz, and R. Verbrugge. Creating collective intention through dialogue. Logic Journal of the IGPL, 9(2):305--319, 2001.
• 9: F. H. van Eemeren and R. Grootendorst. Argumentation, Communication and Fallacies: A Pragma-Dialectical Perspective. LEA, Mahwah, NJ, USA, 1992.
• 10: D. J. Fiorino. Environmental risk and democratic process: a critical review. Columbia J. Environmental Law, 14:501--547, 1989.
• 11: FIPA. Communicative Act Library Specification. Technical Report XC00037H, Foundation for Intelligent Physical agents, 10 August 2001.
• 12: J. Forester. The Deliberative Practitioner: Encouraging Participatory Planning Processes. MIT Press, Cambridge, MA, USA, 1999.
• 13: Frank Guerin , Jeremy Pitt, Denotational semantics for agent communication language, Proceedings of the fifth international conference on Autonomous agents, p.497-504, May 2001, Montreal, Quebec, Canada [doi>10.1145/375735.376427]
• 14: C. L. Hamblin. Fallacies. Methuen, London, 1970.
• 15: D. Hitchcock. Some principles of rational mutual inquiry. In F. van Eemeren phet al., editor, Proc. 2nd Intern. Conf. Argumentation, pages 236--243, Amsterdam, 1991. SICSAT.
• 16: D. Hitchcock, P. McBurney, and S. Parsons. A framework for deliberation dialogues. In H. V. Hansen phet al., editor, Proc. 4th Conf. Ontario Soc. Study of Argumentation (OSSA-2001), Windsor, Canada, 2001.
• 17: J. Hulstijn. Dialogue Models for Inquiry and Transaction. PhD thesis, Universiteit Twente, Enschede, 2000.
• 18: E. C. W. Krabbe. The problem of retraction in critical discussion. Synthese, 127(1-2):141--159, 2001.
• 19: Sarit Kraus, Strategic negotiation in multiagent environments, MIT Press, Cambridge, MA, 2001
• 20: Yannis Labrou , Tim Finin , Yun Peng, Agent Communication Languages: The Current Landscape, IEEE Intelligent Systems, v.14 n.2, p.45-52, March 1999 [doi>10.1109/5254.757631]
• 21: G. L. Lilien, P. Kotler, and K. S. Moorthy. Marketing Models. Prentice-Hall, Englewood Cliffs, NJ, USA, 1992.
• 22: P. Lorenzen and K. Lorenz. Dialogische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, 1978.
• 23: J. D. MacKenzie. Question-begging in non-cumulative systems. Journal of Philosophical Logic, 8:117--133, 1979.
• 24: Peter McBurney , Simon Parsons, Representing Epistemic Uncertainty by Means of Dialectical Argumentation, Annals of Mathematics and Artificial Intelligence, v.32 n.1-4, p.125-169, August 2001 [doi>10.1023/A:1016757315265]
• 25: 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]
• 26: P. McBurney and S. Parsons. A geometric semantics for dialogue-game protocols for autonomous agent interactions. Electronic Notes in Theoretical Computer Science, 52(2), 2002. phIn press.
• 27: Peter Mcburney , Rogier M. Van Eijk , Simon Parsons , Leila Amgoud, A Dialogue Game Protocol for Agent Purchase Negotiations, Autonomous Agents and Multi-Agent Systems, v.7 n.3, p.235-273, November 2003 [doi>10.1023/A:1024787301515]
• 28: W. Rehg. The argumentation theorist in deliberative democracy. Controversia, 2002 (to appear).
• 29: Jeffrey S. Rosenschein , Gilad Zlotkin, Rules of encounter: designing conventions for automated negotiation among computers, MIT Press, Cambridge, MA, 1994
• 30: F. Sadri, F. Toni, and P. Torroni. Logic agents, dialogues and negotiation: an abductive approach. In M. Schroeder and K. Stathis, editors, Proc. Sym. Info Agents for E-Commerce, AISB-2001, York, UK, 2001. AISB.
• 31: Tuomas W. Sandholm, Distributed rational decision making, Multiagent systems: a modern approach to distributed artificial intelligence, MIT Press, Cambridge, MA, 1999
• 32: Carles Sierra , Nicholas R. Jennings , Pablo Noriega , Simon Parsons, A Framework for Argumentation-Based Negotiation, Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages, p.177-192, July 24-26, 1997
• 33: Munindar P. Singh, A Social Semantics for Agent Communication Languages, Issues in Agent Communication, p.31-45, January 2000
• 34: S. E. Toulmin. The Uses of Argument. Cambridge University Press, Cambridge, UK, 1958.
• 35: D. N. Walton and E. C. W. Krabbe. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. SUNY Press, Albany, NY, USA, 1995.
• 36: Michael Wooldridge, Semantic Issues in the Verification of Agent Communication Languages, Autonomous Agents and Multi-Agent Systems, v.3 n.1, p.9-31, March 2000 [doi>10.1023/A:1010090027213]

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, Standardization, Theory

Keywords:
FIPA, agent communication languages, argumentation, dialogue games, interaction protocols