A formal model of emotion triggers: an approach for BDI agents.
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 p...
| Published in: | Synthese Vol. 185; pp. 83 - 130 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Published: |
Springer Nature
Apr2012
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=75048076&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 75048076 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Apr2012 vid: 185 pid: 237 pub: Springer Nature artinfo: ui: 75048076 10.1007/s11229-011-0004-8 ppf: 83 ppct: 47 formats: fmt: @attributes: type: P size: 550KB tig: atl: A formal model of emotion triggers: an approach for BDI agents. aug: au: Steunebrink, Bas Dastani, Mehdi Meyer, John-Jules affil: IDSIA & University of Lugano, Galleria 2 6928 Manno-Lugano Switzerland Intelligent Systems Group, Institute of Information and Computing Sciences, Utrecht University, 3508 TB Utrecht The Netherlands su: Emotions Belief & doubt Desire Intention (Logic) Semantics Artificial intelligence sug: subj: Emotions Belief & doubt Desire Intention (Logic) Semantics Artificial intelligence keyword: Cognitive modeling Intelligent agents Logic of emotions ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2012. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2012 holdings: @attributes: islocal: N |
|---|