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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abramsky, S., Jagadeesan, R.: Games and full completeness for multiplicative linear logic. J. Symbolic Logic 59(2), 543–574 (1994)
Ambler, S.J.: A categorical approach to the semantics of argumentation. Mathematical Structures in Computer Science 6, 167–188 (1996)
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)
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)
Bryant, W.D.A.: Information, Adjustment and the Stability of Equilibrium. Macquarie Economics Research Paper 6/2000, Macquarie University, Sydney, Australia (2000)
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)
Ehresmann, A.C., Vanbremeersch, J.-P.: Hierarchical evolutive systems: a mathematical model for complex systems. Bulletin of Mathematical Biology 49(1), 13–50 (1987)
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)
FIPA. Dutch Auction Interaction Protocol Specification. Experimental Standard XC00032F, FIPA (2001)
FIPA. Communicative Act Library Specification. Standard SC00037J, Foundation for Intelligent Physical Agents (2002)
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)
Gunter, C.A.: Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge (1992)
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)
Herings, P.J.-J.: Universally converging adjustment processes — a unifying approach. J. Mathematical Economics 38, 341–370 (2002)
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)
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)
Johnson, M.W.: On Pointed Enrichments and Illegal Compositions. Technical Report ULCS-03-010, Department of Computer Science, University of Liverpool, UK (2003)
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)
Kock, A.: Synthetic Differential Geometry. Cambridge University Press, Cambridge (1981)
Levinson, S.C.: Pragmatics. Cambridge University Press, Cambridge(1983)
Mac Lane, S.: Categories for the Working Mathematician. Springer, New York (1971)
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)
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)
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)
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)
Rosenschein, J.S., Zlotkin, G.: Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. MIT Press, Cambridge (1994)
Singh, M.P.: An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)
Sonnenschein, H.: An axiomatic characterization of the price mechanism. Econometrica 42(3), 425–434 (1974)
Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. SUNY Press, Albany (1995)
Wooldridge, M.J.: Semantic issues in the verification of agent communication languages. J. Autonomous Agents & Multi-Agent Systems 3(1), 9–31 (2000)
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)
Zeuthen, F.: Problems of Monopoly and Economic Warfare. Routledge and Sons, London (1930)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)