Sciweavers

AUSAI
2006
Springer

Logical Properties of Belief-Revision-Based Bargaining Solution

13 years 7 months ago
Logical Properties of Belief-Revision-Based Bargaining Solution
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 beliefrevision-based bargaining can be reduced to P 2 [O(log n)].
Dongmo Zhang, Yan Zhang
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where AUSAI
Authors Dongmo Zhang, Yan Zhang
Comments (0)