Generalizing Updates: From Models to Programs

Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The updating of theory models is governed by their update rules and also by inertia applied to those literals not directly affected by the update program. Though this is important, it remains necessary to tackle as well the updating of programs specifying theories. Some results have been obtained on the issue of updating a logic program which encodes a set of models, to obtain a new program whose models are the desired updates of the initial models. But here the program only plays the rˆole of a means to encode the models. A logic program encodes much more than a set of models: it encodes knowledge in the form of the relationships between the elements of those models. In this paper we advocate that the principle of inertia is advantageously applied to the rules of the initial program rather than to the individu...

• Type: Conference
• Year: 1997
• Where: LPKR
• Authors: João Alexandre Leite, Luís Moniz Pereira
• Keywords: Automated Reasoning, Logic Program, LPKR 1997, So-called Revision Programs, Update