Updating knowledge bases using a persistent set approach (1994) [2 citations — 2 self]
Download:
|
|
by Yan Zhang, Norman Y. Foo
in Proceedings of the 6th International Conference on Artificial Intelligence: Methodology, Systems, Applications, World Scientific
ftp://ftp.cs.su.oz.au/ksg/conference/update-aimsa94.ps.Z
Add To MetaCart
Abstract:
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
Citations
| 239 | Reasoning about action using a possible models approach – Winslett - 1988 |
| 236 | Knowledge in Flux – GÄRDENFORS - 1988 |
| 184 | Investigations into a theory of knowledge base revision: Preliminary Report – Dalal - 1988 |
| 60 | A Model-Based Belief Revision System – Chou, Winslett - 1994 |
| 38 | Updating propositional formulas – Weber - 1986 |
| 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 |
| 13 | Syntactic characterizations of belief change operators – Val - 1993 |
| 9 | Circumscriptive semantics for updating knowledge bases – Winslett - 1991 |
