Modeling the epistemics of communication with functional programming

S.M. Orzan, J. Eijck, van

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

Dynamic epistemic logic is the logic of the effects of epistemic actions like making public announcements, passing private messages, revealing secrets, telling lies. This paper takes its starting point from the version of dynamic epistemic logic of [4], and demonstrates a tool that can be used for showing what goes on during a series of epistemic updates: the dynamic epistemic modeling tool DEMO [10]. DEMO allows modeling 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 [22] formulas. DEMO is written in Haskell. This paper intends to demonstrate its usefulness for visualizing the model transformations that take place during epistemic updating.
Original languageEnglish
Title of host publicationProceedings 6th Symposium on Trends in Functional Programming (TFP'05, Tallinn, Estonia, September 23-24, 2005)
EditorsM. Eekelen, van
Place of PublicationTallinn
PublisherInstitute of Cybernetics
Pages44-59
ISBN (Print)9985-894-88-X
Publication statusPublished - 2005

Fingerprint Dive into the research topics of 'Modeling the epistemics of communication with functional programming'. Together they form a unique fingerprint.

Cite this