In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds
DOI:
https://doi.org/10.1609/aaai.v32i1.11560Keywords:
Logic, belief basesAbstract
We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of multi-agent belief base. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and doxastic/epistemic alternative are primitive, in our semantics they are non-primitive but are defined from the concept of belief base. We provide a complete axiomatization and a decidability result for our logic.
Downloads
Published
2018-04-25
How to Cite
Lorini, E. (2018). In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). https://doi.org/10.1609/aaai.v32i1.11560
Issue
Section
AAAI Technical Track: Knowledge Representation and Reasoning