Carole ADAM nous annonce la soutenance de sa thèse, intitulée "Les émotions: des théories psychologiques à la formalisation logique et l'implémentation dans un agent BDI", aura lieu le mardi 10 Juillet 2007 à 10h30 à l'auditorium de l'IRIT. Un pot aura lieu dans le hall de l'IRIT2 à 16h.
Les émotions sont un phénomène de plus en plus étudié par la communauté agent. Cette thèse s'intéresse à 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 d'après la théorie psychologique d'Ortony et al., connue sous le nom de typologie OCC. Elle introduit le formalisme logique utilisé (une logique BDI particulière), 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 (études de cas d'utilisation, implémentation dans un agent BDI, évaluation auprès d'utilisateurs humains) et aux perspectives de continuation (notamment la formalisation de l'effet des émotions sur le comportement d'agents autonomes).
