Skip to main content
SpringerLink
Log in

When Are Two Protocols the Same?

  • Chapter
  • First Online:
Communication in Multiagent Systems

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2650))

Abstract

A number of protocols based on the formal dialogue games of philosophy have recently been proposed for interactions between autonomous agents. Several of these proposals purport to assist agents engaged in the same types of interactions, such as persuasions and negotiations, and are superficially different. How are we to determine whether or not these proposals are substantially different? This chapter considers this question and explores several alternative definitions of equivalence of protocols.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Amgoud, L., Maudet, N., Parsons, S.: Modelling dialogues using argumentation. In: Durfee, E. (ed.) Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000), Boston, MA, USA, pp. 31–38. IEEE Press, Los Alamitos (2000)

    Chapter  Google Scholar 

  2. Amgoud, L., Parsons, S.: Agent dialogues with conflicting preferences. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 1–15. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  3. Amgoud, L., Parsons, S.: Les dialogues entre agents avec des préférences conflictuelles. In: Chaib-draa, B., Enjalbert, P. (eds.) Proceedings of the 1 eres Journées Francophones des Modèles Formels de l’Interaction, pp. 3–14 (2001)

    Google Scholar 

  4. Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue, and negotiation. In: Horn, W. (ed.) Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI 2000), Berlin, Germany, pp. 338–342. IOS Press, Amsterdam (2000)

    Google Scholar 

  5. Aristotle: Topics. Clarendon Press, Oxford (1928); W. D. Ross, (ed.)

    Google Scholar 

  6. Barbuceanu, M., Fox, M.S.: COOL: A language for describing co-ordination in multi agent systems. In: Lesser, V. (ed.) Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995), pp. 17–24. MIT Press, Cambridge (1995)

    Google Scholar 

  7. Bench-Capon, T.J.M., Dunne, P.E., Leng, P.H.: Interacting with knowledge-based systems through dialogue games. In: Proceedings of the Eleventh International Conference on Expert Systems and Applications, Avignon, France, pp. 123–140 (1991)

    Google Scholar 

  8. Dignum, F.P.M., 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. 150–166. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  9. Dignum, F., Dunin-Kęplicz, B., Verbrugge, R.: Creating collective intention through dialogue. Logic Journal of the IGPL 9(2), 305–319 (2001)

    Article  Google Scholar 

  10. Finkelstein, A., Fuks, H.: Multi-party specification. In: Proceedings of the Fifth International Workshop on Software Specification and Design, Pittsburgh, PA, USA, ACM Sigsoft Engineering Notes (1989)

    Google Scholar 

  11. FIPA. Communicative Act Library Specification. Technical Report XC00037H, Foundation for Intelligent Physical Agents, August 10 (2001)

    Google Scholar 

  12. Greaves, M., Holmback, H., Bradshaw, J.: What is a conversation policy? In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS (LNAI), vol. 1916, pp. 118–131. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  13. Gunter, C.A.: Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge (1992)

    MATH  Google Scholar 

  14. Habermas, J.: The Theory of Communicative Action. Reason and the Rationalization of Society, vol. 1. Heinemann, London (1984); Translation by T. McCarthy of: Theorie des Kommunikativen Handelns, Band I, Handlungsrationalitat und gesellschaftliche Rationalisierung. Suhrkamp, Frankfurt, Germany (1981)

    Google Scholar 

  15. Hamblin, C.L.: Fallacies. Methuen, London (1970)

    Google Scholar 

  16. 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 of the Ontario Society for Study of Argumentation (OSSA 2001), Windsor, Ontario, Canada, OSSA (2001)

    Google Scholar 

  17. McBurney, P., Parsons, S.: Chance discovery using dialectical argumentation. In: Terano, T., Nishida, T., Namatame, A., Tsumoto, S., Ohsawa, Y., Washio, T. (eds.) JSAI-WS 2001. LNCS (LNAI), vol. 2253, pp. 414–424. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  18. McBurney, P., Parsons, S.: Representing epistemic uncertainty by means of dialectical argumentation. Annals of Mathematics and AI 32(1-4), 125–169 (2001)

    MathSciNet  MATH  Google Scholar 

  19. McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information 11(3), 315–334 (2002)

    Article  MathSciNet  Google Scholar 

  20. McBurney, P., Parsons, S.: Dialogue game protocols. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol. 2650, pp. 269–283. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  21. McBurney, P., Parsons, S., Wooldridge, M.: Desiderata for agent argumentation protocols. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, pp. 402–409. ACM Press, New York (2002)

    Chapter  Google Scholar 

  22. McBurney, P., van Eijk, R., Parsons, S., Amgoud, L.: A dialogue-game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems (2003) (in press)

    Google Scholar 

  23. Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall, Hemel Hempstead (1989)

    MATH  Google Scholar 

  24. Prakken, H.: On dialogue systems with speech acts, arguments, and counterarguments. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, pp. 224–238. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  25. Pratt, V.R.: Transition and cancellation in concurrency and branching time. Mathematical Structures in Computer Science (2002) (forthcoming)

    Google Scholar 

  26. Raiman, O.: Order of magnitude reasoning. In: Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI 1986), San Mateo, CA, USA, pp. 100–104. Morgan Kaufmann, San Francisco (1986); Reprinted in [37]

    Google Scholar 

  27. Reed, C.: Dialogue frames in agent communications. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), pp. 246–253. IEEE Press, Los Alamitos (1998)

    Google Scholar 

  28. Robinson, A.: Non-Standard Analysis. North-Holland, Amsterdam (1966)

    MATH  Google Scholar 

  29. Rodríguez, J.A., Martin, F.J., Noriega, P., Garcia, P., Sierra, C.: Towards a test-bed for trading agents in electronic auction markets. AI Communications 11(1), 5–19 (1998)

    Google Scholar 

  30. Sadri, F., Toni, F., Torroni, P.: Logic agents, dialogues and negotiation: an 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, AISB (2001)

    Google Scholar 

  31. Searle, J.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)

    Book  Google Scholar 

  32. Shannon, C.E.: The mathematical theory of communication. In: Shannon, C.E., Weaver, W. (eds.) The Mathematical Theory of Communication, pp. 29–125. University of Illinois Press, Chicago (1963); Originally published in the Bell System Technical Journal (October and November 1948)

    Google Scholar 

  33. Singh, M.P.: A conceptual analysis of commitments in multiagent systems. Technical Report 96-09, Department of Computer Science, North Carolina State University (1996)

    Google Scholar 

  34. Singh, M.P.: An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)

    Article  Google Scholar 

  35. Singh, M.P.: A social semantics for agent communications languages. In: Dignum, F., Chaib-draa, B., Weigand, H. (eds.) Proceedings of the Workshop on Agent Communication Languages, International Joint Conference on Artificial Intelligence (IJCAI 1999), Berlin, Germany. Springer, Heidelberg (2000)

    Google Scholar 

  36. Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany (1995)

    Google Scholar 

  37. Weld, D.S., de Kleer, J. (eds.): Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo (1990)

    Google Scholar 

  38. Wooldridge, M.J.: Introduction to Multiagent Systems. John Wiley and Sons, New York (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Pennsylvania State University Altoona, Altoona, PA, 16601-3760, USA

    Mark W. Johnson

  2. Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK

    Peter McBurney & Simon Parsons

  3. Department of Computer and Information Science, Brooklyn College, City University of New York, Brooklyn, NY, 11210, USA

    Simon Parsons

Authors
  1. Mark W. Johnson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter McBurney
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Simon Parsons
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Leibniz-MAGMA, 46, Avenue Felix Viallet, 38031, Grenoble, France

    Marc-Philippe Huget

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Johnson, M.W., McBurney, P., Parsons, S. (2003). When Are Two Protocols the Same?. In: Huget, MP. (eds) Communication in Multiagent Systems. Lecture Notes in Computer Science(), vol 2650. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44972-0_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-44972-0_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40385-2

  • Online ISBN: 978-3-540-44972-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation