Extraction de noyaux insatisfiables minimaux de réseaux de contraintes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Extraction de noyaux insatisfiables minimaux de réseaux de contraintes

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00085792 , version 1

Cite

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⟩
84 View
168 Download

Share

Gmail Facebook Twitter LinkedIn More