Extraction de noyaux insatisfiables minimaux de réseaux de contraintes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Extraction de noyaux insatisfiables minimaux de réseaux de contraintes

Résumé

Nous nous intéressons au problème de l'extraction de noyaux insatisfiables minimaux (MUCs) de réseaux de contraintes. Ce problème a un intérêt pratique dans de nombreux domaines d'application tels que la configuration, la planification, le diagnostique, etc. En effet, identifier un ou plusieurs MUCs indépendants, i.e. des MUCs qui ne partagent aucune contrainte, permet d'isoler différentes sources d'inconsistance et de corriger un système incohérent. Dans cet article, nous proposons une approche originale pour extraire un MUC d'un réseau de contraintes. Cette approche comporte deux étapes. La première consiste à exécuter plusieurs fois un algorithme de recherche complète, en utilisant la pondération de contraintes, de manière à circonscrire une partie inconsistante du réseau. La seconde consiste à identifier, en utilisant un processus dichotomique, les contraintes de transition appartenant à un MUC. Nous montrons l'intérêt de cette approche en avançant des arguments théoriques et pratiques.
Fichier principal
Vignette du fichier
23.pdf (176.33 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00085792 , version 1 (14-07-2006)

Identifiants

  • HAL Id : inria-00085792 , version 1

Citer

Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart. Extraction de noyaux insatisfiables minimaux de réseaux de contraintes. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France. ⟨inria-00085792⟩
86 Consultations
177 Téléchargements

Partager

Gmail Facebook X LinkedIn More