Logical Studies

Formalization of Envy and Regret

Document Type : Research

Authors

Majid Alizade 1
Fatemeh Mashhadi Raviz 2
Lotfollah Nabavi 3

1 Associate Professor, Science schools; School of Mathematics, Statistics and Computer Science, University of Tehran, Tehran, Iran

2 Graduate of Humanities Department of Philosophy and Logic , Tarbiat Modares University, Tehran, Iran

3 Professor at the Faculty of Humanities Department of Philosophy and Logic , Tarbiat Modares University, Tehran, Iran

https://doi.org/10.30465/lsj.2025.53190.1513
Abstract
Counterfactual emotions, such as envy and regret, play a foundational role in shaping human behavior, influencing moral judgment, and guiding social interaction. Because they arise from the comparison between actual states and imagined alternative scenarios, these emotions serve as powerful cognitive mechanisms that motivate individuals to reassess their decisions, modify their actions, and anticipate future consequences. Consequently, they are of substantial importance to the advancement of research in artificial intelligence and multi-agent systems, where modeling human-like affective reasoning remains a central challenge. In this article, we formalize the counterfactual emotions of envy and regret using the Counterfactual Emotions (CFE) framework [2]. Furthermore, we examine their intensity through quantitative constructs such as the “degree of importance,” “degree of inadequacy,” and “degree of counterfactual avoidability” introduced in [1]. This study provides a theoretical and computational foundation for developing intelligent agents capable of understanding, representing, and adapting to the complex emotional and ethical dimensions of human interaction.

Keywords

Counterfactual emotions
Envy
Regret
Formalization
Subjects

Bibliography

Guiraud, Nadine, Longin, Dominique, Lorini, Eiliano, Pesty, Sylvie, and Rivière, Jeremy, 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), . 1031–1038.
Lorini, Emiliano, and Schwarzentruber, Francois, A logic for reasoning about counterfactual emotions, Artificial Intelligence, 175, 3-4 (2011), 814–847.
Roese, Neal, and Morrison, Mike, The psychology of counterfactual thinking, Historical Social Research, 34, 2 (2009), 16–26.
Steunebrink, Bas R., Dastani, Mehdi, and Meyer, John-Jules Ch, A formal model of emotion triggers: An approach for BDI agents. Synthese, 185, Suppl 1 (2012), 83–129.
Smith, Richard H, Parrott, W. Gerrod, Diener, Edward F., Hoyle, Rick H., and Kim, Sung Hee Dispositional envy, Personality and Social Psychology Bulletin, 25, 8 (1999), 1007–1020.
van de Ven, Niels, Zeelenberg, Marcel, and Pieters, Rik, Why envy outperforms admiration, Personality and Social Psychology Bulletin, 37 (2011), 784–795.
van de Ven, Niels, Envy and admiration: Emotion and motivation following upward social comparison, Cognition and Emotion, 37 (2017), 193–200.
VendrellFerran, Íngrid, I could have been you: Existential envy and the self. in The Moral Psychology of Envy, S. Protasi, ed. Rowman& Littlefield, 2022, 77–92.
Zeelenberg, Marcel, and Pieters, Rik, A theory of regret regulation 1.0. Journal of Consumer Psychology 17 (2007), 3–18.
Landman, Janet, Regret: A theoretical and conceptual analysis. Journal for the Theory of Social Behaviour, 17, 2 (1987), 135–160.
Roese, Neal, Counterfactual thinking, Psychological Bulletin, 121, 1 (1997), 133–148.
 
Logical Studies
Volume 16, Issue 1 - Serial Number 1
September 2025
Pages 95-123

Home

Guide for Authors

Submit Manuscript

Reviewers

Contact Us