If You're Happy, Then You Know It: The Logic of Happiness... and Sadness

To be able to understand and predict human actions, artificial agents must be able to identify, comprehend, and reason about human emotions. Different formal models of human emotions have been studied in AI literature. Doyle, Shoham, and Wellman propose a logic of relative desire [1]. Lang, Van Der Torre, and Weydert introduce utilitarian desires [2]. Meyer states logical principles aiming at capturing anger and fear [3]. Steunebrink, Dastani, and Meyer expand this work to hope [4]. Adam, Herzig, and Longin propose formal definitions of hope, fear, relief, disappointment, resentment, gloating, pride, shame, admiration, reproach, gratification, remorse, gratitude, and anger [5].