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

We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations, multi-scale reasoning and a form of spatio-temporal reasoning. In particular, we identify sufficient conditions ensuring the polynomiality of consistency checking, and we use them to find trac-table subclasses.

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.

Mots clés: qualitative constraint networks; consistency checking; multi-scale reasoning; loose integration; tractable subclass; temporal reasoning

Mots clés: sous-classe traitable; raisonnement multiéchelle; intégration lâche; réseaux de contraintes qualitatives; décision de la cohérence; raisonnement sur le temps

Domaines: Intelligence artificielle [cs.AI]; Complexité [cs.CC]; Algorithme et structure de données [cs.DS]

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, 2017, 31, pp.41 - 70. ⟨10.3166/ria.31.41-70⟩. ⟨hal-01579052v2⟩