Logical Properties of Belief-Revision-Based Bargaining Solution [chapter]

Dongmo Zhang, Yan Zhang
2006 Lecture Notes in Computer Science  
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
more » ... function. Finally we show that the computational complexity of beliefrevision-based bargaining can be reduced to Δ P 2 [O(log n)].
doi:10.1007/11941439_12 fatcat:bxyosu4cwbbz7mbyuk5thst6p4