Modèle et langage de coordination pour les systèmes multi-agents ouverts : application au problème du Transport à la Demande

par Mahdi Zargayouna

Thèse de doctorat en Informatique

Sous la direction de Serge Haddad, Gérard Scémama et de Flavien Balbo.

Soutenue en 2007

à l'Université Paris-Dauphine .


  • Résumé

    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

  • Titre traduit

    ˜A œcoordination model and language for open multiagent systems : Application to the Dial A ride Problem


  • Résumé

    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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (172 p.)
  • Annexes : bibliogr.190ref.Index

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Dauphine (Paris). Service commun de la documentation.
  • Consultable sur place dans l'établissement demandeur
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.