# A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)

arXiv: https://arxiv.org/abs/2605.02249 · HTML: https://mlsanity.com/paper/2605.02249/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 5 of its 48 references that are in the map.
- First posted on arXiv 4 May 2026.

## Builds on (most cited first, 5 of 5)

- [A Gentle Introduction to Epistemic Planning: The DEL Approach](https://mlsanity.com/paper/1703.02192/) (2017)
- [An Action Language for Multi-Agent Domains: Foundations](https://mlsanity.com/paper/1511.01960/) (2015)
- [Dialectical Reconciliation via Structured Argumentative Dialogues](https://mlsanity.com/paper/2306.14694/) (2023)
- [Iterated Belief Change Due to Actions and Observations](https://mlsanity.com/paper/1401.3867/) (2014)
- [The Epistemic Planning Domain Definition Language: Official Guideline](https://mlsanity.com/paper/2601.20969/) (2026)

## Abstract (arXiv)

We investigate the belief revision problem in epistemic planning, i.e., what will be the beliefs of all agents in a multi-agent system after an agent gains the belief in some state property. Based on the standard representation in epistemic planning of agents' beliefs via a single multi-agent Kripke model, we generalize the classical AGM belief revision postulates to the multi-agent setting, with the aim to provide a formal framework for evaluating dynamic epistemic reasoning frameworks in which the beliefs of all agents as the result of actions are computed. As an example of a simple operator that satisfies all of the generalized AGM postulates, we present generalized full-meet multi-agent belief revision. We moreover define a generalization of the standard postulates for iterated revision, present a more sophisticated, event model based revision operator, and discuss the potential issues in defining an epistemic operator on Kripke models that can satisfy all of the generalized postulates for iterated multi-agent belief revision.