Formal Modelling of Emotions in BDI Agents

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2008

Autores

David Pereira (Autor) Outra; Eugenio Oliveira (Autor) FEUP; Nelma Moreira (Autor) FCUP

Ata de Conferência Internacional

Título: Computational Logic in Multi-Agent Systems

Páginas: 62-81

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

Indexação

ISI Web of Knowledge - 14 Citações

Scopus - 24 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 20