Éligibilité de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01434018 , version 1

Citer

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⟩
95 Consultations
82 Téléchargements

Partager

Gmail Facebook X LinkedIn More