Repository | Book | Chapter


(2016) Readings in formal epistemology, Dordrecht, Springer.

A qualitative theory of dynamic interactive belief revision

Alexandru Baltag, Sonja Smets

pp. 813-858

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.

Publication details

DOI: 10.1007/978-3-319-20451-2_39

Full citation:

Baltag, A. , Smets, S. (2016)., A qualitative theory of dynamic interactive belief revision, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 813-858.

This document is unfortunately not available for download at the moment.