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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 102,020

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

Analytics

Added to PP
2009-09-21

Downloads
213 (#120,583)

6 months
16 (#201,212)

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

View all 22 references / Add more references