Logical Formalization of Some Counterfactual Emotions

Authors
F. Mashhadi Raviz 1
L. Nabavi 1
M. Alizadeh 2
1 Department of Philosophy and Logic, Faculty of Humanities, Tarbiat Modares University, Tehran, Iran
2 Department of Computer Science, School of Mathematics, Statistics and Computer Science, College of Science, University of Tehran, Tehran, Iran
10.58209/jpt.5.2.207
Abstract
Counterfactual emotions, such as guilt and shame, represent a significant category of factors that influence human behavior in social and moral contexts. These emotions enable agents to evaluate their choices concerning prior experiences. In this process, they consider how they might have acted differently and then contemplate how their choices might have led to different outcomes. They endeavor to modify their behavior. This paper proposes a logical framework designed to represent counterfactual emotions within the contexts of Multi-Agent Systems formally. The proposed formalism uses a specific syntax and semantics to express the relationship between an agent's actions, its knowledge, norms, and evaluative criteria. This approach provides a systematic explanation of the concepts of guilt and shame. This work provides a foundation for the development of intelligent systems that may be able to understand and learn about the complex ethical and social norms that are a part of societies.

Keywords

  1. Adam, C., and Longin, D. Shame, when reasoning and emotions are linked. in Proceedings of the 11th European Workshop on Multi-Agent Systems (EUMAS 2013) (2013).
    Baumeister, R. F., Stillwell, A. M., and Heatherton, T. F. Guilt: An interpersonal approach. Psychological Bulletin 115, 2 (1994), 243–267.
    Covert, M. V., Tangney, J. P., Maddux, J. E., and Heleno, N. M. Shame-proneness, guilt-proneness, and interpersonal problem solving: A social cognitive analysis. Journal of Social and Clinical Psychology 22, 1 (2003), 1–12.
    Guiraud, N., Longin, D., Lorini, E., Pesty, S., and Rivière, J. The face of emotions: A logical formalization of expressive speech acts. in Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011) (2011), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), pp. 1031–1038.
    Lorini, E., and Schwarzentruber, F. A logic for reasoning about counterfactual emotions. Artificial Intelligence 175, 3-4 (2011), 814–847.
    Roese, N. J., and Morrison, M. The psychology of counterfactual thinking. Historical Social Research 34, 2 (2009), 16–26.
    Steunebrink, B. R., Dastani, M., and Meyer, J. C. A formal model of emotion triggers: An approach for BDI agents. Synthese 185, Suppl 1 (2012), 83–129
    Tangney, J. P., Stuewig, J., and Mashek, D. J. Moral emotions and moral behavior. Annual Review of Psychology 58 (2007), 345–372.
  2. Covert MV, Tangney JP, Maddux JE, Heleno NM (2003). Shame-proneness, guilt-proneness, and interpersonal problem solving: A social cognitive analysis. Journal of Social and Clinical Psychology. 22(1):1-12. [Link] [DOI:10.1521/jscp.22.1.1.22765]
  3. Guiraud N, Longin D, Lorini E, Pesty S, Rivière J (2011). The face of emotions: A logical formalization of expressive speech acts. Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems. Taipei: AAMAS. p. 1031-1038. [Link]
  4. Lorini E, Schwarzentruber F (2011). A logic for reasoning about counterfactual emotions. Artificial Intelligence. 175(3-4):814-847. [Link] [DOI:10.1016/j.artint.2010.11.022]
  5. Roese NJ, Morrison M (2009). The psychology of counterfactual thinking. Historical Social Research. 34(2):16-26. [Link]
  6. Steunebrink BR, Dastani M, Meyer JC (2012). A formal model of emotion triggers: An approach for BDI agents. Synthese. 185(Suppl 1):83-129. [Link] [DOI:10.1007/s11229-011-0004-8]
  7. Tangney JP, Stuewig J, Mashek DJ (2007). Moral emotions and moral behavior. Annual Review of Psychology. 58:345-372. [Link] [DOI:10.1146/annurev.psych.56.091103.070145]
Philosophical Thought
Volume 5, Issue 2 - Serial Number 18
Winter 2025
Pages 207-221