Dynamic update with probabilities

Johan Van Benthem, Jelle Gerbrandy, Barteld Kooi

OnderzoeksoutputAcademicpeer review

58 Citaten (Scopus)
354 Downloads (Pure)

Samenvatting

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.
Originele taal-2English
Pagina's (van-tot)67-96
Aantal pagina's30
TijdschriftStudia Logica
Volume93
Nummer van het tijdschrift1
DOI's
StatusPublished - 2009

Citeer dit