Belief change and dependence

Fariņas del Cerro, Luis and and Herzig, Andreas


It is a very natural requirement for belief change operations that formulas that are independent of a given update should be preserved. Such a proposal has already been made by Gardenfors (1990). In this perspective we study the links between belief change and the notion of dependence, our aim being to give dependence axioms able to characterize the AGM postulates. Proceeding exactly in the same way as Gardenfors (1988) did in the case of epistemic entrenchment, we show how a given dependence relation can be used to define a contraction operation, and the other way round we show how an independence relation can be obtained from a given contraction operation. The grande finale is a characterization theorem.



  author = 	 "Fari{\~{n}}as del Cerro, Luis and Herzig, Andreas",
  title = 	 "Belief change and dependence",
  editor = 	 "Shoham, Yoav",
  pages = 	 "147--162",
  booktitle = 	 "Proc. 6th Conf. on Theoretical Aspects of 
		  Rationality and Knowledge (TARK'96)",
  year = 	 "1996",
  publisher = 	 "Morgan Kaufmann"