PP-2006-21: van Benthem, Johan and Gerbrandy, Jelle and Kooi, Barteld (2006) Dynamic Update with Probabilities. [Report]
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2006-21.abstract.txt Download (832B) |
Preview |
Text (Full Text (Apr 2008 version))
PP-2006-21.text-Apr-2008.pdf Download (263kB) | Preview |
Preview |
Text (Full Text (Mar 2006 version))
PP-2006-21.text-Mar-2006.pdf Download (228kB) | Preview |
Abstract
Current dynamic-epistemic logics model different types of information change
in multi-agent scenarios. We propose a way to generalize these logics to a
probabilistic setting, obtaining a calculus for multi-agent update with
different slots for probability, and a matching dynamic logic of information
change that has a probabilistic character itself. We present a general
completeness result that not only holds for the particular logical system set
out in this paper, but for a larger class of dynamic probabilistic logics as
well. Finally, we discuss how our basic update rule can be parameterized for
different `update policies'.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2006-21 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2006 |
| Uncontrolled Keywords: | dynamic logic; epistemic logic; probability; ; update; event model; protocol; weight factor |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/196 |
Actions (login required)
 |
View Item |
