Skip to main content
SpringerLink
Log in

An Operational Semantics for Negotiating Agents

  • Conference paper
  • First Online:
Book cover Intelligent Agents and Multi-Agent Systems (PRIMA 2002)

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

Included in the following conference series:

Abstract

This paper presents a contribution towards rigourous reasoning about negotiating agents. First, it defines formal models for negotiation and negotiating agents. These models enable to specify the relations between the concepts of plan, plan proposal and resource allocation, on the one hand, and concepts of knowledge, belief and capability, on the other hand. Second, it provides a structured negotiation language enabling to specify primitives, protocols and processes of negotiation. This language is defined by a precise syntax, and it is formally interpreted using a transition system leading to an operational semantics for negotiating agents.

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. BdL+00._M. Beer, M. d’Inverno, M. Luck, N. Jennings, C. Preist, and M. Schroeder. Negotiation in multi-agent systems. Knowledge Engineering Review, 200.

    Google Scholar 

  2. M. Barbuceanu and M.S. Fox. A language for describing coordination in mas. In International Conference on Multi-Agent Systems, 1995.

    Google Scholar 

  3. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, (60):109–137, 1984.

    Article  MATH  MathSciNet  Google Scholar 

  4. W. Chainbi, A. Ben Hamadou, and M. Jmaiel. A belief-goal-role theory for multiagent systems. International Journal of Pattern Recognition and Artificial Intelligence, 15(3):1–16, 2001.

    Article  Google Scholar 

  5. E. H. Durfee and V. Lesser. Negotiating task decomposition and allocation using partial global planning. Distributed Artificial Intelligence, 2(1):229–244, 1989.

    Google Scholar 

  6. J. Engelfriet, C. M. Jonker, and J. Treur. Compositional verification of multi-agent systems in temporal multi-epistemic logic. In Proceedings of fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL98), volume 1544 of Lecture Notes in Artificial Intelligent, Heidelberg, 1999.

    Google Scholar 

  7. J. Ferber. Les systèmes multi-agents. Vers une intelligence collective. InterEdition, 1995.

    Google Scholar 

  8. T. Finin and R. Fritzson. Kqml: a language and protocol for knowledge and information exchange. In Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence, pages 126–136, Lake Quinalt, WA, July 1994.

    Google Scholar 

  9. FIPA. Agent communication language. In Specification FIPA, 1997.

    Google Scholar 

  10. P. Faratin, C. Sierra, and N. R. Jennings. Negotiation decision functions for autonomous agents. International journal of robotics ans autonomous systems, 24(3–4):159–182, 1998.

    Article  Google Scholar 

  11. A. Hadj-Kacem and M. Jmaiel. A formal negociation model for cooperating agents. In Proceedings of the AAAI Workshop on Negotiation Methods for Autonomous Cooperative Systems, North Falmouth, Massachusetts, USA, November 2001.

    Google Scholar 

  12. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985.

    Google Scholar 

  13. S. Kraus, N. Nirkhe, and K. Sycara. Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence Journal, 104(1–2):1–69, 1998.

    Article  MATH  Google Scholar 

  14. S. Kraus. Beliefs, time and incomplete information in multiple encounter negotiations among autonomous agents. Annals of Mathematics and Artificial Intelligence, 20(1–4):111–159, 1997.

    Article  MATH  MathSciNet  Google Scholar 

  15. S. E. Lander and V.R. Lesser. Understanding the role of negociation in distributed search among heterogeneous agents. In Proceedings of the thirteen International Joint Conference on Artificial Intelligence, pages 438–444, Chambéry, August, 22–24 1993.

    Google Scholar 

  16. H. J. Müller. Negotiation principles. John Wiley & sons, England, 1996.

    Google Scholar 

  17. R. Milner. A Calculus for Communication Systems, volume 90 of Lecture Notes in Computer Science. Springer, Berlin, 1980.

    Google Scholar 

  18. N. Matos, C. Sierra, and N.R. Jennings. Determining successful negotiation strategies: an evolutionary approach. In Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS-98), pages 182–189, Paris, France, 1998.

    Google Scholar 

  19. S. Park and W. P. Birmingham. Toward a unified framework for multiagent negotiation. In Proceedings of the international Conference on Intelligent Computer Communication, pages 105–122, 1995.

    Google Scholar 

  20. G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.

    Google Scholar 

  21. S. Parsons, C. Sierra, and N.R. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3):261–292, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  22. Y. Shoham. Agent-oriented programming. Journal of Artificial intelligence, 60:51–92, 1993.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FSEG-SFAX, LARIS Laboratory, B.P. 1088, 3018 SFAX, Tunisia

    Mohamed Jmaiel & Ahmed Hadj Kacem

Authors
  1. Mohamed Jmaiel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ahmed Hadj Kacem
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. NTT Communication Science Laboratories, Nippon Telegraph and Telephone Corporation, 2-4 Hikaridai, Seika-cho, Soraku-gun, Kyoto, 619-0237, Japan

    Kazuhiro Kuwabara

  2. Department of Electrical and Computer Engineering, The University of Seoul, 90 Cheonnong-dong, Tongdaemun-gu, Seoul, 130-743, Korea

    Jaeho Lee

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jmaiel, M., Kacem, A.H. (2002). An Operational Semantics for Negotiating Agents. In: Kuwabara, K., Lee, J. (eds) Intelligent Agents and Multi-Agent Systems. PRIMA 2002. Lecture Notes in Computer Science(), vol 2413. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45680-5_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-45680-5_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44026-0

  • Online ISBN: 978-3-540-45680-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation