×

A logical formalization of the OCC theory of emotions. (English) Zbl 1182.03008

Summary: 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.

MSC:

03A05 Philosophical and critical aspects of logic and foundations
03B45 Modal logic (including the logic of norms)
91E99 Mathematical psychology

Software:

KARO
PDFBibTeX XMLCite
Full Text: DOI HAL

References:

[1] 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).
[2] 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. · Zbl 1158.68435
[3] 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 .
[4] 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.
[5] 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. · Zbl 1045.68621
[6] Anderson J., Lebiere C. (1998) The atomic components of thought. Lawrence Erlbaum Associates, Mahwah, NJ
[7] Arnold M. (1960) Emotion and personality. Columbia University Press, New York
[8] Å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.
[9] Bartneck, C. (2002). eMuu–an embodied emotional character for the ambient intelligent home. Ph.D. thesis, Eindhoven University of Technology.
[10] Bates J. (1994) The role of emotion in believable agents. Communications of the ACM 37(7): 122–125 · doi:10.1145/176789.176803
[11] Becker, C., Kopp, S., & Wachsmuth, I. (2004). Simulating the emotion dynamics of a multimodal conversational agent. In ADS’04. Springer LNCS.
[12] 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.
[13] Bratman M.E. (1987) Intention, plans, and practical reason. Harvard University Press, Cambridge, MA, USA
[14] 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 · Zbl 02230384 · doi:10.1016/j.ijhcs.2004.11.002
[15] Burgess J.P. (1969) Probability logic. Journal of Symbolic Logic 34: 264–274 · Zbl 0184.00902 · doi:10.2307/2271103
[16] 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.
[17] Castelfranchi C., Paglieri F. (2007) The role of belief in goal dynamics: Prolegomena to a constructive theory of intentions. Synthese 155: 237–263 · doi:10.1007/s11229-006-9156-3
[18] Chellas B.F. (1980) Modal logic: An introduction. Cambridge University Press, Cambridge · Zbl 0431.03009
[19] Cohen P.R., Levesque H.J. (1990) Intention is choice with commitment. Artificial Intelligence Journal 42(2–3): 213–261 · Zbl 0721.03017 · doi:10.1016/0004-3702(90)90055-5
[20] Damasio, A. R. (1994). Descartes’ error: Emotion, reason, and the human brain. Putnam Pub Group.
[21] Darwin C.R. (1872) The expression of emotions in man and animals. Murray, London
[22] 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. · Zbl 1211.68453
[23] 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 · Zbl 01998048 · doi:10.1016/S1071-5819(03)00020-X
[24] Ekman P. (1992) An argument for basic emotions. Cognition and Emotion 6: 169–200 · doi:10.1080/02699939208411068
[25] Ekman, P., Friesen, W., & Hager, J. (2002). Facial action coding system invetigator’s guide. A Human Face.
[26] Elliott, C. (1992). The affective reasoner : A process model of emotions in a multi-agent system. Ph.D. thesis, Northwestern University, Illinois.
[27] Elliott C., Rickel J., Lester J. (1999) Lifelike pedagogical agents and affective computing: An exploratory synthesis. Lecture Notes in Computer Science 1600: 195–211 · doi:10.1007/3-540-48317-9_8
[28] Elster J. (1998) Emotions and economic theory. Journal of Economic Literature 36(1): 47–74
[29] Fagin R., Halpern J.Y. (1994) Reasoning about knowledge and probability. Journal of the ACM 41(2): 340–367 · Zbl 0806.68098 · doi:10.1145/174652.174658
[30] Fagin R., Halpern J.Y., Vardi M.Y., Moses Y. (1995) Reasoning about knowledge. MIT Press, Cambridge · Zbl 0839.68095
[31] Forgas J. (1995) Mood and judgment: The affect infusion model (AIM). Psychological Bulletin 117: 39–66 · doi:10.1037/0033-2909.117.1.39
[32] Frijda, N. H. (1986). The emotions. Cambridge University Press.
[33] Gershenson, C. (1999). Modelling emotions with multidimensional logic. In NAFIPS’99. IEEE.
[34] Gordon R. (1987) The structure of emotions. Cambridge University Press, New York
[35] Gratch J., Marsella S. (2004) A domain independent framework for modeling emotion. Journal of Cognitive Systems Research 5(4): 269–306 · doi:10.1016/j.cogsys.2004.02.002
[36] Grizard, A., & Lisetti, C. (2006). Generation of facial emotional expressions based on psychological theory. In Workshop on Emotion and Computing, KI’2006. Bremen, Germany.
[37] Halpern J., McAllester D. (1989) Likelihood, probability, and knowledge. Computational Intelligence 5: 151–160 · doi:10.1111/j.1467-8640.1989.tb00325.x
[38] Halpern J., Rabin M. (1987) A logic to reason about likelihood. Artificial Intelligence Journal 32(3): 379–405 · Zbl 0621.03011 · doi:10.1016/0004-3702(87)90093-2
[39] Herzig A. (2003) Modal probability, belief, and actions. Fundamenta Informaticæ 57(2–4): 323–344 · Zbl 1057.03016
[40] 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.
[41] 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.
[42] Hintikka J. (1962) Knowledge and belief: An introduction to the logic of the two notions. Cornell University Press, Ithaca
[43] 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.
[44] 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.
[45] Lang J., van Der Torre L.W.N., Weydert E. (2002) Utilitarian desires. Journal of Autonomous Agents and Multi-Agent Systems 5: 329–363 · Zbl 05387291 · doi:10.1023/A:1015508524218
[46] 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. · Zbl 1085.68163
[47] 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
[48] Lazarus, R. S. (1991). Emotion and adaptation. Oxford University Press.
[49] Lazarus, R. S., & Folkman, S. (1984). Stress, appraisal, and coping. Springer Publishing Company.
[50] Lenzen W. (1978) Recent work in epistemic logic. North Holland Publishing Company, Amsterdam · Zbl 0397.03002
[51] 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 · Zbl 0839.03001
[52] Loewenstein G. (2000) Emotions in economic theory and economic behavior. American Economic Review 90(2): 426–432 · doi:10.1257/aer.90.2.426
[53] Lorini E., Castelfranchi C. (2006) The unexpected aspects of Surprise. International Journal of Pattern Recognition and Artificial Intelligence 20(6): 817–833 · Zbl 05153491 · doi:10.1142/S0218001406004983
[54] Lorini E., Castelfranchi C. (2007) The cognitive structure of Surprise: looking for basic principles. Topoi: An International Review of Philosophy 26(1): 133–149 · Zbl 1124.03319
[55] Lorini E., Herzig A. (2008) A logic of intention and attempt. Synthese 163(1): 45–77 · Zbl 1152.03008 · doi:10.1007/s11229-008-9309-7
[56] 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).
[57] Meyer J.-J. (2006) Reasoning about emotional agents. International Journal of Intelligent Systems 21(6): 601–619 · Zbl 1104.68766 · doi:10.1002/int.20150
[58] 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 · Zbl 0974.68202 · doi:10.1093/jigpal/9.2.245
[59] 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 · Zbl 0939.68831 · doi:10.1016/S0004-3702(99)00061-2
[60] 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 · doi:10.1023/A:1024422330338
[61] 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.
[62] Ortony A., Clore G., Collins A. (1988) The cognitive structure of emotions. Cambridge University Press, Cambridge, MA
[63] Partala T., Surakka V. (2004) The effects of affective interventions in human-computer interaction. Interacting with computers 16: 295–309 · Zbl 05425635 · doi:10.1016/j.intcom.2003.12.001
[64] 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.
[65] 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 · Zbl 05136421 · doi:10.1016/j.ijhcs.2006.11.019
[66] 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
[67] 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. · Zbl 0765.68194
[68] 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.
[69] Reilly, N. (1996). Believable social and emotional agents. Ph.D. thesis. Pittsburgh, PA, USA.: School of Computer Science, Carnegie Mellon University.
[70] 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 · Zbl 0755.68124
[71] 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
[72] 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.
[73] 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
[74] 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.
[75] Searle J.R. (1969) Speech acts: An essay in the philosophy of language. Cambridge University Press, New York
[76] Searle, J. R. (1983). Intentionality: An essay in the philosophy of mind. Cambridge University Press.
[77] 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. · Zbl 0223.02013
[78] Shaver P., Schwartz J., Kirson D., O’Connor C. (1987) Emotion knowledge. Journal of personality and Social Psychology 52: 1061–1086 · doi:10.1037/0022-3514.52.6.1061
[79] Solomon, R., Calhoun, C. (eds) (1984) What is an emotion? Classic readings in philosophical psychology. Oxford University Press, Oxford
[80] 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 .
[81] 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.
[82] 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. · Zbl 0926.68108
[83] Walley P., Fine T.L. (1979) Varieties of modal (classificatory) and comparative probability. Synthese 41: 321–374 · Zbl 0442.60005 · doi:10.1007/BF00869449
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.