AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Font Size: 
Knowledge Compilation in the Multi-Agent Epistemic Logic Kn
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

Last modified: 2018-09-24


In this paper, by employing logical separability, we propose an approach to knowledge compilation for the logic Kn by defining a normal form SDNF. We show that every epistemic formula can be equivalently compiled into a formula in SDNF, major reasoning tasks in SDNF are tractable, and formulas in SDNF enjoy the logical separability.


Knowledge Compilation;Multi-agent Modal Logics;

Full Text: PDF