PP-2015-05: van Benthem, Johan and Smets, Sonja (2015) Dynamic Logics of Belief Change. [Report]
Preview |
Text (Full Text)
PP-2015-05.text.pdf Download (1MB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
