Authors

B.R.M. Gattinger

Date (dd-mm-yyyy)

2017

Title

Towards Symbolic Factual Change in DEL

Publication Year

2017

Publisher

ESSLI

Document type

Conference contribution

Abstract

We extend symbolic model checking for Dynamic Epistemic Logic (DEL) with factual change. Our transformers provide a compact representation of action models with pre- and postconditions, for both S5 and the general case.
The method can be implemented using binary decision diagrams and we expect it to improve model checking performance.
As an example we give a symbolic representation of the Sally-Anne false belief task.

Permalink

https://hdl.handle.net/11245.1/5204574b-985e-46c3-a699-b375e6718fd2