About this document
Knowledge Compilation in Multi-Agent Logics by ayan choudhury is a document available to read on EtoBox.
This paper addresses the intractability of reasoning tasks in multi-agent epistemic logics by proposing a knowledge compilation approach that defines a normal form called SDNF. The authors demonstrate that every epistemic formula can be compiled into SDNF, which allows for tractable reasoning tasks such as progression and entailment checking. Additionally, the results extend to the logic K45n, enhancing the applicability of multi-agent epistemic planning.
- Author
- ayan choudhury
- Language
- EN