Abdeldjalil Ramoul - Mixed-initiative planning system to assist the management of complex IT systems

13:00
Wednesday
28
Nov
2018
Speaker: 
Abdeldjalil Ramoul
Teams: 
Keywords: 

 

Jury :

Sylvie  Pesty, professeur, Université Grenoble Alpes, directrice de thèse
Amal El Fallah Seghrouchni, professeur, Sorbonne Universités - Paris, rapporteur
Samir  Aknine, professeur, Université Lyon 1, rapporteur
Rachid  Alami, directeur de recherche, CNRS Délegation Midi-Pyrénées, examinateur
Damien  Pellier, maître de conferences, Université Grenoble Alpes, codirecteur de thèse

 

The concept of complex IT systems includes all systems consisting of a large number of inter-connected and computer-managed components. The configuration and management of these systems involves a multitude of tasks that are critical to their proper functioning and their evolution. The problem of defining procedures for managing and configuring such systems becomes very critical in view of their increasing complexity and their rapid evolution. The aim of this thesis is to develop a mixed-initiative planning tool for the automatic co-generation of a set of management and configuration actions, regardless of the application domain. In this perspective, we develop GTOHP, a hierarchical automatic planner, with HTN, that present the high performance needed for a mixed-initiative interaction. We propose an algorithm for the instantiation and the simplification of HTN planning problems, which significantly reduces their complexity and improves the performance of the planning algorithms. We also propose an extension to the « Planning Domain Definition Language » (PDDL) in order to modelize the knowledge of domain experts in the form of tasks decomposition methods that will be used to guide the HTN planning algorithm. Then, we integrate some mechanisms to GTOHP for collecting statistics and information about the tests results carried out during the plans search and integrate them into the MIP which provides several features of mixed-initiative interaction. We demonstrate the high performance of the GTOHP planner and the contributions of the instantiation and simplification algorithm, by comparing them to a state-of-the-art HTN planner through a series of experiments on planning domains from the international planning competitions. Finally, we propose a panel of evaluation criteria of mixed-initiative systems that serve as a basis for the discussion about the performances and contributions of the MIP system.