SAT for Epistemic Logic Using Belief Bases

Emiliano Lorini (1, 2) , Benito Fabian Romero Jimenez (1)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

In [5] a new epistemic logic LDA of explicit and implicit beliefs was introduced, and in [6] we presented a tableau-based satisfability checking procedure as well as a dynamic extension for LDA. Based on such procedure, we created a portable software implementation that works for the family of multi-agent epistemic logics, as well as for the proposed dynamic extension. This software implementation runs as a library for the most common operative systems, also runs in popular IoT and robot hardware, as well as cloud environments and in server-less configurations.

Domaines: Intelligence artificielle [cs.AI]

Emiliano Lorini, Benito Fabian Romero Jimenez. SAT for Epistemic Logic Using Belief Bases. 7th International Workshop on Engineering Multi-Agent Systems (EMAS 2019), May 2019, Montreal, Canada. pp.235-245, ⟨10.1007/978-3-030-51417-4_12⟩. ⟨hal-03008585⟩