Avis de soutenance de thèse de Nicolas SCHMIDT

#4
UNIVERSITE DARTOIS
Direction de la
Recherche, des
Etudes Doctorales
et de la Valorisation
lRvis de soutenance
de thèse
Monsieur Nicolas SCHMIDT
grade de Docteur en lnformatique de
soutiendra publiquement sa thèse pour obtenir le
I'Université d'Artois
Le L7lQel201s à 1lh
université d'Artois - Faculté des sciences, salle des thèses Lens
Suiet de
thèse
produit
Compilation de préférences - application à la configuration de
Résumé
en
de décision valués (VDD) est qu'ils admettent des algorithmes
L,intérêt des différents langages de la famille des diagrammes
temps PolYnomial
globale, l'inférence) qui ne sont pas polynomiaux (sous
pour des traitements (comme l,optimisation, la cohérence inverse
l'hypothèse P 6= NP), si ils
que les réseaux de contraintes ou les réseaux bayésiens'
sont effectués sur le problème dans sa forme originale tel
de produit, et plus spécifiquement' la configuration en
de
configuration
problème
Dans cette thèse, nous nous intéressons au
une
(typiquement, un prix)' lci, la présence d'un utilisateur en ligne nous impose
ligne avec fonction de valuation associée
temps
en
pas
d'algorithmes
l'utilisation de langages n'admettant
réponse rapide à ses requêtes, rapidité rendant impossible
polynomial
ces problèmes vers des langages satisfaisant ces requêtes'
pour ces requêtes. La solution proposée est de compiler hors-ligne
afin de diminuer le
temps de réponse pour l'utilisateur'
théorique des VDD, et plus particulièrement les trois langages
une première partie de cette thèse est consacrée à l'étude
et Affine Algebraic Decision Diagrams (ADD, sLDD et AADD)'
Diagrams
Algebraic Decision Diagrams, semi ring Labelled Decision
la
proporoni des procédures de traductions entre ces langages, et étudions
Nous y remanions le cadre de définition des sLDD,
dans
langages'
ces
de
compilation
de
dans une deuxième partie la carte
compacité théorique de ces langages. Nous établissons
la
complexité
déterminons
nous
laquelle
correspondant à nos besoins' Nous proposons également un
algorithmique d,un ensemble de rlquêtes et transformations
algorithme de comPilation
la taille
d'ordonnancement de variables et contraintes visant à minimiser
à approche ascendante, ainsi que plusieurs heuristiques
partie
est
dernière
la
Enfin
d"ia reprérentation après compilation ainsi que letemps de compilation'
produit' ces
et de l'utilisation de formes compilées pour la configuration de
consacrée à l,étude expérimentale de la compilation
produit'
pour la configuration en ligne de
expérimentations confirment l'intérêt de notre approche
(le compilateur sALADD) pleinement fonctionnel, réalisant la
.orpilrt"rr.
un
thèse
cette
de
cours
implémenté au
Nous avons
compilation de réseaux
produit' Le
un ensemble de fonctions adaptées à la configuration de
de contraintes et de réseaux bayésiens, et avons développés
bon fonctionnement et
via un protocole de validation commun à plusieurs solveurs'
les bonnes performances de ce compilateur ont été validés
Membres du iurv
de caen Basse-Norffandie' Rapporteur
Monsieur Bruno zANUîîlNl - Maître de conférences l-iDR, Université
MonsieurLaUrentSlM0N-Professeur,UniversitédeBordeauxl"Rapporteur
MonsieurPierreMARQUI5-Professeur,Universitérl,Artois"Directeur
lRlT - Toulcuse' co-directeur
Madame Hé!ène FARGIER - Directeur de recherche cNRS,
Monsieur Daniel Lf BERRE - Professeur, Université d'Artois'
Madame[liseVARElLLES-Maître-Assistant,EcoledesMinesd'Albi'
Le
Vice-président
R
che,
o
I
SERVICES CENTRAUX
.62030 ARRAS CEDEX
9 RUE DU TEMPLE - BP 10665
Té1. 03 21 60 37 00 - Fax 03 21 60 37 37
,.,,.^^.
aF+^ic
fr