ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 31/1-2 - 2017  - pp.41-70  - doi:10.3166/ria.31.41-70
TITRE
Décision de la cohérence des réseaux de contraintes qualitatives combinés

TITLE
Deciding the consistency of combined qualitative constraint networks

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 polynomialité de la décision de la cohérence, et nous appliquons ces résultats pour trouver des sous-classes traitables.


ABSTRACT
We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations, multiscale 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 tractable subclasses.


AUTEUR(S)
Quentin COHEN-SOLAL, Maroua BOUZID, Alexandre NIVEAU

MOTS-CLÉS
réseaux de contraintes qualitatives, décision de la cohérence, raisonnement multiéchelle, intégration lâche, sous-classe traitable, raisonnement sur le temps.

KEYWORDS
qualitative constraint networks, consistency checking, multi-scale reasoning, loose integration, tractable subclass, temporal reasoning.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (325 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier