A Logical Framework of Bargaining with Integrity Constraints

  • Xiaoxin Jing
  • Dongmo Zhang
  • Xudong Luo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8272)


This paper proposes a logical framework for bargaining with integrity constraints (IC) in multi-agent and multi-issue bargaining environments. We construct a simultaneous concession solution for bargaining games under IC, and show that the solution is uniquely characterised by a set of logical properties. In addition, we prove that the solution also satisfies the most fundamental game theoretic properties such as symmetry and Pareto optimality. Finally, we discuss the relationship between merging operators and bargaining solutions under integrity constraints.


Integrity Constraint Bargaining Solution Bargaining Game Logical Framework Bargaining Model 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    John, F., Nash, J.: The bargaining problem. Econometrica 18(2), 155–162 (1950)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Binmore, K., Rubinstein, A., Wolinsky, A.: The Nash bargaining solution in economic modelling. The RAND Journal of Economics, 176–188 (1986)Google Scholar
  3. 3.
    Shubik, M.: Game theory in the social sciences: Concepts and solutions. MIT Press (2006)Google Scholar
  4. 4.
    Raiffa, H.: The Art and Science of Negotiation. Harvard University Press (1982)Google Scholar
  5. 5.
    Jennings, N.R., Faratin, P., Lomuscio, A.R., Parsons, S., Wooldridge, M.J., Sierra, C.: Automated negotiation: prospects, methods and challenges. Group Decision and Negotiation 10(2), 199–215 (2001)CrossRefGoogle Scholar
  6. 6.
    Fatima, S.S., Wooldridge, M., Jennings, N.R.: An agenda-based framework for multi-issue negotiation. Artificial Intelligence 152(1), 1–45 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Zhang, D.: A logic-based axiomatic model of bargaining. Artificial Intelligence 174(16-17), 1307–1322 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence 104, 1–69 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Luo, X., Jennings, N.R., Shadbolt, N., Leung, H.F., Lee, J.H.M.: A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments. Artificial Intelligence 148(1), 53–102 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Zhang, D., Zhang, Y.: An ordinal bargaining solution with fixed-point property. Journal of Artificial Intelligence Research 33(1), 433–464 (2008)MathSciNetzbMATHGoogle Scholar
  12. 12.
    Zhan, J., Luo, X., Sim, K.M., Feng, C., Zhang, Y.: A fuzzy logic based model of a bargaining game. In: Wang, M. (ed.) KSEM 2013. LNCS, vol. 8041, pp. 387–403. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  13. 13.
    Konieczny, S., Pérez, R.P.: Merging information under constraints: a logical framework. Journal of Logic and Computation 12(5), 773–808 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Zhang, D., Foo, N.: Infinitary belief revision. Journal of Philosophical Logic 30(6), 525–570 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Lin, J., Mendelzon, A.O.: Merging databases under constraints. International Journal of Cooperative Information Systems 7(01), 55–76 (1998)CrossRefGoogle Scholar
  16. 16.
    Konieczny, S., Pino-Pérez, R.: On the logic of merging. In: KR 1998: Principles of Knowledge Representation and Reasoning, pp. 488–498. Morgan Kaufmann (1998)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Xiaoxin Jing
    • 1
  • Dongmo Zhang
    • 2
  • Xudong Luo
    • 1
  1. 1.Institute of Logic and CognitionSun Yat-sen UniversityChina
  2. 2.Intelligent System LabUniversity of Western SydneyAustralia

Personalised recommendations