[Home bibliotech]
Home > Les thèses en ligne de l'INP

Emotions: from psychological theories to logical formalization and implementation in a BDI agent

Adam, Carole (2007) Emotions: from psychological theories to logical formalization and implementation in a BDI agent. (Les émotions : des théories psychologiques à la formalisation logique et l'implémentation dans un agent BDI.)

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1.51 Mo

Abstract

Cette thèse s'intéresse aux émotions, et plus particulièrement à leur formalisation logique. La première partie est consacrée à l'état de l'art, du point de vue de la psychologie (exposé d'un historique des théories des émotions) et de l'informatique (présentation d'agents émotionnels et de leurs applications). La deuxième partie est consacrée à la formalisation logique des émotions. Elle introduit le formalisme logique utilisé, expose et argumente les définitions formelles de vingt émotions, et démontre certaines de leurs propriétés. Enfin, la troisième partie est consacrée aux applications pratiques de ce travail et aux perspectives de continuation. Un tel travail apporte plusieurs contributions : il offre à la communauté agent un modèle formel d'un grand ensemble d'émotions ; il montre l'intérêt des logiques BDI ; enfin il ouvre des perspectives de recherche sur la dynamique des émotions et leur influence sur le comportement des agents, un domaine encore peu exploré. ABSTRACT : This thesis is about emotions, and more particularly about their logical formalization. The first part is dedicated to the state of the art, from the point of view of both psychology (history of theories of emotions) and computer science (presentation of emotional agents and their applications).The second part is dedicated to the logical formalisation of emotions. It introduces our logical framework, exposes and argues the formal definitions of twenty emotions, and proves some of their properties. Finally the last part is dedicated to practical applications and continuation prospects of this work. Such a work offers interesting contributions : it offers to the agent community a formal model of a great number of emotions; it shows the interest of BDI logics; and it opens research prospects about the dynamics of emotions and their influence on the behaviour of agents, a field not much explored for now.

Department:Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France)
Directeur de thèse:Herzig, Andreas
Uncontrolled Keywords:Emotions - Agent - Logiques BDI - Psychologie cognitive - Appraisal - Coping
Subjects:Computer science > Robotics and artificial intelligence
Deposited On:11 March 2008

Archive Staff Only: edit this record


Contacts | Infos légales | Plan du site | Intranet

(c)INP de Toulouse 2012 - Tous droits réservés. -  INP Communication