HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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 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.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01356082
Contributor : Mad Greyc Connect in order to contact the contributor
Submitted on : Wednesday, August 24, 2016 - 5:20:05 PM
Last modification on : Wednesday, November 3, 2021 - 7:21:20 AM
Long-term archiving on: : Friday, November 25, 2016 - 1:51:25 PM

File

Niveau.IAF.2016.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01356082⟩

Share

Metrics

Record views

132

Files downloads

120