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, Automatique 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.
Type de document :
Communication dans un congrès
Conférence Nationale en Intelligence Artificielle, Jun 2016, Clermont-Ferrand, France. Actes de la 1ère Conférence Nationale en Intelligence Artificielle
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01355467
Contributeur : Alexandre Niveau <>
Soumis le : mercredi 21 mars 2018 - 20:23:18
Dernière modification le : jeudi 7 février 2019 - 17:38:24
Document(s) archivé(s) le : jeudi 13 septembre 2018 - 07:06:25

Fichier

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

Identifiants

  • 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. Actes de la 1ère Conférence Nationale en Intelligence Artificielle. 〈hal-01355467〉

Partager

Métriques

Consultations de la notice

183

Téléchargements de fichiers

19