Caen, le 3 Décembre 2006 à qui de droit OBJET : Rapport sur le

Caen, le 3 Décembre 2006
à qui de droit
OBJET : Rapport sur le mémoire de thèse de Habiba Belleili qui s’intitule
« Coordination d’agents flexibles »
Les travaux que présente Habiba Belleili s’inscrivent dans le domaine de la coordination d’agents
flexibles dotés de techniques de raisonnement sous contraintes de ressources en tenant de différent
formalismes et plus particulièrement les méthodes multiples du formalisme TEAMS de Victor Lesser
et son groupe et du raisonnement progressif de Mouaddib et Zilberstein. Dans ce cadre général,
Habiba Belleili traite la question de la coordination des agents dotés de ces techniques sous
contraintes de temps y compris le temps nécessaire pour la coordination.
Le manuscrit qui m’a été transmis est organisé en une introduction générale et deux grandes parties.
Une première partie intitulée « état de l’art et contexte d’étude » qui trace en deux chapitres d’abord
l’essentiel des techniques de raisonnement sous contraintes de ressources et particulièrement les
algorithmes « anytime », les méthodes multiples et le raisonnement progressif, ensuite les techniques
de coordination comme GPGP, PGPP, PGFS. Je trouve cette partie pertinente et le choix des
techniques nécessaires pour répondre à la question initiale est judicieux. Cependant, une petit rappel
sur les techniques de coordination multi-agents comme ShredPlan, JointPlan, … aurait complété,
d’une manière parfaite, cette partie. Ceci étant dit, cela ne nuit pas à la qualité de cette partie.
La deuxième partie, décrit en cinq (5) chapitres, les contributions de Habiba Belleili. Ainsi, dans le
chapitre 4, Habiba Belleili décrit une architecture d’agents flexibles appropriée pour aborder le
problème que se pose la candidate. L’architecture proposée peut laisser pense que les algorithmes
vont être complexes. Mais la réponse sera donnée dans les chapitres qui suivent. Ensuite les
chapitres suivants décrivent les algorithmes de coordination. Dans le chapitre 5, Habiba Belleili décrit
une technique de coordination par formation de coalition qui paraît comme une « agentification » du
raisonnement progresif non-linéaire proposé par Mouaddib et Zilberstein qui peut être vu comme une
combinaison du raisonnement progressif et méthodes multiples. L’algorithme proposé est convergent
et polynomial. Le chapitre 6, présente un algorithme incrémental pour des agents organisés en
hiérarchie et dotés de méthodes multiples. L’algorithme proposé permet à tout moment d’avoir une
solution du problème (une méthode par agent) et qui respecte toutes les contraintes et qui s’adapte au
temps restant pour décider de la stratégie de coordination. Je considère cet algorithme comme une
contribution significative car il apporte une amélioration aux techniques existantes comme GPGP et
PGPP que la candidate à présenter dans la partie éta de l’art. Enfin, cette partie s’achève par un
chapitre représentant les résultats expérimentaux qui confirment tout le bien fondé des approches
préconisées. Une conclusion résumant les contributions et les perspectives ouvertes par ce travail
sont explicitées dans un dernier chapitre.
Parce que les résultats présentés dans cette thèse représentent une avancé très significative de l’état
de l’art et des solutions efficaces à l’application des techniques des agents flexibles à de véritables
applications réelles, de la maîtrise des domaines de raisonnement sous contraintes de ressources et
des techniques des coordination flexibles, j’émets un avis très favorable sur le travail de thèse
présenté par Habiba Belleili.
Maroua Bouzid
Maître de conférence habilitée de l’université de Caen, Habilitée