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. (shrink)

Research on cognition and emotion during the past 30 years has made reasonable progress in theory, methods and empirical research. New theories of the cognition–emotion relation have been proposed, emotion research has become more interdisciplinary, and improved methods of emotion measurement have been developed. On the empirical side, the main achievement of the past 30 years is seen to consist in the reduction of the set of serious contenders for a theory of emotions. Still, several important issues are not fully (...) resolved, including the computational implementation of appraisal processes, the nature of emotions, and the link between emotions and actions. Also, quantitative theories of the cognition–emotion relation need to be refined and tested, and improved theories of the link between emotions and bodily and facial expressions need to be developed. To counter the dangers of theoretical fragmentation and knowledge loss, more efforts should be devoted to the analysis, reconstruction, comparison and integration of important theories and hypotheses in the field of emotion, as well as to the systematization of arguments in favor and against these theories and hypotheses. (shrink)

In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to formalize what are the beliefs formed by a group of agents, where several groups exist and agents can pass from a group to another one. We introduce a new modality which allows an agent to reason about the beliefs of other agents. This allows us to model aspects (...) of the “Theory of Mind”, understood as the set of social-cognitive skills involving the ability to attribute and reason about mental states, desires, beliefs, and knowledge of agents. In this paper, we present the logic L-DINF-E and illustrate how it can be used to solve “false-belief tasks”, i.e., tests in which an agent should understand that some other agent may develop, under some circumstances, false beliefs. (shrink)