Abstract
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the implementation of conversations for the Contract Net Protocol.
We thankfully acknowledge the support received from the Natural Sciences and Engineering Council of Canada (NSERC), Smart Technologies, Inc., and the Alberta Informatics Circle of Research Excellence (iCORE).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Craig, R.T. & Tracy K. (eds.) Conversational Coherence: Form, Structure, and Strategy, Sage Publications, 1983.
Diller, A. Z: An Introduction to Formal Methods. John Willey & Sons, 1990.
FTP A Agent Communication Language Specifications, Foundation for Intelligent Physical Agents, 1997, http://www.fipa.org/
Flores, R.A. and Kremer, R.C. (2001) Bringing Coherence to Agent Conversations. Proceedings of the Second Workshop on Agent-Oriented Software Engineering, Fifth International Conference on Autonomous Agents (Agents’2001), M. Wooldridge, P. Ciancarini, and G. Weiss (Eds.), Montreal, Canada, May 28-June 1, 2001. (to appear)
Greaves, M., Holmback, H. & Bradshaw, J. What is a Conversation Policy? Third International Conference in Autonomous Agents, Workshop on Specifying and Implementing Conversation Policies, M. Greaves & J. Bradshaw (eds.), Seattle, WA, 1999, pp. 1–9.
Huhns, M.N. & Singh, M.P. Agents and Multiagent Systems: Themes, Approaches, and Challenges. Readings in Agents, M.N. Huhns & M.P. Singh (eds.), Morgan Kaufmann Publishers, 1998, pp. 1–23.
Singh, M.P. Agent Communicational Languages: Rethinking the Principles. IEEE Computer, Volume 31, Number 12, 1998, pp. 40–47.
Smith, R.G. (1980) The Contract Net Protocol: High Level Communication and Control in a distributed Problem Solver. IEEE Transactions in Computers, Volume 29, Number 12, pp. 1104–1113.
Wooldridge, M. Verifiable Semantic for Agent Communication Languages. Third International Conference on Multi-Agent Systems, Y. Demazeau (ed.), IEEE Press, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flores, R.A., Kremer, R.C. (2002). Formal Conversations for the Contract Net Protocol. In: MaÅ™Ãk, V., Å tÄ›pánková, O., Krautwurmová, H., Luck, M. (eds) Multi-Agent Systems and Applications II. ACAI 2001. Lecture Notes in Computer Science(), vol 2322. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45982-0_9
Download citation
DOI: https://doi.org/10.1007/3-540-45982-0_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43377-4
Online ISBN: 978-3-540-45982-8
eBook Packages: Springer Book Archive