A logical formalization of the OCC theory of emotions

In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’ mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide logical definitions of all but two of their 22 emotions. While these definitions may be subject to debate, we show that they allow to reason about emotions and to draw interesting conclusions from the theory.

[1]  J. Searle.  Intentionality: An Essay in the Philosophy of Mind , 1983 .

[2]  Leon van der Torre,et al.  Utilitarian Desires , 2002, Autonomous Agents and Multi-Agent Systems.

[3]  Krister Segerberg,et al.  Qualitative Probability in a Modal Setting , 1971 .

[4]  C. Elliott.  The affective reasoner: a process model of emotions in a multi-agent system , 1992 .

[5]  Jack Mostow,et al.  Experimentally augmenting an intelligent tutoring system with human-supplied capabilities: adding human-provided emotional scaffolding to an automated reading tutor that listens , 2002, Proceedings. Fourth IEEE International Conference on Multimodal Interfaces.

[6]  Giacomo Mauro DAriano.  The Journal of Personality and Social Psychology. , 2002 .

[7]  C. Darwin.  The Expression of the Emotions in Man and Animals , .

[8]  Carlos Gershenson,et al.  Modelling emotions with multidimensional logic , 1999, 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS (Cat. No.99TH8397).

[9]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[10]  H. Van Dyke Parunak,et al.  A model of emotions for situated agents , 2006, AAMAS '06.

[11]  M. David Sadek,et al.  A Study in the Logic of Intention , 1992, KR.

[12]  Andreas Herzig,et al.  Modal Probability, Belief, and Actions , 2003, Fundam. Informaticae.

[13]  Emiliano Lorini,et al.  The cognitive structure of surprise: looking for basic principles , 2007 .

[14]  P. Young,et al.  Emotion and personality , 1963 .

[15]  Emiliano Lorini,et al.  The Unexpected Aspects of Surprise , 2006, Int. J. Pattern Recognit. Artif. Intell..

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

[17]  K. Scherer.  Toward a dynamic theory of emotion : The component process model of affective states , 1987 .

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

[19]  W. S. Reilly,et al.  Believable Social and Emotional Agents. , 1996 .

[20]  Ronald de Sousa,et al.  The Structure of Emotions , 1987 .

[21]  Emiliano Lorini,et al.  A logic of intention and attempt , 2008, Synthese.

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

[23]  Richard S. Lazarus,et al.  The cognition–emotion debate: A bit of history. , 2005 .

[24]  Dominique Longin,et al.  OCC's Emotions: A Formalization in a BDI Logic , 2006, AIMSA.

[25]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[26]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

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

[28]  K. Scherer,et al.  Appraisal processes in emotion: Theory, methods, research. , 2001 .

[29]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[30]  Amandine Grizard,et al.  Generation of facial emotional expressions based on Scherer psychological theory , 2006 .

[31]  J. Forgas.  Mood and judgment: the affect infusion model (AIM). , 1995, Psychological bulletin.

[32]  Maureen McGranaghan.  A Human Face , 1998 .

[33]  Sean A. Spence,et al.  Descartes' Error: Emotion, Reason and the Human Brain , 1995 .

[34]  C. Adam.  Emotions: from psychological theories to logical formalization and implementation in a BDI agent , 2007 .

[35]  D. Cicchetti.  Emotion and Adaptation , 1993 .

[36]  C. Calhoun,et al.  What is an emotion? : classic readings in philosophical psychology , 1984 .

[37]  Joseph Y. Halpern,et al.  A logic to reason about likelihood , 1983, Artif. Intell..

[38]  Dominique Longin,et al.  C&L Intention Revisited , 2004, KR.

[39]  John P. Burgess,et al.  Basic Tense Logic , 1984 .

[40]  T. Dalgleish,et al.  Handbook of cognition and emotion , 1999 .

[41]  G. Bower.  How might emotions affect learning , 1992 .

[42]  Jonathan Klein,et al.  This computer responds to user frustration , 1999, CHI Extended Abstracts.

[43]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[44]  Christoph Bartneck,et al.  eMuu : an embodied emotional character for the ambient intelligent home , 2002 .

[45]  Emiliano Lorini,et al.  Logical modeling of emotions for Ambient Intelligence , 2011 .

[46]  Radoslaw Niewiadomski,et al.  Intelligent Expressions of Emotions , 2005, ACII.

[47]  Christine L. Lisetti,et al.  Generation of Facial Emotional Expressions Based on Psychological Theory , 2006 .

