De l'action à l'intention : vers une caractérisation formelle des agents

par Christel Seguin

Thèse de doctorat en Informatique

Sous la direction de Luis Fariñas del Cerro.

Soutenue en 1992

à Toulouse 3 .


  • Résumé

    Nous proposons une formalisation logique des univers multi-agents. Pour cela, nous avons analyse les agents rationnels a travers les liens qui existent entre leurs attitudes mentales et leur comportement. Les attitudes mentales, connaissance et intention, constituent les objets du raisonnement de l'agent. Les connaissances correspondent a la perception partielle mais objective que l'agent a de son environnement alors que les intentions decrivent les situations que l'agent souhaite atteindre. Le comportement de l'agent est analyse a travers l'enchainement de ses actes. Ces differentes composantes sont interdependantes. La notion d'action est le trait d'union qui les relient toutes. Ainsi, les intentions motivent les actions; la realisation effective d'une action est fonction des connaissances; la realisation d'une action modifie connaissance et intention puisqu'elle affecte l'environnement. Nous proposons un cadre logique qui prend en compte ces differentes notions et explicite la facon dont les agents gerent l'evolution de leurs attitudes mentales. La formalisation est basee sur la combinaison de trois logiques modales: logique de l'action, logique des croyances et logique de l'intention. Pour definir la rationalite des agents, il faut determiner le type d'interactions qui existe entre les systemes de base. Cette etude pose le probleme de la representation de l'univers, des lois physiques qui regissent sa structure et son evolution, des actions. Nous proposons de traiter les contraintes physiques comme des actions particulieres et normalisons la description des actions et des contraintes de maniere a expliciter le type de changement suscite. Cette representation permet de resoudre le probleme du decor (frame problem) et des effets de bord d'une action (ramification problem). Elle permet ainsi de traiter des problemes de planification. Elle est utilisee pour creer un lien entre les croyances des agents et les actions qu'ils observent et determine ainsi la facon dont les croyances d'un agent rationnel evoluent. Plus generalement, le cadre complet nous permet de prendre en compte des problemes de cooperations en considerant que la communication entre agents est une action particuliere dont les effets dependent de l'etat mental (etat de connaissance et d'intention) de l'auditeur comme du locuteur. D'autre part, les strategies de cooperation peuvent etre basees sur les qualites des differents agents et les qualites d'un agent peuvent etre vues comme l'interaction entre son etat mental et son comportement

  • Titre traduit

    From action to intention: towards a formal characterization of agents


  • Résumé

    Nous proposons une formalisation logique des univers multi-agents. Pour cela, nous avons analyse les agents rationnels a travers les liens qui existent entre leurs attitudes mentales et leur comportement. Les attitudes mentales, connaissance et intention, constituent les objets du raisonnement de l'agent. Les connaissances correspondent a la perception partielle mais objective que l'agent a de son environnement alors que les intentions decrivent les situations que l'agent souhaite atteindre. Le comportement de l'agent est analyse a travers l'enchainement de ses actes. Ces differentes composantes sont interdependantes. La notion d'action est le trait d'union qui les relient toutes. Ainsi, les intentions motivent les actions; la realisation effective d'une action est fonction des connaissances; la realisation d'une action modifie connaissance et intention puisqu'elle affecte l'environnement. Nous proposons un cadre logique qui prend en compte ces differentes notions et explicite la facon dont les agents gerent l'evolution de leurs attitudes mentales. La formalisation est basee sur la combinaison de trois logiques modales: logique de l'action, logique des croyances et logique de l'intention. Pour definir la rationalite des agents, il faut determiner le type d'interactions qui existe entre les systemes de base. Cette etude pose le probleme de la representation de l'univers, des lois physiques qui regissent sa structure et son evolution, des actions. Nous proposons de traiter les contraintes physiques comme des actions particulieres et normalisons la description des actions et des contraintes de maniere a expliciter le type de changement suscite. Cette representation permet de resoudre le probleme du decor (frame problem) et des effets de bord d'une action (ramification problem). Elle permet ainsi de traiter des problemes de planification. Elle est utilisee pour creer un lien entre les croyances des agents et les actions qu'ils observent et determine ainsi la facon dont les croyances d'un agent rationnel evoluent. Plus generalement, le cadre complet nous permet de prendre en compte des problemes de cooperations en considerant que la communication entre agents est une action particuliere dont les effets dependent de l'etat mental (etat de connaissance et d'intention) de l'auditeur comme du locuteur. D'autre part, les strategies de cooperation peuvent etre basees sur les qualites des differents agents et les qualites d'un agent peuvent etre vues comme l'interaction entre son etat mental et son comportement

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol.([2]-166 p.)

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Ecole nationale supérieure des sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : F 2. SEG.
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1992TOU30048

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1992-SEG
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.