Emotions: psychology, logical formalisation, and agent applications

ISBN-13: 9783639177398 / Angielski / Miękka / 2009 / 216 str.

Carole Adam

Opis

This book proposes a formalisation of emotions in aBDI logic (logic of belief, desire and intention).Such a formalisation aims at helping the design ofemotional agents. The first part isdedicated to the state of the art, from the point ofview of both psychology (history of theories ofemotions) and computer science (emotional agents andtheir applications). The second part is dedicated tothe logical formalisation of emotions; it introducesthe logical framework, exposes and argues the formaldefinitions of twenty emotions, and proves some oftheir properties. Finally the last part is dedicatedto practical applications and continuation prospectsof this work. Such a work offers interestingcontributions: it provides the agent community with aformal model of a great number of emotions; it showsthe interest of BDI logics; and it opens researchprospects about the dynamics of emotions and theirinfluence on the behaviour of agents, a field notmuch explored yet.

O autorze

She defended her PhD in Artificial Intelligence in Toulouse in
2007, and is now working in RMIT University in Melbourne on a
project to develop intelligent interactive toys. Her interests
include BDI logics, in particular for the formalisation of
emotions for Embodied Conversational Agents, but also logics of
social norms or group mental attitudes.