A logical formalization of the OCC theory of emotions - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Synthese Année : 2009

A logical formalization of the OCC theory of emotions

Résumé

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 Collin’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 5 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.
Fichier principal
Vignette du fichier
SYNTH1139_camera_ready_final__HAL_version_.pdf (480.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03474451 , version 1 (13-12-2021)

Identifiants

  • HAL Id : hal-03474451 , version 1

Citer

Carole Adam, Andreas Herzig, Dominique Longin. A logical formalization of the OCC theory of emotions. Synthese, 2009, 168 (2), pp.201--248. ⟨hal-03474451⟩
48 Consultations
363 Téléchargements

Partager

Gmail Facebook X LinkedIn More