A logic of emotions: from appraisal to coping

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).

[1]  J. Stainer,et al.  The Emotions , 1922, Nature.

[2]  H. Simon,et al.  Motivational and emotional controls of cognition. , 1967, Psychological review.

[3]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[4]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[5]  Andrew Ortony,et al.  The Cognitive Structure of Emotions , 1988 .

[6]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[7]  R. Lazarus.  Emotion and Adaptation , 1991 .

[8]  A. Damasio.  Descartes’ Error. Emotion, Reason and the Human Brain. New York (Grosset/Putnam) 1994. , 1994 .

[9]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[10]  G. Fricchione.  Descartes’ Error: Emotion, Reason and the Human Brain , 1995 .

[11]  Ira J. Roseman.  Appraisal Determinants of Emotions: Constructing a More Accurate and Comprehensive Theory , 1996 .

[12]  W. Meyer,et al.  Toward a Process Analysis of Emotions: The Case of Surprise , 1997 .

[13]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[14]  Guillaume Aucher,et al.  A Combined System for Update Logic and Belief Revision , 2004, PRIMA.

[15]  Stacy Marsella,et al.  A domain-independent framework for modeling emotion , 2004, Cognitive Systems Research.

[16]  Jérôme Lang,et al.  From knowledge-based programs to graded belief-based programs, part II: off-line reasoning , 2005, IJCAI 2005.

[17]  François Schwarzentruber,et al.  A Logic for Reasoning about Counterfactual Emotions , 2009, IJCAI.

[18]  Tibor Bosse,et al.  There's always hope: Enhancing agent believability through expectation-based emotions , 2009, 2009 3rd International Conference on Affective Computing and Intelligent Interaction and Workshops.

[19]  Stacy Marsella,et al.  EMA: A process model of appraisal dynamics , 2009, Cognitive Systems Research.

[20]  Dominique Longin,et al.  A logical formalization of the OCC theory of emotions , 2009, Synthese.

[21]  Rainer Reisenzein,et al.  Emotions as metarepresentational states of mind: Naturalizing the belief–desire theory of emotion , 2009, Cognitive Systems Research.

[22]  Mehdi Dastani,et al.  A Formal Model of Emotion-Based Action Tendency for Intelligent Agents , 2009, EPIA.

[23]  Emiliano Lorini,et al.  A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling , 2011, LORI.