Belief revision and updates in numerical formalisms: an overview, with new results for the possibilistic framework

  • Authors:
  • Didier Dubois;Henri Prade

  • Affiliations:
  • Institut de Recherche en Informatique de Toulouse, Universite Paul Sabatier, CNRS, Toulouse Cedex, France;Institut de Recherche en Informatique de Toulouse, Universite Paul Sabatier, CNRS, Toulouse Cedex, France

  • Venue:
  • IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.