Knowledge Compilation in the Modal Logic S5

Meghyn Bienvenu, Hélène Fargier, Pierre Marquis

AAAI 2010 pp. 261-266

doi:10.1609/AAAI.V24I1.7587 /aaai/2010/bienvenu2010aaai-knowledge/

Abstract

In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical knowledge compilation map to S5. We then show that the notion of disjunctive normal form (DNF) can be profitably extended to the epistemic case; we prove that the DNF fragment of S5, when appropriately defined, satisfies essentially the same queries and transformations as its classical counterpart.

PDF AAAI Semantic Scholar

Cite

Text

Bienvenu et al. "Knowledge Compilation in the Modal Logic S5." AAAI Conference on Artificial Intelligence, 2010. doi:10.1609/AAAI.V24I1.7587

Markdown

[Bienvenu et al. "Knowledge Compilation in the Modal Logic S5." AAAI Conference on Artificial Intelligence, 2010.](https://mlanthology.org/aaai/2010/bienvenu2010aaai-knowledge/) doi:10.1609/AAAI.V24I1.7587

BibTeX

@inproceedings{bienvenu2010aaai-knowledge,
  title     = {{Knowledge Compilation in the Modal Logic S5}},
  author    = {Bienvenu, Meghyn and Fargier, Hélène and Marquis, Pierre},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2010},
  pages     = {261-266},
  doi       = {10.1609/AAAI.V24I1.7587},
  url       = {https://mlanthology.org/aaai/2010/bienvenu2010aaai-knowledge/}
}