A Logical Formalization of the OCC Theory of Emotions

In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins's theory. We argue that modal logics are particularly adapted to represent agents' mental attitudes and to reason ab...

Full description

Saved in:
Bibliographic Details
Published inSynthese (Dordrecht) Vol. 168; no. 2; pp. 201 - 248
Main Authors Adam, C., Herzig, A., Longin, D.
Format Journal Article
LanguageEnglish
Published Dordrecht Springer 01.05.2009
Springer Netherlands
Springer Nature B.V
Subjects
Anthropomorphism
Attitudes
Desire
Education
Emotion
Emotion theories
Emotional expression
Emotional states
Emotions
Epistemology
Epistemology. Philosophy of science. Theory of knowledge
Formalization
Intelligence
International conferences
Knowledge representation
Logic
Logical theorems
Metaphysics
Neurosciences
Personality
Philosophy
Philosophy of Language
Philosophy of Science
Pride
Psychology
Scientists
Shame
New York
OCC theory
Modal logics
BDI agents
Emotions
Online AccessGet full text

Cover

More Information
Summary:In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins's theory. We argue that modal logics are particularly adapted to represent agents' mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide logical definitions of all but two of their 22 emotions. While these definitions may be subject to debate, we show that they allow to reason about emotions and to draw interesting conclusions from the theory.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ISSN:0039-7857
1573-0964
DOI:10.1007/s11229-009-9460-9