Skip to Main content Skip to Navigation
Conference papers

Multi-Agent Belief Base Revision

Abstract : We present a generalization of belief base revision to the multi-agent case. In our approach agents have belief bases containing both propositional beliefs and higher-order beliefs about their own beliefs and other agents’ beliefs. Moreover, their belief bases are split in two parts: the mutable part, whose elements may change under belief revision, and the core part, whose elements do not change. We study a belief revision operator inspired by the notion of screened revision. We provide complexity results of model checking for our approach as well as an optimal model checking algorithm. Moreover, we study complexity of epistemic planning formulated in the context of our framework.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03453911
Contributor : Emiliano Lorini Connect in order to contact the contributor
Submitted on : Tuesday, November 30, 2021 - 10:28:24 AM
Last modification on : Tuesday, January 4, 2022 - 5:53:14 AM

File

MASBelRevision.pdf
Files produced by the author(s)

Identifiers

Citation

Emiliano Lorini, Francois Schwarzentruber. Multi-Agent Belief Base Revision. Thirtieth International Joint Conference on Artificial Intelligence , Aug 2021, Montreal, Canada. pp.1959-1965, ⟨10.24963/ijcai.2021/270⟩. ⟨hal-03453911⟩

Share

Metrics

Les métriques sont temporairement indisponibles