Abstract
In [4] a new epistemic logic \(\textsf {LDA}\) of explicit and implicit belief was introduced, and in [5] we presented a tableau-based satisfability checking procedure as well as a dynamic extension for it. 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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Baron-Cohen, S., Leslie, A.M., Frith, U.: Does the autistic child have a “theory of mind”? Cognition 21(1), 37–46 (1985)
Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artif. Intell. 34(1), 39–76 (1987)
Goré, R.: Tableau methods for modal and temporal logics. In: D’Agostino, M., Gabbay, D.M., Hähnle, R., Posegga, J. (eds.) pp. 297–396. Springer, Dordrecht (1999). https://doi.org/10.1007/978-94-017-1754-0_6
Lorini, E.: In praise of belief bases: doing epistemic logic without possible worlds. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018), pp. 1915–1922. AAAI Press (2018)
Lorini, E., Romero, F.: Decision procedures for epistemic logic exploiting belief bases. In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2019), IFAAMAS, pp. 944–952 (2019)
de Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78800-3_24
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Lorini, E., Romero, F. (2020). SAT for Epistemic Logic Using Belief Bases. In: Dennis, L., Bordini, R., Lespérance, Y. (eds) Engineering Multi-Agent Systems. EMAS 2019. Lecture Notes in Computer Science(), vol 12058. Springer, Cham. https://doi.org/10.1007/978-3-030-51417-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-51417-4_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-51416-7
Online ISBN: 978-3-030-51417-4
eBook Packages: Computer ScienceComputer Science (R0)