Decision de la coherence des reseaux de contraintes qualitatives combines

摘要

Nous etudions le probleme de la decision de la coherence de reseaux de contraintes dans le cadre de combinaisons de formalismes qualitatifs. Nous proposons un cadre fonnel qui englobe les integrations laches, le raisonnement multiechelle et une forme de raisonnement spatio-temporel. En particulier, nous identifions des conditions suffisantes assurant la polynomialite de la decision de la coherence, et nous appliquons ces resultats pour trouver des sous-classes traitables.