Efficient Representations for the Modal Logic S5

Alexandre Niveau 1 Bruno Zanuttini 1
1 Equipe MAD - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
Abstract : We investigate efficient representations of subjective formulas in the modal logic of knowledge, S5, and more generally of sets of sets of propositional assignments. One motivation for this study is contingent planning, for which many approaches use operations on such formulas, and can clearly take advantage of efficient representations. We study the language S5-DNF introduced by Bienvenu et al., and a natural variant of it that uses Binary Decision Diagrams at the propositional level. We also introduce an alternative language, called Epistemic Splitting Diagrams, which provides more compact representations. We compare all three languages from the complexity-theoretic viewpoint of knowledge compilation and also through experiments. Our work sheds light on the pros and cons of each representation in both theory and practice.
Type de document :
Communication dans un congrès
Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York City, United States. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01311642
Contributeur : Alexandre Niveau <>
Soumis le : mardi 23 août 2016 - 13:39:25
Dernière modification le : mardi 5 juin 2018 - 10:14:42
Document(s) archivé(s) le : jeudi 24 novembre 2016 - 12:00:58

Fichier

IJCAI16_NZ.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01311642, version 1

Citation

Alexandre Niveau, Bruno Zanuttini. Efficient Representations for the Modal Logic S5. Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York City, United States. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016. 〈hal-01311642〉

Partager

Métriques

Consultations de la notice

211

Téléchargements de fichiers

58