Composition flexible par planification automatique / Soutenance de These en Informatique - IA & IHM

In a context of Ambient Intelligence, some of the user's needs might not be anticipated, e.g. when the user is in an unforeseen situation. In this case, it is possible that there is no system that exactly meets their needs. By composing the available systems, the user could obtain a new system that satisfies their needs. In order to adapt the composition to the context, the composition must allow the user to make choices at runtime. This means that the composition should include control structures for the user: the composition is flexible.
In this thesis, I deal with the problem of the flexible composition by automated planning for which I propose a model. The sequence and the choice operators are defined and used to characterize flexible plans. Two other operators are then derived from the sequence and the choice operators: the interleaving and the iteration operators. I refer to this framework in order to define the flexibility produced by my planner, LambdaGraphPlan (LGP for short), which is based on the planning graph. The originality of LGP is to produce iterations. I show that LGP is very efficient on domains that allow the construction of iterative structures.