Décision de la cohérence des réseaux de contraintes qualitatives combinés

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 décision de la cohérence de réseaux de contraintes dans le cadre de combinaisons de formalismes qualitatifs. Nous proposons un cadre formel qui englobe les intégrations lâches, le raisonnement multiéchelle et une forme de raisonnement spatio-temporel. En particulier, nous identifions des conditions suffisantes assurant la poly-nomialité de la décision de la cohérence, et nous appliquons ces résultats pour trouver des sous-classes traitables.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2017, 31, pp.41 - 70. 〈10.3166/ria.31.41-70〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01579052
Contributeur : Quentin Cohen-Solal <>
Soumis le : lundi 26 mars 2018 - 19:00:15
Dernière modification le : jeudi 7 février 2019 - 17:38:24
Document(s) archivé(s) le : jeudi 13 septembre 2018 - 09:37:40

Fichier

ria Cohen-Solal Bouzid Niveau....
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. Décision de la cohérence des réseaux de contraintes qualitatives combinés. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2017, 31, pp.41 - 70. 〈10.3166/ria.31.41-70〉. 〈hal-01579052v2〉

Partager

Métriques

Consultations de la notice

160

Téléchargements de fichiers

98