Thèse soutenue

Hiérarchies de contraintes : Quelques approches de résolution
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Mouhssine Bouzoubaa
Direction : Bertrand Neveu
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1996
Etablissement(s) : Marne-la-vallée, ENPC
Jury : Président / Présidente : René Lalement
Examinateurs / Examinatrices : Christian Bessière, Thomas Schiex
Rapporteurs / Rapporteuses : Patrice Boizumault, Michel Rueher

Résumé

FR

L’objectif de ce travail est de proposer quelques approches pour la résolution de hiérarchies de contraintes fonctionnelles. Dans un premier temps, le rôle et les qualités d'une hiérarchie de contraintes sont définis. Une hiérarchie de contraintes permet de résoudre des problèmes sur-contraints en répartissant les contraintes dans une hiérarchie (de niveaux) suivant leur importance. Dans un deuxième temps, un nouveau résolveur de maintien de solutions pour les hiérarchies de contraintes fonctionnelles a été conçu afin d'obtenir des solutions de meilleure qualité. Ce résolveur est basé sur l'utilisation d'un algorithme du type meilleur d'abord et prend en compte différents modes de combinaison des erreurs par niveau et utilise une agrégation globale de type lexicographique sur les valeurs de ces combinaisons. Les modes de combinaison globale intégrés dans ce résolveur sont: le nombre de contraintes non satisfaites, une combinaison où les poids représentent des priorités pour considérer des contraintes de remplacement et enfin la somme des poids des contraintes non satisfaites. Dans un troisième temps, nous proposons une procédure utilisant le résolveur précèdent. Cette dernière est plus prometteuse qu'un algorithme du type séparation et évaluation. Elle peut être incorporée dans les langages de programmation logique par hiérarchie de contraintes afin de réaliser la comparaison inter-hiérarchies et donc de pouvoir éliminer les hiérarchies dont les résolutions produiraient des solutions non désirables. Enfin, nous avons modélisé un résolveur pour la résolution de hiérarchies de contraintes où les modes de combinaison peuvent varier selon les niveaux. Ce dernier prend en compte des contraintes possédant des méthodes recalculant plusieurs variables à la fois et établit un plan de coopération entre des résolveurs spécifiques. Ces résolveurs spécifiques doivent être conçus selon les modes de combinaison utilisés.