AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Font Size: 
Two AGM-Style Characterizations of Model Repair
Paulo T. Guerra, Renata Wassermann

Last modified: 2018-09-24


Model repair is the problem of modifying a system model minimally in order to satisfy a desired property. The aim is to find suitable modifications that generate admissible models, representing the intended design for the system. Belief revision is a branch of the belief change theory that has been recently used to address the model repair problem. The mechanics of belief adaptation with consistency maintenance makes it a suitable theory to address the model repair problem. In this work, we propose a set of postulates of rationality with a close correspondence to the classical revision postulates. We show that the proposed set fully characterizes the admissible modifications for model repair. We also propose a second characterization of repair with easy-to-use postulates focused on structural modifications applied to models.


Belief Revision; Model Repair

Full Text: PDF