[48]  James C. Lester,et al.  Lifelike Pedagogical Agents and Affective Computing: An Exploratory Synthesis , 1999, Artificial Intelligence Today.

[49]  Stefan Kopp,et al.  Simulating the Emotion Dynamics of a Multimodal Conversational Agent , 2004, ADS.

[50]  K. Scherer.  Appraisal considered as a process of multilevel sequential checking. , 2001 .

[51]  Mehdi Dastani,et al.  Programming Agents with Emotions , 2006, ECAI.

[52]  Sylvie Pesty,et al.  Applying Affective Tactics for a Better Learning , 2004, ECAI.

[53]  John-Jules Ch. Meyer,et al.  Reasoning about emotional agents , 2004, Int. J. Intell. Syst..

[54]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[55]  C. Darwin,et al.  The Expression of the Emotions in Man and Animals , 1872 .

[56]  Theodore Hailperin,et al.  Probability logic , 1984, Notre Dame J. Formal Log..

[57]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[58]  H. Conte,et al.  Circumplex models of personality and emotions , 1997 .

[59]  T. Fine,et al.  Varieties of modal (classificatory) and comparative probability , 1979, Synthese.

[60]  P. Ekman.  An argument for basic emotions , 1992 .

[61]  J. Searle.  Intentionality: Name index , 1983 .

[62]  Catherine Pelachaud,et al.  From Greta's mind to her face: modelling the dynamics of affective states in a conversational embodied agent , 2003, Int. J. Hum. Comput. Stud..

[63]  Veikko Surakka,et al.  The effects of affective interventions in human-computer interaction , 2004, Interact. Comput..

[64]  W. Hoek,et al.  An Integrated Modal Approach to Rational Agents , 1999 .

[65]  C. Lebiere,et al.  The Atomic Components of Thought , 1998 .

[66]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[67]  Mitsuru Ishizuka,et al.  THE EMPATHIC COMPANION: A CHARACTER-BASED INTERFACE THAT ADDRESSES USERS' AFFECTIVE STATES , 2005, Appl. Artif. Intell..

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

[69]  James A. Russell,et al.  How shall an emotion be called , 1997 .

[70]  Sven-Åke Christianson,et al.  The Handbook of Emotion and Memory : Research and Theory , 1994 .

[71]  P. Shaver,et al.  Emotion knowledge: further exploration of a prototype approach. , 1987 .

[72]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[73]  G. Loewenstein.  Emotions in Economic Theory and Economic Behavior , 2000 .

[74]  W. James,et al.  What Is an Emotion , 1977 .

[75]  Mehdi Dastani,et al.  A Logic of Emotions for Intelligent Agents , 2007, AAAI.

[76]  Jonathan Klein,et al.  This computer responds to user frustration: Theory, design, and results , 2002, Interact. Comput..

[77]  John-Jules Ch. Meyer,et al.  A Logical Approach to the Dynamics of Commitments , 1999, Artif. Intell..

[78]  Cristiano Castelfranchi,et al.  The role of beliefs in goal dynamics: prolegomena to a constructive theory of intentions , 2007, Synthese.

[79]  Rosalind W. Picard,et al.  Relative subjective count and assessment of interruptive technologies applied to mobile monitoring of stress , 2007, Int. J. Hum. Comput. Stud..

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

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

[82]  Joseph Y. Halpern,et al.  Likelihood, probability, and knowledge , 1984, AAAI 1984.

[83]  Dominique Longin,et al.  Sensing and revision in a modal logic of belief and action , 2002, ECAI.

[84]  J. Elster.  Emotions and Economic Theory , 1998 .

[85]  Dominique Longin,et al.  Endowing Emotional Agents with Coping Strategies: From Emotions to Emotional Behaviour , 2007, IVA.

[86]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

[87]  Joseph Bates,et al.  The role of emotion in believable agents , 1994, CACM.

[88]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[89]  Koen V. Hindriks,et al.  On Programming KARO Agents , 2001, Log. J. IGPL.

[90]  Clifford Nass,et al.  Computers that care: investigating the effects of orientation of emotion exhibited by an embodied computer agent , 2005, Int. J. Hum. Comput. Stud..

[91]  S. Folkman,et al.  Stress, appraisal, and coping , 1974 .

[92]  Paolo Petta,et al.  Introducing Emotions into the Computational Study of Social Norms: A First Evaluation , 2001, J. Artif. Soc. Soc. Simul..