PP-2015-05: Dynamic Logics of Belief Change

PP-2015-05: van Benthem, Johan and Smets, Sonja (2015) Dynamic Logics of Belief Change. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2015-05.text.pdf

Download (1MB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2015-05.abstract.txt

Download (1kB)

Abstract

This chapter gives an overview of current dynamic logics that describe belief update and revision, both for single agents and in multi-agent settings. We employ a mixture of ideas from AGM belief revision theory and dynamic-epistemic logics of information-driven agency. After describing the basic background, we review logics of various kinds of beliefs based on plausibility models, and then go on to various sorts of belief change engendered by changes in current models through hard and soft information. We present matching complete logics with dynamic-epistemic recursion axioms, and develop a very general perspective on belief change by the use of event models and priority update. The chapter continues with three topics that naturally complement the setting of single steps of belief change: connections with probabilistic approaches to belief change, long-term temporal process structure including links with formal learning theory, and multi-agent scenarios of information flow and belief revision in games and social networks. We end with a discussion of alternative approaches, further directions, and windows to the broader literature, while links with relevant philosophical traditions are discussed throughout.

To appear in J. Halpern, W. van der Hoek and B. Kooi, eds., "Handbook of Logics for Knowledge and Belief".

Item Type: Report
Report Nr: PP-2015-05
Series Name: Prepublication (PP) Series
Year: 2015
Uncontrolled Keywords: belief, belief change, dynamic-epistemic logic, plausibility models, probability, learning, games, spcial information flow
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/516

Actions (login required)

View Item View Item