Propositional Knowledge Base Revision and Minimal Change

Abstract 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 Gardenfors 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 Gardenfors-like rationality postulates and minimal changes with respect to other orderings are also investigated.

[1]  Hirofumi Katsuno,et al.  A Unified View of Propositional Knowledge Base Updates , 1989, IJCAI.

[2]  Raymond Reiter,et al.  On Integrity Constraints , 1988, TARK.

[3]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[4]  Peter Gärdenfors,et al.  Epistemic importance and minimal changes of belief , 1984 .

[5]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[6]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[7]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[8]  Andreas Weber,et al.  Updating Propositional Formulas , 1986, Expert Database Conf..

[9]  John Bell.  The Logic of Nonmonotonicity , 1990, Artif. Intell..

[10]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[11]  Ken Satoh.  Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.

[12]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[13]  Alexander Borgida,et al.  Language features for flexible handling of exceptions in information systems , 1985, TODS.

[14]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[15]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[16]  Peter Gärdenfors,et al.  The Dynamics of Belief Systems : Foundations vs . Coherence Theories , 1990 .

[17]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[18]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[19]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..