Modèle et langage de coordination pour les systèmes multi-agents ouverts : Application au problème du Transport à la Demande
Institution:
Paris 9Disciplines:
Directors:
Abstract EN:
This P. H. D thesis proposes a data-oriented coordination model for open multi-agent systems. The coordination model Acios models agents with a state that is observable from the environment, the agents access data associatively with a matching mechanism allowing them to express complex interactional needs, notably contextual. Data exchanged within a multi-agent system adhering to the Acios model are made secure by the agents and by the system designer. Acios models an open multi-agent system, allowing external systems to link the agents' free variables evolving in the system. The coordination language Lacios and the associated operational semantics allow to write programs adhering to the model and specifies unambiguously the expected behavior of the system. An implementation in the form of a script language over Java is developed, allowing to build a system focusing on high-level coordination and guarantying that it adheres to the Acios model. The grounding application is a highly complex system that is suitable for distributed modelling. It's the dynamic vehicle routing problem and more specifically its dial-a-ride version. An application written in Lacios is proposed, the respect of the constraints is guaranteed thanks to the observation of the environment objects properties. A new measure to choose between concurrent vehicles is proposed, based on the quantification of their perception fields
Abstract FR:
Cette thèse propose un modèle de coordination orienté-données pour les systèmes multi-agents ouverts. Le modèle de coordination Acios représente des agents avec un état observable de l'environnement, accédant aux données d'une manière associative avec un mécanisme d'appariement leur permettant l'expression d'un besoin interactionnel complexe, notamment contextuel. Les données échangées dans un système multi-agent adhérant au modèle de coordination Acios sont sécurisées par les agents et par le concepteur du système. Le modèle représente un système multi-agent ouvert, permettant à un système externe de lier les variables libres des agents y évoluant. Le langage de coordination Lacios et la sémantique opérationnelle associée permet d'écrire des programmes adhérant au modèle et spécifie d'une manière non ambiguë le comportement prévu du système. Une implémentation sous la forme d'un langage de script au dessus de Java est développée, permettant une réalisation du système en se focalisant sur la coordination à un haut niveau d'abstraction et en garantissant son adhésion au modèle Acios. L'application support est un problème de grande complexité et se prêtant bien à une modélisation distribuée. Il s'agit du problème dynamique de tournées de véhicules et plus spécifiquement sa variante Transport À la Demande. Une réalisation en Lacios est proposée, la non violation des contraintes du problème est garantie grâce à l'observation des propriétés des objets de l'environnement. Une nouvelle mesure de choix entre véhicules concurrent pour l'insertion d'un client est proposée, reposant sur la quantification de leurs champs de perception