Carole Adam

Emotions: psychology, logical formalisation, and agent applications

A BDI logical formalisation of a psychological theory of emotions, and its implementation in agent applications

• Broschiertes Buch

Produktbeschreibung

This book proposes a formalisation of emotions in a
BDI logic (logic of belief, desire and intention).
Such a formalisation aims at helping the design of
emotional agents. 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 (emotional agents and
their applications). The second part is dedicated to
the logical formalisation of emotions; it introduces
the 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 provides the agent community with 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 yet.

Produktdetails

• Verlag: VDM Verlag Dr. Müller
• Seitenzahl: 216
• Englisch
• Abmessung: 220mm x 150mm x 11mm
• Gewicht: 303g
• ISBN-13: 9783639177398
• ISBN-10: 3639177398
• Artikelnr.: 26815135

Autorenporträt

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.