Skip to main content

Advertisement

Log in

A logical formalization of the OCC theory of emotions

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Adam, C. (2007). Emotions: From psychological theories to logical formalization and implementation in a BDI agent. Ph.D. thesis, INP Toulouse, France (available in English).

  • Adam, C., Gaudou, B., Herzig, A., & Longin, D. (2006). OCC’s emotions: A formalization in a BDI logic. In J. Euzenat (Ed.), Proceedings of the twelfth internatinal conference on artificial intelligence: Methodology, systems, and applications (AIMSA’06), Varna, Bulgaria, september 13–15, Vol. 4183 of LNAI (pp. 24–32). Springer-Verlag.

  • Adam, C., Gaudou, B., Longin, D., & Lorini, E. (2009). Logical modeling of emotions for Ambient Intelligence. Technical report of the institution IRIT, Toulouse. Available online at http://www.irit.fr/-Publications.

  • Adam, C., & Longin, D. (2007). Endowing emotional agents with coping strategies: From emotions to emotional behaviour. In Catherine Pelachaud et al. (Eds.): Intelligent Virtual Agents (IVA’07), Vol. 4722 of LNCS (pp. 348–349). Springer-Verlag.

  • Aist, G., Kort, B., Reilly, R., Mostow, J., & Picard, R. (2002). Experimentally augmenting an intelligent tutoring system with human-supplied capabilities: Adding human-provided emotional scaffolding to an automated reading tutor that listens. In Proceedings of the fourth IEEE international conference on multimodal interfaces (ICMI 2002) (pp. 483–490). IEEE Computer Society.

  • Anderson J., Lebiere C. (1998) The atomic components of thought. Lawrence Erlbaum Associates, Mahwah, NJ

    Google Scholar 

  • Arnold M. (1960) Emotion and personality. Columbia University Press, New York

    Google Scholar 

  • Åqvist, L. (2002). Deontic logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic, (Vol. 8, 2nd ed., pp. 147–264). Kluwer Academic Publishers.

  • Bartneck, C. (2002). eMuu—an embodied emotional character for the ambient intelligent home. Ph.D. thesis, Eindhoven University of Technology.

  • Bates J. (1994) The role of emotion in believable agents. Communications of the ACM 37(7): 122–125

    Article  Google Scholar 

  • Becker, C., Kopp, S., & Wachsmuth, I. (2004). Simulating the emotion dynamics of a multimodal conversational agent. In ADS’04. Springer LNCS.

  • Bower, G. H. (1992). How might emotions affect learning. In S.-A. Cristianson (Ed.), The handbook of emotion and memory: Research and theory (pp. 3–32). Lawrence Erlbaum Associates.

  • Bratman M.E. (1987) Intention, plans, and practical reason. Harvard University Press, Cambridge, MA, USA

    Google Scholar 

  • Brave S., Nass C., Hutchinson K. (2005) Computers that care: Investigating the effects of orientation of emotion exhibited by an embodied computer agent. International Journal of Human-Computer Studies 62: 161–178

    Article  Google Scholar 

  • Burgess J.P. (1969) Probability logic. Journal of Symbolic Logic 34: 264–274

    Article  Google Scholar 

  • Burgess, J. P. (2002). Basic tense logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 7, 2nd ed., pp. 1–42). Kluwer Academic Publishers.

  • Castelfranchi C., Paglieri F. (2007) The role of belief in goal dynamics: Prolegomena to a constructive theory of intentions. Synthese 155: 237–263

    Article  Google Scholar 

  • Chellas B.F. (1980) Modal logic: An introduction. Cambridge University Press, Cambridge

    Google Scholar 

  • Cohen P.R., Levesque H.J. (1990) Intention is choice with commitment. Artificial Intelligence Journal 42(2–3): 213–261

    Article  Google Scholar 

  • Damasio, A. R. (1994). Descartes’ error: Emotion, reason, and the human brain. Putnam Pub Group.

  • Darwin C.R. (1872) The expression of emotions in man and animals. Murray, London

    Book  Google Scholar 

  • Dastani, M., & Meyer, J. -J. (2006). Programming agents with emotions. In Proceedings 17th European conference on artificial intelligence (ECAI 2006), Trento, Italy, Aug. 28th–Sep. 1st. IOS Press.

  • de Rosis F., Pelachaud C., Poggi I., Carofiglio V., Carolis B.D. (2003) From Greta’s mind to her face: Modelling the dynamics of affective states in a conversational embodied agent. International Journal of Human-Computer Studies 59(1–2): 81–118

    Article  Google Scholar 

  • Ekman P. (1992) An argument for basic emotions. Cognition and Emotion 6: 169–200

    Article  Google Scholar 

  • Ekman, P., Friesen, W., & Hager, J. (2002). Facial action coding system invetigator’s guide. A Human Face.

  • Elliott, C. (1992). The affective reasoner : A process model of emotions in a multi-agent system. Ph.D. thesis, Northwestern University, Illinois.

  • Elliott C., Rickel J., Lester J. (1999) Lifelike pedagogical agents and affective computing: An exploratory synthesis. Lecture Notes in Computer Science 1600: 195–211

    Article  Google Scholar 

  • Elster J. (1998) Emotions and economic theory. Journal of Economic Literature 36(1): 47–74

    Google Scholar 

  • Fagin R., Halpern J.Y. (1994) Reasoning about knowledge and probability. Journal of the ACM 41(2): 340–367

    Article  Google Scholar 

  • Fagin R., Halpern J.Y., Vardi M.Y., Moses Y. (1995) Reasoning about knowledge. MIT Press, Cambridge

    Google Scholar 

  • Forgas J. (1995) Mood and judgment: The affect infusion model (AIM). Psychological Bulletin 117: 39–66

    Article  Google Scholar 

  • Frijda, N. H. (1986). The emotions. Cambridge University Press.

  • Gershenson, C. (1999). Modelling emotions with multidimensional logic. In NAFIPS’99. IEEE.

  • Gordon R. (1987) The structure of emotions. Cambridge University Press, New York

    Google Scholar 

  • Gratch J., Marsella S. (2004) A domain independent framework for modeling emotion. Journal of Cognitive Systems Research 5(4): 269–306

    Article  Google Scholar 

  • Grizard, A., & Lisetti, C. (2006). Generation of facial emotional expressions based on psychological theory. In Workshop on Emotion and Computing, KI’2006. Bremen, Germany.

  • Halpern J., McAllester D. (1989) Likelihood, probability, and knowledge. Computational Intelligence 5: 151–160

    Article  Google Scholar 

  • Halpern J., Rabin M. (1987) A logic to reason about likelihood. Artificial Intelligence Journal 32(3): 379–405

    Article  Google Scholar 

  • Herzig A. (2003) Modal probability, belief, and actions. Fundamenta Informaticæ 57(2–4): 323–344

    Google Scholar 

  • Herzig, A., & Longin, D. (2002). Sensing and revision in a modal logic of belief and action. In F. van Harmelen (Ed.), Proceedings of 15th European conference on artificial intelligence (ECAI 2002), Lyon, France, July 23–26 (pp. 307–311). IOS Press.

  • Herzig, A., & Longin, D. (2004). C&L intention revisited. In D. Dubois, C. Welty, & M. -A. Williams (Eds.), Proceedings of the 9th international conference on principles of knowledge representation and reasoning (KR 2004), Whistler, Canada, June 2–5 (pp. 527–535). AAAI Press.

  • Hintikka J. (1962) Knowledge and belief: An introduction to the logic of the two notions. Cornell University Press, Ithaca

    Google Scholar 

  • Jaques, P. A., Vicari, R. M., Pesty, S., & Bonneville, J. -F. (2004). Applying affective tactics for a better learning. In Proceedings of the 16th European conference on artificial intelligence (ECAI 2004). IOS Press.

  • Klein, J., Moon, Y., & Picard, R. (1999). This computer responds to user frustration. In Proceedings of the conference on human factors in computing systems (pp. 242–243). Pittsburgh, USA: ACM Press.

  • Lang J., van Der Torre L.W.N., Weydert E. (2002) Utilitarian desires. Journal of Autonomous Agents and Multi-Agent Systems 5: 329–363

    Article  Google Scholar 

  • Laverny, N., & Lang, J. (2005). From knowledge-based programs to graded belief-based programs, Part II: Off-line reasoning. In Proceedings of the 9th international joint conference on artificial intelligence (IJCAI’05) , Edinburgh, Scotland, 31/07/05-05/08/05 (pp. 497–502). Gallus.

  • Lazarus R. (1999) The cognition–emotion debate: A bit of history. In: Dalgleish T., Power M. (eds) Handbook of cognition and emotion. Wiley, New York, pp 3–20

    Google Scholar 

  • Lazarus, R. S. (1991). Emotion and adaptation. Oxford University Press.

  • Lazarus, R. S., & Folkman, S. (1984). Stress, appraisal, and coping. Springer Publishing Company.

  • Lenzen W. (1978) Recent work in epistemic logic. North Holland Publishing Company, Amsterdam

    Google Scholar 

  • Lenzen W. (1995) On the semantics and pragmatics of epistemic attitudes. In: Laux A., Wansing H. (eds) Knowledge and belief in philosophy and AI. Akademie Verlag, Berlin, pp 181–197

    Google Scholar 

  • Loewenstein G. (2000) Emotions in economic theory and economic behavior. American Economic Review 90(2): 426–432

    Google Scholar 

  • Lorini E., Castelfranchi C. (2006) The unexpected aspects of Surprise. International Journal of Pattern Recognition and Artificial Intelligence 20(6): 817–833

    Article  Google Scholar 

  • Lorini E., Castelfranchi C. (2007) The cognitive structure of Surprise: looking for basic principles. Topoi: An International Review of Philosophy 26(1): 133–149

    Google Scholar 

  • Lorini E., Herzig A. (2008) A logic of intention and attempt. Synthese 163(1): 45–77

    Article  Google Scholar 

  • Meyer, J. J. (2004). Reasoning about emotional agents. In R. L. de Mántaras & L. Saitta (Eds.), 16th European conference on artificial intelligence (ECAI) (pp. 129–133).

  • Meyer J.-J. (2006) Reasoning about emotional agents. International Journal of Intelligent Systems 21(6): 601–619

    Article  Google Scholar 

  • Meyer J.-J., de Boer F., van Eijk R., Hindriks K., van der Hoek W. (2001) On programming Karo agents. Logic Journal of the IGPL 9(22): 261–272

    Google Scholar 

  • Meyer J.J.C., van der Hoek W., van Linder B. (1999) A logical approach to the dynamics of commitments. Artificial Intelligence 113(1–2): 1–40

    Article  Google Scholar 

  • Meyer W.U., Reisenzein R., Schützwohl A. (1997) Towards a process analysis of emotions: The case of surprise. Motivation and Emotion 21: 251–274

    Article  Google Scholar 

  • Ochs, M., Niewiadomski, R., Pelachaud, C., & Sadek, D. (2005). Intelligent expressions of emotions. In 1st international conference on affective computing and intelligent interaction ACII. China.

  • Ortony A., Clore G., Collins A. (1988) The cognitive structure of emotions. Cambridge University Press, Cambridge, MA

    Google Scholar 

  • Partala T., Surakka V. (2004) The effects of affective interventions in human-computer interaction. Interacting with computers 16: 295–309

    Article  Google Scholar 

  • Parunak, H., Bisson, R., Brueckner, S., Matthews, R., & Sauter, J. (2006). A model of emotions for situated agents. In P. Stone & G. Weiss (Eds.), AAMAS’06 (pp. 993–995). ACM Press.

  • Picard R., Liu K. (2007) Relative subjective count and assessment of interruptive technologies applied to mobile monitoring of stress. International Journal of Human-Computer Studies 65: 396–375

    Article  Google Scholar 

  • Prendinger H., Ishizuka M. (2005) The empathic companion: A character-based interface that addresses users’ affective states. International Journal of Applied Artificial Intelligence 19: 297–285

    Google Scholar 

  • Rao, A. S., & Georgeff, M. P. (1991). Modeling rational agents within a BDI-architecture. In J. A. Allen, R. Fikes, & E. Sandewall (Eds.), Proceedings second international conference on principles of knowledge representation and reasoning (KR’91) (pp. 473–484). Morgan Kaufmann Publishers.

  • Rao, A. S., & Georgeff, M. P. (1992). An abstract architecture for rational agents. In B. Nebel, C. Rich, & W. Swartout (Eds.), Proceedings third international conference on principles of knowledge representation and reasoning (KR’92) (pp. 439–449). Morgan Kaufmann Publishers.

  • Reilly, N. (1996). Believable social and emotional agents. Ph.D. thesis. Pittsburgh, PA, USA.: School of Computer Science, Carnegie Mellon University.

  • Reiter R. (1991) The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz V. (eds) Artificial intelligence and mathematical theory of computation: Papers in honor of John McCarthy.. Academic Press, San Diego, CA, pp 359–380

    Google Scholar 

  • Russell J.A. (1997) How shall an emotion be called?. In: Plutchik R., Conte H. (eds) Circumplex models of personality and emotions. Washington, DC, American sychological Association, pp 205–220

    Chapter  Google Scholar 

  • Sadek, M. (1992). A study in the logic of intention. In B. Nebel, C. Rich, & W. Swartout (Eds.), Proceedings third international conference on principles of knowledge representation and reasoning (KR’92) (pp. 462–473). Morgan Kaufmann Publishers.

  • Scherer K. (1987) Toward a dynamic theory of emotion: the component process model of affective states. Geneva studies in Emotion and Communication 1(1): 1–98

    Google Scholar 

  • Scherer, K. R. (2001). Appraisal processes in emotion: Theory, methods, research, Chapt. Appraisal considered as a process of multilevel sequential checking (pp. 92–120). New York: Oxford University Press.

  • Searle J.R. (1969) Speech acts: An essay in the philosophy of language. Cambridge University Press, New York

    Google Scholar 

  • Searle, J. R. (1983). Intentionality: An essay in the philosophy of mind. Cambridge University Press.

  • Segerberg, K. (1971). Qualitative probability in a modal setting. In J. Fenstad (Ed.), Proceedings of the 2nd Scandinavian logic symposium. Amsterdam, North Holland Publishing Company.

  • Shaver P., Schwartz J., Kirson D., O’Connor C. (1987) Emotion knowledge. Journal of personality and Social Psychology 52: 1061–1086

    Article  Google Scholar 

  • Solomon, R., Calhoun, C. (eds) (1984) What is an emotion? Classic readings in philosophical psychology. Oxford University Press, Oxford

    Google Scholar 

  • Staller, A., & Petta, P. (2001). Introducing emotions into the computational study of social norms: A first evaluation. Journal of Artificial Societies and Social Simulation, 4(1). Available online at http://jasss.soc.surrey.ac.uk/4/1/2.html.

  • Steunebrink, B. R., Dastani, M., & Meyer, J. J. C. (2007). A logic of emotions for intelligent agents. In Proceedings of the twenty-second AAAI conference on artificial intelligence (AAAI’07) (pp. 142–147). AAAI Press.

  • van der Hoek, W., van Linder, B., & Meyer, J.-J. C. (1997). An integrated modal approach to rational agents. In Proceedings of 2nd AISB workshop on practical reasoning and rationality (pp. 123–159). Manchester, United Kingdom.

  • Walley P., Fine T.L. (1979) Varieties of modal (classificatory) and comparative probability. Synthese 41: 321–374

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to C. Adam.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Adam, C., Herzig, A. & Longin, D. A logical formalization of the OCC theory of emotions. Synthese 168, 201–248 (2009). https://doi.org/10.1007/s11229-009-9460-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-009-9460-9

Keywords

Navigation