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.
Type de document :
Communication dans un congrès
Hoek, Wiebe van der; Wesley, H. Holliday ; Wen-fang, Wang. Logic, Rationality, and Interaction; 5th International Workshop, LORI 2015, 2015, Taipei, Taiwan. Springer, pp.366--378, 2015, LNCS. 〈10.1007/978-3-662-48561-3_30〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01261492
Contributeur : Tijs Van Der Storm <>
Soumis le : lundi 25 janvier 2016 - 14:07:07
Dernière modification le : vendredi 11 mars 2016 - 14:14:38

Identifiants

Collections

Citation

Johan Van Benthem, Jan Van Eijck, Malvin Gattinger, Kaile Su. Symbolic Model Checking for Dynamic Epistemic Logic. Hoek, Wiebe van der; Wesley, H. Holliday ; Wen-fang, Wang. Logic, Rationality, and Interaction; 5th International Workshop, LORI 2015, 2015, Taipei, Taiwan. Springer, pp.366--378, 2015, LNCS. 〈10.1007/978-3-662-48561-3_30〉. 〈hal-01261492〉

Partager

Métriques

Consultations de la notice

76