Description
Date depot: 1 janvier 1900
Titre: Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : Un modèle formel intégrant planification et apprentissage
Directrice de thèse:
Amal EL FALLAH SEGHROUCHNI (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Cette thèse s'inscrit dans le domaine des méthodes formelles de vérification et d'analyse des systèmes informatiques distribués. L'évaluation du fonctionnement de tels systèmes requiert en général une construction et une exploration d'un espace d'états, induisant de devoir se confronter à l'explosion combinatoire de ces états.
les applications visées seront issues de l'intelligence artificielle. Les systèmes muti-agents couramment utilisés pour les programmer sont fondés sur des objets multi-threadés fonctionnant en parallèle, qui sont capables de raisonnement et de coopérations en vue de réaliser des buts à accomplir. Une particularité des plateformes multi-agents est que le nombre d'agents évolue au cours du temps et que les agents qui communiquent peuvent être hétérogènes (principe d'ouverture des plateformes).
Dans cette thèse, il s'agira de définir et réaliser une plateforme d'analyse de fonctionnement des applications fondées sur un système multi-agents, le but étant de contribuer à l'évaluation du raisonnement des agents.
Durant ces 2 dernières décennies, les recherches menées ont permis de proposer des techniques d'exploration d'espace d'états très efficaces mais se sont concentrés sur des espaces finis et requéraient une connaissance a priori du système de transitions (changement d'états).
Cette thèse devra tirer profit de cette expérience mais il y a plusieurs aspects nouveaux dans le cadre des systèmes multi-agents:
- le parallélisme des actions des agents doit être pris en compte dans le raisonnement des agents, induisant de s'intéresser à des approches sémantiques dites de vrai-parallélisme.
- le vecteur d'états et le système de transitions n'est pas connu à l'avance, du fait de la dynamicité de création et de destruction des threads et de l'hétérogénéité de description des agents.
- les espaces d'états à considérer ne sont pas nécessairement finis, en particulier du fait de l'ouverture des plateformes multi-agents.
Bien que la littérature soit abondante sur chacun de ces points, la prise en compte de façon efficace de l'ensemble est largement un problème ouvert. De plus, il n'existe pas de plateformes de vérification permettant d d'analyser en détails le raisonnement de systèmes multi-agents.
Doctorant.e: Chaouche Ahmed Chawki