On propositional knowledge base updates (1995) [2 citations — 2 self]
|
Abstract:
It is well known that the minimal change principle was widely used in propositional knowledge base updates. However, recent research has shown that under some circumstances, the conventional minimal change methods were inappropriate for updating knowledge bases with disjunctive effects. In this paper we propose a new method for the knowledge base update based on a persistence principle, which provides conservative results for updating knowledge bases with implicit and disjunctive effects. As it will be shown, our approach avoids the difficulty with the minimal change principle and can be also extended to derive preferred update solutions if more domain information is provided. To characterize properties of the persistence-based update method, we investigate the relationship between the minimal change update semantics and persistent update semantics in detail. 1
Citations
| 534 | A truth maintenance system – Doyle - 1979 |
| 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 |
| 184 | Investigations into a theory of knowledge base revision: Preliminary Report – Dalal - 1988 |
| 37 | On the Difference between Updating a Knowledge Database and Revising It – Katsuno, Mendelzon - 1991 |
| 22 | Actions with Indirect Effects – Kartha, Lifschitz - 1994 |
| 21 | Reasoning about persistence: A theory of actions – Zhang, Foo - 1993 |
| 7 | Applying the persistent set approach in temporal reasoning – Zhang, Foo - 1995 |
| 3 | Reasoning About Persistence: A Unified Principle for State Change – Zhang - 1994 |
| 2 | Persistence, invariants and constraints – Zhang, Foo - 1994 |
