Collections | Livre | Chapitre
A qualitative theory of dynamic interactive belief revision
pp. 813-858
Résumé
We present a logical setting that incorporates a belief-revision mechanism within Dynamic-Epistemic logic. As the 'static" basis for belief revision, we use epistemic plausibility models, together with a modal language based on two epistemic operators: a "knowledge" modality K (the standard S5, fully introspective, notion), and a 'safe belief" modality □ ("weak", non-negatively-introspective, notion, capturing a version of Lehrer's "indefeasible knowledge"). To deal with "dynamic" belief revision, we introduce action plausibility models, representing various types of "doxastic events". Action models "act" on state models via a modified update product operation: the "Action-Priority" Update. This is the natural dynamic generalization of AGM revision, giving priority to the incoming information (i.e., to "actions") over prior beliefs. We completely axiomatize this logic, and show how our update mechanism can 'simulate", in a uniform manner, many different belief-revision policies.
Détails de la publication
Publié dans:
Arló-Costa Horacio, Hendricks Vincent F., van Benthem Johan (2016) Readings in formal epistemology: sourcebook. Dordrecht, Springer.
Pages: 813-858
DOI: 10.1007/978-3-319-20451-2_39
Citation complète:
Baltag Alexandru, Smets Sonja, 2016, A qualitative theory of dynamic interactive belief revision. In H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.) Readings in formal epistemology (813-858). Dordrecht, Springer.