Reasoning about knowledge
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
From knowledge-based programs to graded belief-based programs, part II: off-line reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A logic for reasoning about counterfactual emotions
Artificial Intelligence
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
A combined system for update logic and belief revision
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
A domain-independent framework for modeling emotion
Cognitive Systems Research
Emotions as metarepresentational states of mind: Naturalizing the belief-desire theory of emotion
Cognitive Systems Research
EMA: A process model of appraisal dynamics
Cognitive Systems Research
| Hi-index | 0.00 |
Emotion is a cognitive mechanism that directs an agent's thoughts and attention to what is relevant, important, and significant. Such a mechanism is crucial for the design of resource-bounded agents that must operate in highly-dynamic, semi-predictable environments and which need mechanisms for allocating their computational resources efficiently. The aim of this work is to propose a logical analysis of emotions and their influences on an agent's behavior. We focus on four emotion types (viz., hope, fear, joy, and distress) and provide their logical characterizations in a modal logic frame-work. As the intensity of emotion is essential for its influence on an agent's behavior, the logic is devised to represent and reason about graded beliefs, graded goals and intentions. The belief strength and the goal strength determine the intensity of emotions. Emotions trigger different types of coping strategy which are aimed at dealing with emotions either by forming or revising an intention to act in the world, or by changing the agent's interpretation of the situation (by changing beliefs or goals).