Vérification de la cohérence des multi-réseaux de contraintes qualitatives - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

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

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.
Fichier principal
Vignette du fichier
cnia2016.pdf (241.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01355467 , version 1 (21-03-2018)

Identifiants

  • HAL Id : hal-01355467 , version 1

Citer

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⟩
103 Consultations
67 Téléchargements

Partager

More