Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. 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.
@inproceedings{ijcai1993p87,
title = {Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework},
author = {Dubois, Didier and Prade, Henri},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {620--624},
year = {1993},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1993/87},
}
TY - CPAPER TI - Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework AU - Dubois, Didier AU - Prade, Henri T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 620 EP - 624 UR - https://ijcai.org/proceedings/1993/87 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
