---
title: "Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework"
authors:
  - "Didier Dubois"
  - "Henri Prade"
doi: ""
url: "https://ijcai.org/proceedings/1993/87"
pdf: "https://ijcai.org/proceedings/1993/0087.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "620-624"
track: "Knowledge Representation"
keywords:
---

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

Didier Dubois, Henri Prade

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 620-624.

## 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.