Loading...
Please wait, while we are loading the content...
Similar Documents
UvA-DARE ( Digital Academic Repository ) Dynamic update with probabilities
| Content Provider | Semantic Scholar |
|---|---|
| Author | Benthem, Van |
| Copyright Year | 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://pure.uva.nl/ws/files/847574/75453_315402.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
