Logical properties of belief-revision-based bargaining solution

  • Authors:

  • Dongmo Zhang;Yan Zhang

  • Affiliations:

  • Intelligent Systems Laboratory, School of Computing and Mathematics, University of Western Sydney, Australia;Intelligent Systems Laboratory, School of Computing and Mathematics, University of Western Sydney, Australia

  • Venue:
  • AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized belief revision. With the construction, the computation of bargaining solution can be converted to the calculation of maximal consistent hierarchy of prioritized belief sets. We prove that the syntax-independent solution of bargaining satisfies a set of desired logical properties for agreement function and negotiation function. Finally we show that the computational complexity of belief-revision-based bargaining can be reduced to $\Delta^P_2[\mathcal{O}(\log n)]$.