This work explores formal aspects of model repair, i.e., how to rationally modify Kripke models representing the behavior of a system in order to satisfy a desired property. We investigate the problem in the light of Alchourrón, Gärdenfors, and Makinson’s work on belief revision. We propose two AGM-style characterizations of model repair: one based on belief sets and the other based on structural changes. In the first characterization, we define a set of rationality postulates over formulas with a close correspondence to those in the classical belief revision theory. We show that the proposed set of postulates fully characterizes the expected rationality of modifications in the model repair problem. In the second characterization, we propose a new set of rationality postulates based on structural modifications on models. These postulates have a close correspondence to the classical approach of model repair, while preserving the same rationality of the first characterization. We provide two representation results and the connection between them.

中文翻译：

---

模型修复的两种 AGM 式表征

这项工作探讨了模型修复的形式方面，即如何合理地修改代表系统行为的 Kripke 模型以满足所需的属性。我们根据 Alchourrón、Gärdenfors 和 Makinson 在信念修正方面的工作来研究这个问题。我们提出了模型修复的两种 AGM 式特征：一种基于信念集，另一种基于结构变化。在第一个特征中，我们定义了一组与经典信念修正理论中的那些紧密对应的公式的合理性假设。我们表明，所提出的一组假设完全表征了模型修复问题中修改的预期合理性。在第二个特征中，我们基于模型的结构修改提出了一组新的合理性假设。这些假设与模型修复的经典方法密切对应，同时保留了第一个表征的相同合理性。我们提供了两种表示结果以及它们之间的联系。