Dynamic Update with Probabilities

Studia Logica 93 (1):67 - 96 (2009)

Abstract

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-09-21

Downloads
115 (#104,599)

6 months
2 (#257,900)

Historical graph of downloads
How can I increase my downloads?

References found in this work

A Mathematical Theory of Evidence.Glenn Shafer - 1976 - Princeton University Press.
The Logic of Reliable Inquiry.Kevin T. Kelly - 1996 - Oxford, England: Oxford University Press USA.
The Continuum of Inductive Methods.Rudolf Carnap - 1952 - Chicago, IL, USA: University of Chicago Press.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 22 references / Add more references

Similar books and articles

Conditional Probability Meets Update Logic.Johan van Benthem - 2003 - Journal of Logic, Language and Information 12 (4):409-421.
Reasoning About Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
Methodological Considerations on the Logical Dynamics of Speech Acts.Tomoyuki Yamada - 2008 - Proceedings of the Xxii World Congress of Philosophy 39:277-282.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Diversity of Agents and Their Interaction.Fenrong Liu - 2009 - Journal of Logic, Language and Information 18 (1):23-53.