Propositional knowledge base revision and minimal change

摘要

The semantics of revising knowledge bases represented by sets of propositional sentences is analyzed from a model-theoretic point of view. A characterization of all revision schemes that satisfy the Gärdenfors rationality postulates is given in terms of minimal change with respect to an ordering among interpretations. Revision methods proposed by various authors are surveyed and analyzed in this framework. The correspondences between Gärdenfors-like rationality postulates and minimal changes with respect to other orderings are also investigated.