Modifying Is Better Than Deleting: A New Approach To Base Revision

We present three approaches to belief base revision, which are examined also in the case in which the sentences in the base are partitioned between those which can and those which cannot be changed; the approaches are shown to be semantically equivalent. A new approach is then presented, based on the modification of individual rules, instead of deletion. The resulting base is semantically equivalent to that generated by the other approaches, in the sense that it has the same models, but the rule part alone has less models, that is, is subjected to a smaller change.

[1]  Peter Gärdenfors,et al.  Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..

[2]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[3]  Bernhard Nebel,et al.  A Knowledge Level Analysis of Belief Revision , 1989, KR.

[4]  André Fuhrmann,et al.  A survey of multiple contractions , 1994, J. Log. Lang. Inf..

[5]  David Makinson,et al.  On the logic of theory change: Safe contraction , 1985, Stud Logica.

[6]  Neil Tennant,et al.  Changing the Theory of Theory Change: Towards a Computational Approach , 1994, The British Journal for the Philosophy of Science.

[7]  Peter Gärdenfors,et al.  Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.

[8]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[9]  André Fuhrmann,et al.  Theory contraction through base contraction , 1991, J. Philos. Log..

[10]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[11]  David Makinson How to give it up: A survey of some formal aspects of the logic of theory change , 2004, Synthese.

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

[13]  Craig Boutilier,et al.  Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..

[14]  Sven Ove Hansson Belief Revision: A dyadic representation of belief , 1992 .

[15]  Dov M. Gabbay,et al.  A Methodology for Iterated Theory Change , 1996, FAPR.