Knowledge Compilation in the Multi-Agent Epistemic Logic Kn
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen · 2018
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.