A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
Michael Thielscher, Tran Cao Son
Why It Matters
What makes this one worth your time
Understanding belief revision in multi-agent systems is crucial for developing more effective collaborative AI agents that can adapt their beliefs based on new information.
This study extends classical belief revision theory to multi-agent systems, enhancing our understanding of epistemic planning.
Summary
The paper explores the belief revision problem in multi-agent systems by generalizing classical AGM postulates to a multi-agent context, providing a formal framework for evaluating dynamic epistemic reasoning and presenting new operators for belief revision.
Key contributions
- Generalization of classical AGM belief revision postulates to multi-agent settings.
- Definition of a generalized full-meet multi-agent belief revision operator.
- Development of a more sophisticated event model-based revision operator.
Notable insights
- The generalization of AGM postulates to multi-agent systems could lead to richer models of agent interactions.
- The introduction of a generalized full-meet multi-agent belief revision operator offers a new approach to handling belief changes in dynamic environments.
Possible limitations
- Not stated in the abstract.
Abstract
arXiv:2605.02249v1 Announce Type: new Abstract: 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.