Modélisation et supervision d'institutions multi-agents

par Benjamin Gâteau

Thèse de doctorat en Informatique

Sous la direction de Olivier Boissier et de Djamel Khadraoui.

Soutenue en 2007

à Saint-Etienne, EMSE , en partenariat avec Centre de recherche public Henri Tudor (Luxembourg) (laboratoire) .


  • Résumé

    Le domaine scientifique dans lequel nos recherches s'insèrent est celui des Systèmes Multi-Agents. Dans ce domaine, nous nous intéressons à l'élaboration de modèles globaux définissant et structurant l'activité commune d'agents autonomes. En effet l'autonomie d'un agent se traduit par sa capacité à déterminer ses propres buts face à la configuration de l'environnement ainsi qu'à ses motivations. Du fait de cette autonomie, des conflits liés à l'existence de buts propres à chacun des agents autonomes d'une société d'agents peuvent être incompatibles, complémentaires ou en compétition avec les objectifs de la société. Des modèles de gestion de conflits existent, et dans le cadre de ce travail, nous nous sommes intéressés aux modèles organisationnels. Nous défendons la thèse selon laquelle la définition et la mise en place de contraintes globales influençant le fonctionnement d'agents autonomes doit être faite de manière à prendre en compte l'éventualité que les agents puissent ne pas respecter les contraintes selon les contextes et les objectifs individuels de chacun. Afin d'atteindre ces objectifs, nous proposons un modèle d'Institution Électronique comportant une description explicite et déclarative des contraintes à appliquer aux agents ainsi qu'un système de supervision et de renforcement de ces contraintes. Ce modèle permet de définir et de structurer grâce à MoiseInst l'activité d'un ensemble d'agents autonomes au sein d'une organisation normée et de superviser son respect grâce au système d'arbitrage Synai. Ce dernier est composé d'un ensemble d'agents de supervision capables de mettre en place des mécanismes de régulation et de renforcement de ces contraintes sur les agents autonomes. L'application du modèle se fait dans deux domaines totalement différents puisqu'ils concernent la création et l'exécution de contenu pour la télévision interactive d'un côté et la gestion de contrats électroniques d'une plate-forme de e-commerce de l'autre. Ils exhibent cependant la même problématique d'arbitrage d'entités autonomes devant respecter des contraintes. De plus, ces deux applications sont complémentaires par leur différence de portée de l'Institution.

  • Titre traduit

    Multi-Agent based Institutions Modelling and Supervision


  • Résumé

    The scientific domain of our research work is Multi-Agent System. In this domain, we are interested in the development of global models defining and structuring the common activity of autonomous agents. The autonomy of an agent results in its capacity to determine its own goals vis-a-vis the configuration of the environment and its motivations. Because of this autonomy, conflicts related to the existence of goals suitable for each autonomous agent of a society can be incompatible, complementary or in competition with the society objectives. Models of conflicts management exist and within the framework of this work, we focused on the organisational models. We assert that the definition and implementation of global constraints influencing autonomous agents functioning must be done so as to take into account the possibility that the agents can not respect constraints according to individual contexts and objectives' of each one. In order to achieve these goals, we propose an Electronic Institution model composed of a constraints' description and specification model as well as a system of supervision and reinforcement of these constraints. This model is used to define and structure the activity of a set of autonomous agents within a normed organisation thanks to MoiseInst and to supervise the respect of the organisation specification with Synai. This arbitration system is composed of a set of supervisor agents able to implement constraints' regulation and reinforcement mechanisms on the autonomous agents. The model experimentation is done in two completely different domains. They concern the contents creation and execution for interactive television on a side and the management of electronic contracts in a e-commerce platform on the other side. They have the same arbitration of autonomous entities having to respect constraints issue. Moreover, both applications are complementary by their Institution scope.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol (XXII-227 p.)
  • Annexes : Bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 006.32 GAT
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.