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

The article presents a study on belief revision in multi-agent systems, extending classical AGM postulates to account for the beliefs of multiple agents after an agent acquires new information. It introduces a generalized full-meet multi-agent belief revision operator and discusses a sophisticated event model-based revision operator, addressing the complexities of defining epistemic operators on Kripke models that adhere to these generalized postulates. This work is significant for practitioners as it provides a formal framework for dynamic epistemic reasoning, enhancing the understanding of belief updates in multi-agent systems, which is crucial for applications in AI and multi-agent coordination.