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

Vérification de la cohérence des multi-réseaux de contraintes qualitatives

Quentin Cohen-Solal 1 Maroua Bouzid 1 Alexandre Niveau 1
1 Equipe MAD - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image et Instrumentation de Caen
Résumé : Nous étudions le problème de la vérification de la cohérence de réseaux de contraintes dans le cadre de combinaisons de formalismes qualitatifs. En nous inspirant des principes de « l’intégration lâche », nous proposons un cadre formel pour l’étude de multi-réseaux de contraintes qualitatives, dans lesquels les relations entre variables peuvent provenir de plusieurs algèbres de relations différentes. Nous identifions des conditions suffisantes assurant la traitabilité de la vérification de la cohérence des multi-réseaux sur une sous-classe, et appliquons ces résultats au raisonnement temporel multi-échelle qualitatif.
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01355467
Contributor : Alexandre Niveau Connect in order to contact the contributor
Submitted on : Wednesday, March 21, 2018 - 8:23:18 PM
Last modification on : Wednesday, November 3, 2021 - 5:06:49 AM
Long-term archiving on: : Thursday, September 13, 2018 - 7:06:25 AM

File

cnia2016.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01355467, version 1

Citation

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. Vérification de la cohérence des multi-réseaux de contraintes qualitatives. Conférence Nationale en Intelligence Artificielle, Jun 2016, Clermont-Ferrand, France. ⟨hal-01355467⟩

Share

Metrics

Record views

72

Files downloads

35