Skip to main content
SpringerLink
Log in

Axiomatic Analysis of Negotiation Protocols

  • Conference paper
Book cover AI 2003: Advances in Artificial Intelligence (AI 2003)

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

Included in the following conference series:

  • 1533 Accesses

Abstract

This paper presents an axiomatic approach to negotiation protocol analysis. We consider a negotiation procedure as multiple stages of mutual belief revision. A set of postulates in AGM-style of belief revision are proposed to specify rational behavior of negotiation. An explicit construction of negotiation function is given in which negotiation process is viewed as the interaction of two iterated revision operations. As a result the proposed axiomatic system is proved to be consistent. Finally, we examine our approach with an instantiation of Rosenschein and Zlotkin’s Monotonic Concession Protocol of Negotiation.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Alchourrón, E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50(2), 510–530 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  2. Booth, R.: A negotiation-style framework for non-priorised revision. In: TARK 2001, pp. 137–150 (2001)

    Google Scholar 

  3. Bui, T.X., Shakun, M.F.: Negotiation processes, evolutionary systems design, and NEGOTIATOR. In: Shakun, M.F. (ed.) Negotiation Processes, pp. 39–53. Kluwer Academic Publishers, Dordrecht (1996)

    Google Scholar 

  4. Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence 89(1-2), 1–29 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  5. Faratin, P., Sierra, C., Jennings, N.R.: Negotiation decision functions for autonomous agents. Robotics and Autonomous Systems 24(1998), 159–182 (1998)

    Article  Google Scholar 

  6. Friedman, N., Halpern, J.Y.: Belief revision: A critique. In: KR 1996, pp. 421–431 (1996)

    Google Scholar 

  7. Hansson, S.O., Fermé, E., Cantwell, J., Falappa, M.: Credibilit-limited revision. J. Symbolic Logic 66, 1581–1596 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  8. Lehmann, D.: Belief revision, revised. In: IJCAI 1995, pp. 1534–1540 (1995)

    Google Scholar 

  9. Liberatore, P., Schaerf, M.: Arbitration (or How to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering 1(10), 76–90 (1998)

    Article  Google Scholar 

  10. Kfir-Dahav, N.E., Tennenholtz, M.: Multi-agent belief revision. In: TARK 1996, pp. 175–194 (1996)

    Google Scholar 

  11. Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence 104(1998), 1–69 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  12. Konieczny, S., Pino-Pérez, R.: On the logic of merging. In: KR 1998, pp. 488–498 (1998)

    Google Scholar 

  13. Malheiro, B., Jennings, N.R., Oliveira, E.: Belief revision in multi-agent systems. In: ECAI 1994, pp. 294–298 (1994)

    Google Scholar 

  14. Maynard-Reid II, P., Shoham, Y.: Belief fusion: aggregating pedigreed belief states. J. of Logic, Language and Information 10(2), 183–209 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  15. van der Meyden, R.: Mutual belief revision (Preliminary Report). In: KR 1994, pp. 595–606 (1994)

    Google Scholar 

  16. Nayak, A.: Iterated belief change based on epistemic entrenchment. Erkentnis 41, 353–390 (1994)

    Article  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  18. Pruitt, D.G.: Negotiation Behavour. Academic Press, London (1981)

    Google Scholar 

  19. Revesz, P.Z.: On the semantics of arbitration. Intern. J. of Algebra and Computation 7(2), 133–160 (1997)

    Article  MathSciNet  Google Scholar 

  20. Rosenschein, J.S., Zlotkin, G.: Rules of Encounter. MIT Press, Cambridge (1994)

    Google Scholar 

  21. Sycara, K.: Persuasive arguementation in negotiation. Theory and Decision 28, 203–242 (1990)

    Article  Google Scholar 

  22. Zhang, D., Chen, S., Zhu, W., Chen, Z.: Representation theorems for multiple belief changes. In: IJCAI 1997, pp. 89–94 (1997)

    Google Scholar 

  23. Zhang, D., Foo, N.: Infinitary belief revision. J. of Philosophical Logic 30(6), 525–570 (2001)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing and Information Technology, University of Western Sydney, Australia

    Dongmo Zhang

  2. School of Computer Science and Engineering, The University of New South Wales, Australia

    Norman Foo

Authors
  1. Dongmo Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Norman Foo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Australian National University, ACT 0200, Acton, Australia

    Tamás (Tom) Domonkos Gedeon

  2. Murdoch University,  

    Lance Chun Che Fung

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, D., Foo, N. (2003). Axiomatic Analysis of Negotiation Protocols. In: Gedeon, T.(.D., Fung, L.C.C. (eds) AI 2003: Advances in Artificial Intelligence. AI 2003. Lecture Notes in Computer Science(), vol 2903. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24581-0_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24581-0_32

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation