A formal model of emotion triggers: an approach for BDI agents

DOI10.1007/S11229-011-0004-8MaRDI QIDQ375310zbMATH OpenOpenAlexWikidataFDO

Authors Bas R. Steunebrink, Mehdi Dastani, John-Jules Meyer

Publication date 29 October 2013

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-011-0004-8

zbMATH Keywords

cognitive modelingintelligent agentslogic of emotions

Mathematics Subject Classification ID

Cognitive psychology (91E10)

Recommendations

• Formal Modelling of Emotions in BDI Agents
• OCC’s Emotions: A Formalization in a BDI Logic
• A logical formalization of the OCC theory of emotions
• A probabilistic formalization of the appraisal for the OCC event-based emotions
• Research on formal agent systems with an emotion operator

Cites work

• scientific article; zbMATH DE number 1305380 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A logical approach to the dynamics of commitments
• A logical formalization of the OCC theory of emotions
• Belief Revision From the Point of View of Doxastic Logic
• Decision procedures for BDI logics
• Dynamic Epistemic Logic and Knowledge Puzzles
• Intention is choice with commitment
• Reasoning about emotional agents
• Toward sociable robots

Cited in

(8)

• Research on formal agent systems with an emotion operator
• Formalization of cognitive-agent systems, trust, and emotions
• OCC’s Emotions: A Formalization in a BDI Logic
• A probabilistic formalization of the appraisal for the OCC event-based emotions
• scientific article; zbMATH DE number 1948993 (Why is no real title available?)
• Formal Modelling of Emotions in BDI Agents
• A logical formalization of the OCC theory of emotions
• Other-condemning anger = blaming accountable agents for unattainable desires

This page was built for publication: A formal model of emotion triggers: an approach for BDI agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375310)