Dynamic Update with Probabilities

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

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

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

Through your library

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.

Analytics

Added to PP
2009-09-21

Downloads
178 (#110,786)

6 months
52 (#87,242)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Johan Van Benthem
University of Amsterdam
Barteld Kooi
University of Groningen

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. Edited by Kevin Kelly.
The continuum of inductive methods.Rudolf Carnap - 1952 - [Chicago]: University of Chicago Press.
Studies in Bayesian Confirmation Theory.Branden Fitelson - 2001 - Dissertation, University of Wisconsin, Madison

View all 22 references / Add more references