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

par Carole Adam

Thèse de doctorat en Intelligence artificielle

Sous la direction de Andréas Herzig.

Soutenue en 2007

à Toulouse, INPT .

  • Titre traduit

    ˜Les œémotions : des théories psychologiques à la formalisation logique et l'implémentation dans un agent BDI


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    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é.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (246 p.)
  • Annexes : Bibliogr. p. 197-210

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 07INPT023H/2
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.