Updating knowledge bases using a persistent set approach
Yan Zhang, Norman Foo · 1995
Propositional knowledge base updates have been widely studied recently. Katsuno and Mendelzon suggested eight postulates for characterizing the semantics of update where the principle of minimal change is embedded [5]. In this paper we propose a new method for knowledge base update called the persistent set approach (PSA). We examine the relations between the two different update semantics by investigating the satisfiability of Katsuno and Mendelzon's update postulates under our persistent update semantics. We then extend the PSA to represent preference information so that the preferred solution can be derived by the extended PSA. 1 Introduction Propositional knowledge base updates have been widely studied recently [ 6; 2; 1; 3 ] . Katsuno and Mendelzon suggested eight postulates for characterizing the semantics of update where the principle of minimal change is embedded [ 5 ] . In this paper, we extend the work of Zhang and Foo described in [ 9 ] , and propose a new method for knowle...