Représentations efficaces pour la logique modale 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
Résumé : Cet article examine l'effacité de plusieurs représen-tations des formules subjectives de la logique modale de la connaissance, S5, et plus généralement des ensembles d'ensembles d'instanciations propositionnelles. L'une des motivations de ce travail est la planification contingente, pour laquelle de nombreuses approches s'appuient sur de telles formules, et pourraient manifestement tirer parti de représentations efficaces. Nous etudions le langage S5-DNF introduit par Bienvenu et al., ainsi qu'une va-riante naturelle de ce langage, qui utilise des diagrammes de décision binaires au niveau propositionnel. Nous intro-duisons de plus un autre langage, celui des diagrammes epistémiques partitionnants , qui fournit des représen-tations plus compactes. Les trois langages sont comparés d'un point de vue théorique , dans le cadre de la compilation de connaissances, et d'un point de vue expérimen-tal. Cetté etudé eclaire les avantages et inconvénients de chaque représentation en théorie comme en pratique.
Type de document :
Communication dans un congrès
10es Journées d'Intelligence Artificielle Fondamentale (IAF~2016), Jun 2016, Montpellier, France. Proc. 10es Journées d'Intelligence Artificielle Fondamentale (IAF~2016)
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01356082
Contributeur : Mad Greyc <>
Soumis le : mercredi 24 août 2016 - 17:20:05
Dernière modification le : jeudi 7 février 2019 - 17:47:26
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 13:51:25

Fichier

Niveau.IAF.2016.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01356082, version 1

Citation

Alexandre Niveau, Bruno Zanuttini. Représentations efficaces pour la logique modale S5 *. 10es Journées d'Intelligence Artificielle Fondamentale (IAF~2016), Jun 2016, Montpellier, France. Proc. 10es Journées d'Intelligence Artificielle Fondamentale (IAF~2016). 〈hal-01356082〉

Partager

Métriques

Consultations de la notice

185

Téléchargements de fichiers

96