Generalizing Updates: From Models to Programs

13 years 11 months ago
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...
João Alexandre Leite, Luís Moniz Per
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where LPKR
Authors João Alexandre Leite, Luís Moniz Pereira
Comments (0)