The affective reasoner: a process model of emotions in a multi-agent system
The affective reasoner: a process model of emotions in a multi-agent system
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
Affective Interaction between Humans and Robots
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Emotions and Personality in Agent Design and Modeling
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Affective negotiation support systems
Journal of Ambient Intelligence and Smart Environments
A formal model of emotions for an empathic rational dialog agent
Autonomous Agents and Multi-Agent Systems
OpenPsi: A novel computational affective model and its application in video games
Engineering Applications of Artificial Intelligence
Guidelines for Designing Computational Models of Emotions
International Journal of Synthetic Emotions
Hi-index | 0.00 |
Cognitive appraisal theories (CATs) explain human emotions as a result of the subjective evaluation of events that occur in the environment. Recently, arguments have been put forward that discuss the need for formal descriptions in order to further advance the field of cognitive appraisal theory. Formal descriptions can provide detailed predictions and help to integrate different CATs by providing clear identification of the differences and similarities between theories. A computational model of emotion that is based on a CAT also needs formal descriptions specifying the theory on which it is based. In this paper we propose a formal notation for the declarative semantics of the structure of appraisal. We claim that this formalism facilitates both integration of appraisal theories as well as the design and evaluation of computational models of emotion based on an appraisal theory. To support these claims we show how our formalism can be used in both ways: first we integrate two appraisal theories; second, we use this formal integrated model as basis for a computational model after identifying what declarative information is missing in the formal model. Finally, we embed the computational model in an emotional agent, and show how the formal specification helps to evaluate the computational model.