Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

203579

A qualitative theory of dynamic interactive belief revision

Alexandru BaltagSonja Smets

pp. 813-858

Abstract

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

Published in:

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

Full citation:

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, Dordrecht, Springer, 813–858.