SUNA Alexandru

doctorant à Sorbonne Université
Équipe : SMA
https://lip6.fr/Alexandru.Suna

Direction de recherche : Amal EL FALLAH SEGHROUCHNI

CLAIM et SyMPA : Un environnement pour la programmation d'agents intelligents et mobiles

Dans cette thèse nous proposons un cadre théorique et pratique pour la programmation d'agents autonomes, intelligents, adaptatives, communicants et mobiles. A partir de notre constat qu'il y a un besoin pour des langages de haut niveau permettant de programmer des agents à la fois intelligents et mobiles et qu'aujourd'hui il n'existe pas un formalisme unifiant satisfaisant ces besoins, cette thèse propose un environnement de programmation orientée agent composé de deux éléments principaux: le langage CLAIM et la plateforme associée SyMPA. CLAIM est un langage de programmation de haut niveau permettant d'implanter des agents intelligents (avec un état mental complexe et des mécanismes de raisonnement puissants), communicants et mobiles, en utilisant les mêmes concepts pour la conception et l'implantation des applications d'agents, afin de réduire le décalage entre ces deux phases, en réduisant ainsi les efforts et la durée de développement. Le langage permet aussi l'adaptabilité dynamique du système multi-agents construit, à l'aide d'une représentation hiérarchique des agents et des outils du langage permettant aux agents de s'auto-reconfigurer de manière autonome, d'acquérir des nouvelles connaissances et capacités, et d'adapter leur structure en fonction des changements dans l'environnement et des besoins des applications cibles. CLAIM a une sémantique opérationnelle décrivant le comportement du système multi-agents et représentant un premier pas vers la vérification formelle des programmes d'agents. SyMPA est une plateforme distribuée implantée en Java qui supporte des agents CLAIM. Elle offre des outils pour définir des agents et des classes d'agents, un compilateur pour CLAIM et des mécanismes pour le déploiement, l'exécution, la communication et la mobilité des agents, en assurant en même tems un haut niveau de sécurité et de tolérance aux pannes. SyMPA offre également des interfaces graphiques pour la gestion des agents et pour visualiser leur exécution, communication et migration. CLAIM et SyMPA ont déjà été utilisées pour développer plusieurs applications complexes prouvant ainsi l'expressivité du langage et la robustesse de la plateforme.

Soutenance : 07/12/2005

Membres du jury :

FERBER Jacques, Professeur Univ. Montpelier II (Rapporteur)
HADDAD Serge, Professeur Univ. Paris Dauphine (Rapporteur)
BRIOT Jean-Pierre, Directeur de recherche CNRS, LIP6 (Examinateur)
FOUQUERE Christophe, Professeur Univ. Paris XIII (Examinateur)
QUEINNEC Christian, Professeur Univ. Paris 6 (Examinateur)
EL FALLAH SEGHROUCHNI Amal, Professeur Univ. Paris X (Directrice de thèse)

Date de départ : 31/08/2006

Publications 2004-2007