Formal Modelling of Emotions in BDI Agents

• Type: Article in International Conference Proceedings Book
• Date: 2008

Authors

David Pereira (Author) Other; Eugenio Oliveira (Author) FEUP; Nelma Moreira (Author) FCUP

Conference proceedings International

Title: Computational Logic in Multi-Agent Systems

Pages: 62-81

Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII

Indexing

ISI Web of Knowledge - 14 Citations

Scopus - 24 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-004-2VW

DOI: 10.1007/978-3-540-88833-8-4

Abstract (EN): 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 epsilon(BDI) 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 epsilon(BDI) logic and show how it can be used to model the role of three emotions in Emotional-BDI agents: fear; anxiety and self-confidence. We also focus in the computational properties of epsilon(BDI) which can lead to its use in automated proof systems.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 20