Décision de la cohérence des réseaux de contraintes qualitatives combinés - Archive ouverte HAL Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle Year : 2017

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

Abstract

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.
Fichier principal
Vignette du fichier
ria Cohen-Solal Bouzid Niveau.pdf (587.15 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01579052 , version 1 (31-08-2017)
hal-01579052 , version 2 (26-03-2018)

Identifiers

Cite

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⟩
129 View
241 Download

Altmetric

Share

Gmail Facebook X LinkedIn More