Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Argumentation in Multi-Agent Systems

ArgMAS 2004: Argumentation in Multi-Agent Systems pp 162–175Cite as

A Denotational Semantics for Deliberation Dialogues

  • Conference paper

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

Abstract

We present a denotational semantics for agent deliberation dialogues, i.e., dialogues over proposed actions, conducted under a broad class of interaction protocols. The semantics uses category-theoretic entities to represent deals proposed by agents and the preferences they articulate between these. The semantics is constructed jointly and incrementally by the participating agents in the course of the dialogue, and evolves with the dialogue. We consider properties of the semantics relating to deals and dialogue termination.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abramsky, S., Jagadeesan, R.: Games and full completeness for multiplicative linear logic. J. Symbolic Logic 59(2), 543–574 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  2. Ambler, S.J.: A categorical approach to the semantics of argumentation. Mathematical Structures in Computer Science 6, 167–188 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  3. Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue, and negotiation. In: Horn, W. (ed.) Proc. ECAI 2000, Berlin, pp. 338–342. IOS Press, Amsterdam (2000)

    Google Scholar 

  4. Bratu, M., Andreoli, J.M., Boissier, O., Castellani, S.: A software infrastructure for negotiation within inter-organisational alliances. In: Padget, J., Shehory, O., Parkes, D.C., Sadeh, N.M., Walsh, W.E. (eds.) AMEC 2002. LNCS (LNAI), vol. 2531, pp. 161–179. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Bryant, W.D.A.: Information, Adjustment and the Stability of Equilibrium. Macquarie Economics Research Paper 6/2000, Macquarie University, Sydney, Australia (2000)

    Google Scholar 

  6. Dunne, P.E., McBurney, P.: Optimal utterances in dialogue protocols. In: Rosenschein, J.S., et al. (eds.) Proc. AAMAS 2003, pp. 608–615. ACM Press, New York (2003)

    Chapter  Google Scholar 

  7. Ehresmann, A.C., Vanbremeersch, J.-P.: Hierarchical evolutive systems: a mathematical model for complex systems. Bulletin of Mathematical Biology 49(1), 13–50 (1987)

    MATH  MathSciNet  Google Scholar 

  8. Endriss, U., Maudet, N.: Welfare engineering in multiagent systems. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 335–347. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  9. FIPA. Dutch Auction Interaction Protocol Specification. Experimental Standard XC00032F, FIPA (2001)

    Google Scholar 

  10. FIPA. Communicative Act Library Specification. Standard SC00037J, Foundation for Intelligent Physical Agents (2002)

    Google Scholar 

  11. Greenwood, K., Bench-Capon, T., McBurney, P.: Towards a computational account of persuasion in law. In: Proc. Ninth Intern. Conf. on AI and Law (ICAIL 2003), pp. 22–31. ACM Press, New York (2003)

    Chapter  Google Scholar 

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

    MATH  Google Scholar 

  13. Harsanyi, J.C.: Approaches to the bargaining problem before and after the theory of games: a critical discussion of Zeuthen’s, Hicks’ and Nash’s theories. Econometrica 24, 144–157 (1956)

    Article  MATH  MathSciNet  Google Scholar 

  14. Herings, P.J.-J.: Universally converging adjustment processes — a unifying approach. J. Mathematical Economics 38, 341–370 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  15. Hitchcock, D., McBurney, P., Parsons, S.: A framework for deliberation dialogues. In: Hansen, H.V., et al. (eds.) Proc. Fourth Biennial Conf. Ontario Society for the Study of Argumentation (OSSA 2001), Windsor, Ontario, Canada (2001)

    Google Scholar 

  16. Jennings, N.R., Faratin, P., Lomuscio, A.R., Parsons, S., Wooldridge, M., Sierra, C.: Automated negotiation: prospects, methods and challenges. Group Decision and Negotiation 10(2), 199–215 (2001)

    Article  Google Scholar 

  17. Johnson, M.W.: On Pointed Enrichments and Illegal Compositions. Technical Report ULCS-03-010, Department of Computer Science, University of Liverpool, UK (2003)

    Google Scholar 

  18. Johnson, M.W., McBurney, P., Parsons, S.: When are two protocols the same? In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol. 2650, pp. 253–268. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Kock, A.: Synthetic Differential Geometry. Cambridge University Press, Cambridge (1981)

    MATH  Google Scholar 

  20. Levinson, S.C.: Pragmatics. Cambridge University Press, Cambridge(1983)

    Google Scholar 

  21. Mac Lane, S.: Categories for the Working Mathematician. Springer, New York (1971)

    Google Scholar 

  22. McBurney, P., van Eijk, R.M., Parsons, S., Amgoud, L.: A dialogue-game protocol for agent purchase negotiations. J. Auton. Agents & Multi-Agent Systems 7(3), 235–273 (2003)

    Article  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  24. Parsons, S., McBurney, P., Wooldridge, M.J.: The mechanics of some formal inter-agent dialogues. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 329–348. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  25. Parsons, S., Wooldridge, M., Amgoud, L.: On the outcomes of formal inter-agent dialogues. In: Rosenschein, J.S., et al. (eds.) Proc. AAMAS 2003, pp. 616–623. ACM Press, New York (2003)

    Chapter  Google Scholar 

  26. Rosenschein, J.S., Zlotkin, G.: Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. MIT Press, Cambridge (1994)

    Google Scholar 

  27. 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 

  28. Sonnenschein, H.: An axiomatic characterization of the price mechanism. Econometrica 42(3), 425–434 (1974)

    Article  MATH  MathSciNet  Google Scholar 

  29. Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. SUNY Press, Albany (1995)

    Google Scholar 

  30. Wooldridge, M.J.: Semantic issues in the verification of agent communication languages. J. Autonomous Agents & Multi-Agent Systems 3(1), 9–31 (2000)

    Article  Google Scholar 

  31. Wooldridge, M.J., Parsons, S.: Languages for negotiation. In: Horn, W. (ed.) Proc. 14th ECAI 2000, Berlin, Germany, pp. 393–397. IOS Press, Amsterdam (2000)

    Google Scholar 

  32. Zeuthen, F.: Problems of Monopoly and Economic Warfare. Routledge and Sons, London (1930)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Peter McBurney

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

    Simon Parsons

Authors
  1. Peter McBurney
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Simon Parsons
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Informatics, British University in Dubai, P.O. Box 502216, Dubau, United Arab Emirates

    Iyad Rahwan

  2. Department of Computer Science, University of Cyprus, CY-1678, Nicosia, Cyprus

    Pavlos Moraïtis

  3. Department of Applied Computing, University of Dundee, DD1 4HN, Dundee, UK

    Chris Reed

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

McBurney, P., Parsons, S. (2005). A Denotational Semantics for Deliberation Dialogues. In: Rahwan, I., Moraïtis, P., Reed, C. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2004. Lecture Notes in Computer Science(), vol 3366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32261-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-32261-0_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24526-1

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation