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.

翻译：本文研究认知规划中的信念修正问题，即当某个智能体获得对某一状态属性的信念后，多智能体系统中所有智能体的信念将如何变化。基于认知规划中通过单一多智能体克里普克模型表示智能体信念的标准方法，我们将经典的AGM信念修正假设推广至多智能体环境，旨在为评估动态认知推理框架提供形式化基础——这类框架需计算作为行动结果的全体智能体信念。作为满足全部广义AGM假设的简单算子示例，我们提出了广义全交多智能体信念修正。此外，我们定义了迭代修正标准假设的泛化形式，提出了一种基于事件模型的更复杂修正算子，并讨论了在克里普克模型上定义能够满足多智能体迭代信念修正全部广义假设的认知算子所存在的潜在问题。