Jacqueline AYEL

Son article :

Mots-clefs : Systèmes multi-agents, protocoles de coopération, argumentation.
Résumé : Nous nous plaçons dans le contexte de la résolution distribuée de problèmes, contexte dans lequel les agents coopèrent à la résolution d'un problème ‘)ar envoi de rriessuesPour coopérer, les agents utilisent des Ï3rcaocoles---de-c_Qopératiomitels que, par exemple le protocole de contract net (16). Cet article propose une implantation d'un langage de spécification de protocoles de coopération ayant une structure suffisamment générale pour permettre de décrire n'importe quel processus de coopé- ration, mais qui utilise un schéma général de coopération basé sur des connaissances en théorie des actes de langages pour limiter les possibilités d'échanges entre les agents. En effet, la définition de notre langage s'appuie sur les travaux de classification des actes de langage de Ballmer et Brennens- tuhl[2]. Dans ce langage, un protocole est défini par un ensemble d'états et de transitions possibles à partir des états. Définir un protocole particulier tel que le contract net, c'est restreindre l'ensemble des états possibles et les transitions possibles à partir d'un état, et instantier un certain nombre de champs caractérisant le protocole. Nous donnons ainsi à travers notre langage la possibilité de définir de nouveaux concepts de coopération qui vont servir à mieux cerner le contexte dans lequel le protocole sera utilisé. Dans ce contexte, un système mufti-agents de résolution de problèmes est formé d'un ensemble d'agents ayant chacun à sa disposition, une bibliothèque de protocoles de co- opération. Chaque agent consulte sa bibliothèque pour guider son processus de coopération avec les autres agents. Nous proposons donc, un modèle d'agent capable d'utiliser cette bibliothèque, c'est à dire capable d'interpréter le contenu de la bibliothèque et de suivre l'exécution du protocole. Une implantation de ce modèle est en cours.