A logical formalization of the OCC theory of emotions

DOI10.1007/s11229-009-9460-9zbMath1182.03008OpenAlexW2098053732MaRDI QIDQ1036048

Andreas Herzig, C. Adam, D. Longin

Publication date: 4 November 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-009-9460-9

zbMATH Keywords

modal logicsBDI agentsemotionsOCC theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Mathematical psychology (91E99)

Related Items (4)

A formal model of emotion triggers: an approach for BDI agents ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ A logic for reasoning about counterfactual emotions ⋮ A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling

Uses Software

• KARO

Cites Work

• From knowledge-based programs to graded belief-based programs. I: On-line reasoning
• A logic of intention and attempt
• A logic to reason about likelihood
• Varieties of modal (classificatory) and comparative probability
• A logical approach to the dynamics of commitments
• The cognitive structure of surprise: looking for basic principles
• Intention is choice with commitment
• On programming KARO agents
• Agents with emotions
• Reasoning about emotional agents
• OCC’s Emotions: A Formalization in a BDI Logic
• Reasoning about knowledge and probability
• Probability logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logical formalization of the OCC theory of emotions