Supervision : Jean-Pierre BRIOT

Conception et Execution d'Interactions dans les SMA: Spécialisation et Sélection de Protocoles Génériques

Cette thèse s'intéresse à la conception et au contrôle de l'exécution d'interactions entre agents basées sur des protocoles génériques. Elle propose des solutions aux deux problèmes suivants: (1) comment concevoir les intractions entre agents basées sur des protocoles génériques de sorte à garantir des échanges de messages cohérents et faciliter la réutilisabilité? (2) comment procéder au choix de ces protocoles chaque fois que desa gents doivent réaliser des tâches en collaboration?
Les méthodologies de conception orientées-agent actuelles ne préconisent pas une séparation du modèle d'interaction des agents, qui à notre avis constituent la partie publique de l'architecture des agents, de la partie privée de cette architecture. Aucune d'elles n'est alors aisée à réutiliser. De plus, ces méthodologies n'offrent aucune assistance pour la spécialisation des protocoles génériques. Il devient quasi impossible d'anticiper les incohérences et les résoudre. Cependant, modéliser, concevoir et même exécuter des interactions basées sur des protocoles génériques nécessite une démarche spéciale. Des problèmes sous-jacents tels que la réutilisabilité des protocoles, leur spécialisation correcte et leur mode de sélection doivent être proprement résolus. Nous avons donc développé une méthode AIDE: Agents Interactions Design and Execution control, où les mécanismes de coordination des agents sont statiquement et automatiquement dérivés des spécifications de protocoles génériques. Dès lors que les protocoles ont été spécialisés, ils seront statiquement ou dynamiquement choisis pour exécuter des interactions dans le cadre de la réalisation de tâches en collaboration. Généralement ce choix est effectué à la conception, ce qui reste une forte limitation par rapport à l'ouverture des systèmes multi-agent (SMA) et à l'introduction dynamique de protocoles. Nous avons alors étendu la méthode AIDE afin de rendre les agents eux-mêmes capables de sélctionner leurs protocoles. Nous proposons deux techniques de sélection en fonction des conditions qui se vérifient dans le SMA. Lorsque les agents se font confiance et sont prompts à échanger des informations sensibles, les connaissances qu'ils possèdent et leurs stratégies, ils sélectionnent collectivement le protocole à utiliser pour la réalisation d'une tâche donnée. Dans le cas contraire, chaque agent effectue sa sélection et contrôle la cohérence de l'interaction à travers les messages échangés.
La méthode AIDE permet le découplage du modèle d'interaction des agents du reste de leur architecture. Elle réduit considérablement les incohérences lors des interactions et favorise plus de comportements dynamiques dans les SMA. Nous l'avons implanté et testé avec diverses applications.

2003-2010 Publications

• 2010
  • J. Quenum, S. Aknine : “A Unification-based Approach to Configure Generic Protocols into Agent Interaction Models”, International Journal of Agent-Oriented Software Engineering, vol. 4 (1), pp. 32-78, (Inderscience) (2010)
• 2006
  • J. Quenum, S. Aknine, O. Shehory, Sh. Honiden : “Dynamic Protocol Selection in Open and Heterogeneous Systems”, IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, Hong Kong, pp. 333-341, (IEEE) (2006)
  • J. Quenum, S. Aknine, J.‑P. Briot, Sh. Honiden : “A Modelling Framework for Generic Agent Interaction Protocols (papier court)”, 4^th International Workshop on Declarative Agent Languages and Technologies (DALT'2006), Hakodate, Japan (2006)
  • J. Quenum, S. Aknine, J.‑P. Briot, Sh. Honiden : “A Modelling Framework for Generic Agent Interaction Protocols”, chapter in Declarative Agent Languages and Technologies IV, vol. 4327, Lectures Notes in Artificial Intelligence, pp. 207-224, (Springer-Verlag), (ISBN: 978-3-540-68959-1) (2006)
• 2005
  • J. Quenum : “Conception et Execution d’Interactions dans les SMA: Spécialisation et Sélection de Protocoles Génériques”, thesis, phd defence 12/06/2005, supervision Briot, Jean-Pierre (2005)
  • J. Quenum, S. Aknine : “A Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks”, International Central and Eastern European Conference on Multi-Agent Systems, vol. 3690, Lecture Notes in Artificial Intelligence, Budapest, Hungary, pp. 11-20, (Springer-Verlag) (2005)
• 2004
  • J. Quenum, S. Aknine, A. Slodzian : “An Approach to Configure Interactions from Generic Protocols”, Workshop on Agent-Oriented Methodologies, OOPSLA, Vancouver, Canada, pp. 8-8 (2004)
• 2003
  • J. Quenum, A. Slodzian, S. Aknine : “Modélisation des Interactions dans les SMA - Configuration et Sélection Automatiques de Rôle”, JFSMA 2003 - 11^es Journées Francophones sur les Systèmes Multi-Agents, Hammamet, Tunisia, pp. 303-307, (Hermès-Lavoisier) (2003)
  • J. Quenum, A. Slodzian, S. Aknine : “Automatic Derivation of Agent Interaction Model from Generic Interaction Protocols”, AOSE 2003 - 4^th International Workshop on Agent-Oriented Software Engineering, vol. 2935, Lecture Notes in Computer Science, Melbourne, Australia, pp. 138-152, (Springer) (2003)