Sciweavers

Share
AAAI
2007

Mutual Belief Revision: Semantics and Computation

11 years 3 months ago
Mutual Belief Revision: Semantics and Computation
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The semantic model displays the intuition and construction of the belief revision operation in multi-agent environments, especially in case of just two agents. The logical properties of this model provide strong justiļ¬cations for it. The computational model enables us to reassess the operation from a computational perspective. A complexity analysis reveals that belief revision between two agents is computationally no more demanding than single agent belief revision.
Yi Jin, Michael Thielscher, Dongmo Zhang
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2007
Where AAAI
Authors Yi Jin, Michael Thielscher, Dongmo Zhang
Comments (0)
books