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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
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
Arnold M. (1960) Emotion and personality. Columbia University Press, New York
Å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
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
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
Burgess J.P. (1969) Probability logic. Journal of Symbolic Logic 34: 264–274
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
Chellas B.F. (1980) Modal logic: An introduction. Cambridge University Press, Cambridge
Cohen P.R., Levesque H.J. (1990) Intention is choice with commitment. Artificial Intelligence Journal 42(2–3): 213–261
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
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
Ekman P. (1992) An argument for basic emotions. Cognition and Emotion 6: 169–200
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
Elster J. (1998) Emotions and economic theory. Journal of Economic Literature 36(1): 47–74
Fagin R., Halpern J.Y. (1994) Reasoning about knowledge and probability. Journal of the ACM 41(2): 340–367
Fagin R., Halpern J.Y., Vardi M.Y., Moses Y. (1995) Reasoning about knowledge. MIT Press, Cambridge
Forgas J. (1995) Mood and judgment: The affect infusion model (AIM). Psychological Bulletin 117: 39–66
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
Gratch J., Marsella S. (2004) A domain independent framework for modeling emotion. Journal of Cognitive Systems Research 5(4): 269–306
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
Halpern J., Rabin M. (1987) A logic to reason about likelihood. Artificial Intelligence Journal 32(3): 379–405
Herzig A. (2003) Modal probability, belief, and actions. Fundamenta Informaticæ 57(2–4): 323–344
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
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
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
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
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
Loewenstein G. (2000) Emotions in economic theory and economic behavior. American Economic Review 90(2): 426–432
Lorini E., Castelfranchi C. (2006) The unexpected aspects of Surprise. International Journal of Pattern Recognition and Artificial Intelligence 20(6): 817–833
Lorini E., Castelfranchi C. (2007) The cognitive structure of Surprise: looking for basic principles. Topoi: An International Review of Philosophy 26(1): 133–149
Lorini E., Herzig A. (2008) A logic of intention and attempt. Synthese 163(1): 45–77
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
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
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
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
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
Partala T., Surakka V. (2004) The effects of affective interventions in human-computer interaction. Interacting with computers 16: 295–309
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
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
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
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
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
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
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
Solomon, R., Calhoun, C. (eds) (1984) What is an emotion? Classic readings in philosophical psychology. Oxford University Press, Oxford
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
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-009-9460-9