HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Monday, January 25, 2016 - 2:07:07 PM
Last modification on : Thursday, January 20, 2022 - 5:28:43 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

91