On persistent semantics for knowledge base update (1993) [1 citations — 1 self]
|
Abstract:
Katsuno and Mendelzon suggested eight postulates for characterizing the semantics of update where the principle of minimal change is embedded [ Katsuno and Mendelzon, 1991a]. In this paper we propose a new method for knowledge base update based on persistence. 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 show that the persistence-based update operator satisfies most of Katsuno and Mendelzon's update postulates and sometimes satisfies all of them, from which we can see the essential distinction between the persistent update and the minimality-based update. Key words: knowledge representation, persistence, update
Citations
| 239 | Reasoning about action using a possible models approach – Winslett - 1988 |
| 236 | Knowledge in Flux – GÄRDENFORS - 1988 |
| 196 | Propositional knowledge base revision and minimal change – Katsuno, Mendelzon - 1991 |
| 37 | On the Difference between Updating a Knowledge Database and Revising It – Katsuno, Mendelzon - 1991 |
| 21 | Reasoning about persistence: A theory of actions – Zhang, Foo - 1993 |
