Décision de la cohérence des réseaux de contraintes qualitatives combinés
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...