Éligibilité de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Éligibilité de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales

Abstract

Dans cet article, nous considérons le problème de la cohérence des réseaux de contraintes qualitatives pour le temps et l'espace. La méthode la plus efficace pour résoudre ce problème consiste à utiliser un algorithme de recherche mettant en oeuvre d'une part la méthode de fermeture par faible composition comme propagation locale de contraintes et d'autre part une décomposition des contraintes en relations appartenant à une classe traitable. Nous proposons une extension de cet algorithme basée sur la notion d'éligibilité de contraintes. Nous étudions cet algorithme de manière théorique et de manière expérimentale.
Fichier principal
Vignette du fichier
grenoble_2007.pdf (211.5 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01434018 , version 1 (13-01-2017)

Identifiers

  • HAL Id : hal-01434018 , version 1

Cite

Jean-François Condotta, Gérard Ligozat, Mahmoud Saade. Éligibilité de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales. Atelier RTE 2007, plateforme AFIA, Jul 2007, Grenoble, France. pp.29-40. ⟨hal-01434018⟩
78 View
73 Download

Share

Gmail Facebook Twitter LinkedIn More