Formal Modelling of Emotions in BDI Agents

Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EBDI logic is a formal system for expressing the concepts of the Emotional-BDI model of agency. In this paper we present an improved version of the EBDI logic and show how it can be used to model the role of three emotions in Emotional-BDI agents: fear, anxiety and self-condence. We also focus in the computational properties of EBDI which can lead to its use in automated proof systems.

• Type: Conference
• Year: 2007
• Where: CLIMA
• Authors: David Pereira, Eugénio C. Oliveira, Nelma Moreira
• Keywords: CLIMA 2007, EBDI Logic, Emotional-BDI Agents, Emotional-BDI Model, Intelligent Agents