Cadre expérimental pour l’évaluation de méthodes hybrides en configuration interactive sous contraintes
Résumé
La configuration de systèmes est généralement formalisée sous forme d’un problème de satisfaction de contraintes.
Le modèle générique d’une famille de systèmes se confond alors avec le CSP. Deux types d’approches permettent de
résoudre un CSP et de définir ainsi une solution de configuration: les approches par filtrage (qui agissent de façon
itérative sur le réseau de contraintes) et les approches par compilation (qui raisonnent sur l’espace des solutions).
Ces deux approches ont chacune des avantages et des inconvénients, en termes de temps de compilation, temps de
filtrage, compacité des solutions, etc. Dans nos travaux de thèse, nous souhaitons hybrider ces deux approches afin de tirer profit de leurs avantages et de limiter leurs défauts, sur des problèmes de configurations. Dans ce contexte, le but de cet article est d’établir un cadre expérimental qui permet de valider la pertinence d’une approche hybride
des approches par filtrage et par compilation. Nous analyserons les caractéristiques des approches hybrides, pour
mettre en évidence des critères comme l’évolutivité d’un CSP. Ensuite, nous reprendrons un protocole de configuration basé sur des CSP majoritairement discrets, avec des problèmes de configuration de tailles différentes, avec et sans variables continues. Nous nous proposons de l’élargir à d’autres types de CSP pour prendre en compte les spécificités des problèmes de configuration (architecture de CSP, CSP dynamique, etc.). Grâce à ce cadre, des premières hypothèses d’hybridation seront formulées.
Fichier principal
Cadre-expérimental-pour-l’évaluation-de-méthodes-hybrides-en-configuration-interactive-sous-contraintes.pdf (133.72 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)