Handbook of theoretical computer science (vol. B)
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Formalising abilities and opportunities of agents
Fundamenta Informaticae
Dynamic Logic
On the Relationship Between BDI Logics and Standard Logics of Concurrency
Autonomous Agents and Multi-Agent Systems
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
Emotional Valence-Based Mechanisms and Agent Personality
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Emotional advantage for adaptability and autonomy
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Programming Agents with Emotions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Graded BDI models for agent architectures
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Graded BDI models for agent architectures based on Łukasiewicz logic and propositional dynamic logic
WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
| Hi-index | 0.00 |
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 $\mathcal{E}_{\rm 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 $\mathcal{E}_{\rm 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 $\mathcal{E}_{\rm BDI}$ which can lead to its use in automated proof systems.