Formal Modelling of Emotions in BDI Agents

DOI10.1007/978-3-540-88833-8_4MaRDI QIDQ3602941zbMATHOpenAlexFDO

Authors David P. Pereira, Eugénio Oliveira, Nelma Moreira

Publication date 12 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88833-8_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• OCC’s Emotions: A Formalization in a BDI Logic
• A formal model of emotion triggers: an approach for BDI agents
• Research on formal agent systems with an emotion operator
• Reasoning about emotional agents
• A dynamic logic of knowledge, graded beliefs and graded goals and its application to emotion modelling

Cites work

• scientific article; zbMATH DE number 1192312 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2014720 (Why is no real title available?)
• scientific article; zbMATH DE number 1499111 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• Computational Logic in Multi-Agent Systems
• Decision procedures for BDI logics
• Interactions between knowledge, action and commitment within agent dynamic logic
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• On agents that have the ability to choose

Cited in

(13)

• Research on formal agent systems with an emotion operator
• scientific article; zbMATH DE number 2086128 (Why is no real title available?)
• Agents with emotions
• Formalization of cognitive-agent systems, trust, and emotions
• A formal model of emotion triggers: an approach for BDI agents
• OCC’s Emotions: A Formalization in a BDI Logic
• A dynamic logic of knowledge, graded beliefs and graded goals and its application to emotion modelling
• A probabilistic formalization of the appraisal for the OCC event-based emotions
• Modeling emotions and reason in agent-based systems
• Reasoning about emotional agents
• Emotional reasoning in an action language for emotion-aware planning
• A logical formalization of the OCC theory of emotions
• Other-condemning anger = blaming accountable agents for unattainable desires

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Formal Modelling of Emotions in BDI Agents

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