Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework

The difference between Bayesian conditioning and Lewis' imaging is somewhat similar to the one between Gardenfors' belief revision and Katsuno and Mendelzon' updating in the logical framework. Counterparts in possibility theory of these two operations are presented, including the case of conditioning upon an uncertain observation. Possibilistic conditioning satisfies all the postulates for belief revision, and possibilistic imaging all the updating postulates. Lastly, a third operation called "focusing" is naturally introduced in the setting of belief and plausibility functions.

[1]  Enrique H. Ruspini,et al.  Approximate Deduction in Single Evidential Bodies , 1986, UAI 1986.

[2]  R. Jeffrey.  The Logic of Decision , 1984 .

[3]  David Heckerman,et al.  An axiomatic framework for belief updates , 1986, UAI.

[4]  Didier Dubois,et al.  Updating with belief functions, ordinal conditional functions and possibility measures , 1990, UAI.

[5]  Didier Dubois,et al.  Evidence, knowledge, and belief functions , 1992, Int. J. Approx. Reason..

[6]  D. Dubois,et al.  Belief Revision: Belief change and possibility theory , 1992 .

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

[8]  C. Wagner,et al.  Rational Consensus in Science and Society , 1981 .

[9]  P. M. Williams.  Bayesian Conditionalisation and the Principle of Minimum Information , 1980, The British Journal for the Philosophy of Science.

[10]  Didier Dubois,et al.  Epistemic Entrenchment and Possibilistic Logic , 1991, Artif. Intell..

[11]  D. Lewis.  Probabilities of Conditionals and Conditional Probabilities , 1976 .

[12]  Didier Dubois,et al.  Possibilistic Logic, Preferential Models, Non-monotonicity and Related Issues , 1991, IJCAI.

[13]  R. Yager.  MEASURING TRANQUILITY AND ANXIETY IN DECISION MAKING: AN APPLICATION OF FUZZY SETS , 1982 .

[14]  Itzhak Gilboa,et al.  Updating Ambiguous Beliefs , 1992, TARK.

[15]  Luis M. de Campos,et al.  Updating Uncertain Information , 1990, IPMU.

[16]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[17]  Didier Dubois,et al.  The logical view of conditioning and its application to possibility and evidence theories , 1990, Int. J. Approx. Reason..

[18]  Luis M. de Campos,et al.  The concept of conditional fuzzy measure , 1990, Int. J. Intell. Syst..

[19]  R. T. Cox.  Probability, frequency and reasonable expectation , 1990 .

[20]  Didier Dubois,et al.  A survey of belief revision and updating rules in various uncertainty models , 1994, Int. J. Intell. Syst..

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

[22]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[23]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[24]  David Lewis.  Counterfactuals and Comparative Possibility , 1973 .

[25]  E. Hisdal.  Conditional possibilities independence and noninteraction , 1978 .

[26]  Philippe Smets.  Non-standard logics for automated reasoning , 1988 .

[27]  Ronald Fagin,et al.  A new approach to updating beliefs , 1990, UAI.