Reasoning about emotional agents: Research Articles
International Journal of Intelligent Systems
Dynamic Epistemic Logic
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
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 logic for reasoning about counterfactual emotions
Artificial Intelligence
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
A logic of emotions: from appraisal to coping
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
| Hi-index | 0.00 |
The paper introduces a logic which allows to represent different kinds of mental states of an agent such as knowledge, graded belief, and graded goal, and the notion of epistemic action (as the action of learning that a certain fact φ is true.) The logic is applied to the formalization of expectation-based emotions such as hope, fear, disappointment and relief, and of their intensity.