PhD

Details

Title: The emotions: from psychological theories to logical formalisation and implementation in a BDI agent

Keywords: Emotions, BDI logics (logics of mental attitudes), intelligents agents, appraisal, coping

Defended on July 10, 2007 at IRIT (Toulouse Research Institute in Computer Science), Toulouse, France

Read the thesis (link2, link3) or view the slides.

My previous webpage at IRIT (no longer maintained)

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

Supervisors

Andreas Herzig - Research Director, IRIT - CNRS

Dominique Longin - Research Fellow, IRIT - CNRS

Fabrice Evrard - Assistant teacher, ENSEEIHT

Jury

Reviewers :

Examiners :