Modelling Epistemic Updates with Functional Programming
| Abstract | Epistemic logic is the logic of knowledge, and dynamic epistemic logic is the logic of effects of communicative actions on the knowledge states of a set of agents. Typical communicative actions are making public announcements, passing private messages, revealing secrets, telling lies. This paper takes its starting point from the version of dynamic epistemic logic of [3], and demonstrates a tool that can be used for showing what goes on during a series of epistemic updates: the dynamic epistemic modelling tool DEMO [10]. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, and translation of dynamic epistemic formulas to PDL [23] formulas. DEMO is written in Haskell. This paper intends to demonstrate its use for calculating and visualizing the model transformations that take place during epistemic updating | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesNina Gierasimczuk (2009). Bridging Learning Theory and Dynamic Epistemic Logic. Synthese 169 (2):371-384.
Alexandru Baltag & Lawrence S. Moss (2004). Logics for Epistemic Programs. Synthese 139 (2):165 - 224.
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
Joshua Sack (2009). Extending Probabilistic Dynamic Epistemic Logic. Synthese 169 (2):241 - 257.
Analytics
Monthly downloads |
Added to index2010-11-21Total downloads4 ( #178,748 of 549,108 )Recent downloads (6 months)1 ( #63,361 of 549,108 )How can I increase my downloads? |
My notes
Discussion
