Mering iv : un langage d'acteurs pour l'intelligence artificielle distribuee integrant objets et agents par reflexivite compilatoire

Mering iv: an actor language for distributed artificial intelligence that integrates objects and agents using a compile based model of reflection

• Auteur / Autrice : Patrice Carle
• Direction : Jacques Ferber
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1992
• Etablissement(s) : Paris 6

Résumé

Les langages d'acteurs sont fondes sur un modele particulier de decentralisation des connaissances, un type de protocole d'interactions et une granularite specifique de concurrence. Or une grande partie des recherches actuelles en i. A. D portent justement sur la granularite de la decentralisation, la recherche de protocoles intelligents, et suppose une gestion de la granularite du parallelisme. Nous avons realise un langage d'acteur reflexif, mering iv, pour que ces caracteristiques ne soient plus figees mais adaptables. Le modele de reflexivite propose enrichit le langage d'acteur en permettant de decrire un mecanisme de representation a l'aide de classes et un modele de raisonnement de type multi-agents a l'interieur du langage lui-meme. Cette reflexivite decrit les mecanismes d'execution et d'interactions qui ne sont plus interpretes comme dans les modeles standards, mais compiles, ce qui non seulement optimise les performances du langage, mais de plus apporte une description plus complete des caracteristiques du langage. Nous montrons les possibilites de la reflexivite au travers d'exemples ecrits en mering iv. Ces exemples portent notamment sur la gestion du parallelisme et la description de protocoles d'interaction dans le cadre de systemes multi-agents