Abstract
This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. The insights gained therefrom are used to guide a formalization of emotion triggers, which proceeds in three stages. The first stage captures the conditions that trigger emotions in a semiformal way, i.e., without committing to an underlying formalism and semantics. The second stage captures the main psychological notions used in the emotion model in dynamic doxastic logic. The third stage introduces a BDI-based framework (belief–desire–intention) with achievement goals, which is used to firmly ground the preceding stages. The result is a formalization of emotion triggers for BDI agents with achievement goals. The idea of proceeding in these stages is to provide different levels of commitment to formalisms, so that it remains relatively easy to extend or replace the used formalisms without having to start from scratch. Finally, we show that the formalization renders properties of emotions that are in line with the psychological model on which it is based.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Adam C., Herzig A., Longin D. (2009) A logical formalization of the OCC theory of emotions. Synthese 168(2): 201–248
Breazeal C. L. (2002) Designing sociable robots. MIT Press, Cambridge, MA
Cohen P. R., Levesque H. J. (1990) Intention is choice with commitment. Artificial Intelligence 42: 213–261
Coppin, G. (2008). Emotion, personality and decision-making: Relying on the observables. In Proceedings of the third international conference in human centered processes (HCP-2008), Delft, The Netherlands.
Damasio A. R. (1994) Descartes’ Error: Emotion, Reason and the Human Brain. Grosset/Putnam, New York
Dastani, M., & Meyer, J.-J. Ch. (2006). Programming agents with emotions. In Proceedings of the 17th European conference on artificial intelligence (ECAI’06) (pp. 215–219). Riva del Garda, Trentino, Italy.
Ekman, P., & Davidson, R. J. (Eds.). (1994). The nature of emotion: Fundamental questions. Series in affective science. Oxford: Oxford University Press.
Elster J. (1996) Rationality and the emotions. Economic Journal 106(438): 1386–1397
Emerson, E. A. (1990). Temporal and modal logic. In J. van Leeuwen (Ed.), Handbook of theoretical computer science (Chap. 16, pp. 995–1072). Elsevier/MIT Press, Amsterdam/Cambridge, MA.
Frijda N. H. (1987) The emotions. Studies in emotion and social interaction. Cambridge University Press, Cambridge, MA
Frijda N. H., Ortony A., Sonnemans J., Clore G. L. (1992) The complexity of intensity: Issues concerning the structure of emotion intensity. In: Clark M. S. (ed.) Emotion, review of personality and social psychology. SAGE Publications, London, pp 60–89
Gordon R. M. (1987) The structure of emotions: Investigations in cognitive philosophy. Cambridge University Press, Cambridge, MA
Gratch J., Marsella S. (2004) A domain-independent framework for modeling emotions. Journal of Cognitive Systems Research 5(4): 269–306
Gross J. J., Thompson R. A. (2007) Emotion regulation: Conceptual foundations. In: Gross J. J. (ed.) Handbook of emotion regulation. Guilford Press, New York
Harel D., Kozen D., Tiuryn J. (2000) Dynamic logic. MIT Press, Cambridge, MA
Hoffman R. R., Waggoner J. E., Palermo D. S. (1991) Metaphor and context in the language of emotion. In: Hoffman R. R., Palermo D. S. (eds) Cognition and the symbolic processes: Applied and ecological perspectives. Lawrence Erlbaum Associates, Hillsdale, NJ, pp 163–185
Johns, M., & Silverman, B. G. (2001). How emotion and personality effect the utility of alternative decisions: A terrorist target selection case study. In 10th Conference on computer generated forces and behavioral representation. SISO, May 2001.
Lazarus R. S. (1994) Emotion and adaptation. Oxford University Press, Oxford
LeDoux J. E. (1996) The Emotional brain: Mysterious underpinnings of emotional life. Simon & Schuster, New York
Marinier, R. P., & Laird, J. E. (2004). Toward a comprehensive computational model of emotions and feelings. In Proceedings of the international conference on cognitive modeling (ICCM’04) (pp. 172–177). Pittsburgh, PA.
Meyer J.-J. Ch. (2006) Reasoning about emotional agents. International Journal of Intelligent Systems 21(6): 601–619
Meyer J.-J. Ch., van der Hoek W., van Linder B. (1999) A logical approach to the dynamics of commitments. Artificial Intelligence 113: 1–40
Oatley K., Jenkins J. M. (1996) Understanding emotions. Blackwell Publishing, Oxford, UK
Ortony, A. (2009, October). Personal communication.
Ortony, A., & Clore, G. L. (2009, April–June). Personal communication.
Ortony A., Clore G. L., Collins A. (1988) The cognitive structure of emotions. Cambridge University Press, Cambridge, UK
Picard R. W. (1997) Affective computing. MIT Press, Cambridge, MA
Rao A. S., Georgeff M. P. (1998) Decision procedures for BDI logics. Journal of Logic and Computation 8(3): 293–344
Scherer, K. R., Schorr, A., & Johnstone, T. (Eds.). (2001). Appraisal processes in emotion: Theory, methods, research. Series in affective science. Oxford: Oxford University Press.
Segerberg K. (1995) Belief revision from the point of view of doxastic logic. Bulletin of the IGPL 3: 535–553
Sloman A. (2001) Beyond shallow models of emotion. Cognitive Processing 2(1): 177–198
Steunebrink, B. R. (2010) The Logical structure of emotions. PhD thesis, Utrecht University, Utrecht, The Netherlands.
Steunebrink, B. R., Dastani, M., & Meyer, J.-J. Ch. (2007). A logic of emotions for intelligent agents. In Proceedings of the 22nd conference on artificial intelligence (AAAI’07). Vancouver: AAAI Press.
Steunebrink, B. R., Dastani, M., & Meyer, J.-J. Ch. (2008). A formal model of emotions: Integrating qualitative and quantitative aspects. In G. Mali, C. D. Spyropoulos, N. Fakotakis, & N. Avouris (Eds.), Proceedings of the 18th European conference on artificial intelligence (ECAI’08) (pp. 256–260). Greece: IOS Press.
Steunebrink, B. R., Dastani, M., & Meyer, J.-J. Ch. (2009). A formal model of emotion-based action tendency for intelligent agents. In Proceedings of the 14th Portuguese conference on artificial intelligence (EPIA’09). Berlin: Springer.
Steunebrink, B. R., Dastani, M., & Meyer, J.-J. Ch. (2010). Emotions to control agent deliberation. In W. van der Hoek, G. A. Kaminka, Y. Lesperance, & M. Luck (Eds.), Proceedings of the ninth international conference on autonomous agents and multiagent systems (AAMAS 2010), Toronto, Canada.
van der Hoek, W., van Linder, B., & Meyer, J.-J. Ch. (1999). An integrated modal approach to rational agents. In M. J. Wooldridge & A. S. Rao (Eds.), Foundations of rational agency, Vol. 14 of Applied logic series (pp. 133–168). Dordrecht: Kluwer.
van Ditmarsch H., van der Hoek W., Kooi B. (2007) Dynamic epistemic logic. Springer, Berlin
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Steunebrink, B.R., Dastani, M. & Meyer, JJ.C. A formal model of emotion triggers: an approach for BDI agents. Synthese 185 (Suppl 1), 83–129 (2012). https://doi.org/10.1007/s11229-011-0004-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-011-0004-8