Luminy 2014 - Introduction à la logique épistémique

Télécharger les transparents de la présentation
Lien vers le model checker DEMO (écrit en Haskell)

Références

• Livre sur le raisonnement sur la connaissance Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge (Vol. 4). Cambridge: MIT press.
• Article qui montre que l'on ne peut avoir connaissance commune dans un système distribué Halpern, J. Y., & Moses, Y. (1990). Knowledge and common knowledge in a distributed environment. Journal of the ACM (JACM), 37(3), 549-587.
• Article avec les algorithmes pour le problème de satisfiabilité pour connaissance et connaissance commune (et différentes variantes K, S4, S5, etc.) : Halpern, J. Y., & Moses, Y. (1992). A guide to completeness and complexity for modal logics of knowledge and belief. Artificial intelligence, 54(3), 319-379.
• Article sur l'expressivité, concision et algorithmes pour le problème de satisfiabilité avec annonces publiques : Lutz, C. (2006, May). Complexity and succinctness of public announcement logic. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 137-143). ACM.
• Article sur l'algorithme pour le problème de satisfiabilité avec modèles d'action : Aucher, G., & Schwarzentruber, F. (2013). On the complexity of dynamic epistemic logic. arXiv preprint arXiv:1310.6406.
• Article sur l'indécidabilité du problème de plannification en logique épistémique dynamique : Aucher, G., & Bolander, T. (2013, August). Undecidability in epistemic planning. In Proceedings of the Twenty-Third international joint conference on Artificial Intelligence (pp. 27-33). AAAI Press.