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

DOI10.1007/S11229-011-0004-8zbMATH Open1274.91365OpenAlexW2129813669WikidataQ125758648 ScholiaQ125758648MaRDI QIDQ375310FDOQ375310

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

Publication date: 29 October 2013

Published in: Synthese (Search for Journal in Brave)

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

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

zbMATH Keywords

cognitive modelingintelligent agentslogic of emotions

Mathematics Subject Classification ID

Cognitive psychology (91E10)

Cites Work

• Dynamic Epistemic Logic and Knowledge Puzzles
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intention is choice with commitment
• A logical approach to the dynamics of commitments
• Toward sociable robots
• A logical formalization of the OCC theory of emotions
• Reasoning about emotional agents
• Decision procedures for BDI logics
• Title not available (Why is that?)
• Belief Revision From the Point of View of Doxastic Logic

Cited In (3)

• Title not available (Why is that?)
• OCC’s Emotions: A Formalization in a BDI Logic
• Formal Modelling of Emotions in BDI Agents

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)