---
title: "Multi-Agent Belief Base Revision"
authors:
  - "Emiliano Lorini"
  - "Francois Schwarzentruber"
doi: "10.24963/ijcai.2021/270"
url: "https://ijcai.org/proceedings/2021/270"
pdf: "https://ijcai.org/proceedings/2021/0270.pdf"
venue: "Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence"
year: 2021
pages: "1959-1965"
track: "Main Track"
keywords:
  - "Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief"
  - "Knowledge Representation and Reasoning: Logics for Knowledge Representation"
  - "Knowledge Representation and Reasoning: Belief Change"
---

# Multi-Agent Belief Base Revision

Emiliano Lorini, Francois Schwarzentruber

*Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence*, pages 1959-1965. DOI: [10.24963/ijcai.2021/270](https://doi.org/10.24963/ijcai.2021/270)

## 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.