Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

Two AGM-style characterizations of model repair

Texto completo
Autor(es):
Guerra, Paulo T. [1] ; Wassermann, Renata [2]
Número total de Autores: 2
Afiliação do(s) autor(es):
[1] Univ Fed Ceara, Campus Quixada, Quixada - Brazil
[2] Univ Sao Paulo, Inst Math & Stat, Sao Paulo - Brazil
Número total de Afiliações: 2
Tipo de documento: Artigo Científico
Fonte: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE; v. 87, n. 3, SI, p. 233-257, NOV 2019.
Citações Web of Science: 0
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
Linha de fomento: Bolsas no Brasil - Doutorado