Two AGM-style characterizations of model repair

Autor(es)

Guerra, Paulo T. ; Wassermann, Renata

• Tipo de documento: Artigo Científico
• Fonte: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE; v. 87, n. 3, p. 25-pg., 2019-11-01.

Resumo

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 Alchourron, Gardenfors, 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. (AU)

• Processo FAPESP: 10/15392-3 - Revisão de Modelos CTL
• Beneficiário: Paulo de Tarso Guerra Oliveira
• Modalidade de apoio: Bolsas no Brasil - Doutorado