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 .

mots clés

• Logique modale
• Agent rationnel
• Action
• Contrainte
• Croyance
• Intention
• Croyance (philosophie) -- Informatique
• Modalité (logique)
• Raisonnement -- Informatique
• Agent (philosophie) -- Informatique
• Intension (logique) -- Informatique

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