Skip to Main content Skip to Navigation
Conference papers

Symbolic Model Checking for Dynamic Epistemic Logic

Abstract : Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the best available model-checking and SAT techniques in computational logic. We do this by first providing a bridge: a new faithful representation of DEL models as so-called knowledge structures that allow for symbolic model checking. Next, we show that we can now solve well-known benchmark problems in epistemic scenarios much faster than with existing DEL methods. Finally, we show that our method is not just a matter of implementation, but that it raises significant issues about logical representation and update.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01261492
Contributor : Tijs van der Storm <>
Submitted on : Monday, January 25, 2016 - 2:07:07 PM
Last modification on : Friday, March 11, 2016 - 2:14:38 PM

Links full text

Identifiers

Collections

Citation

Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su. Symbolic Model Checking for Dynamic Epistemic Logic. Logic, Rationality, and Interaction; 5th International Workshop, LORI 2015, 2015, Taipei, Taiwan. pp.366--378, ⟨10.1007/978-3-662-48561-3_30⟩. ⟨hal-01261492⟩

Share

Metrics

Record views

198