Formal Modelling of Emotions in BDI Agents

DOI10.1007/978-3-540-88833-8_4zbMATH Open1175.68462OpenAlexW2117516316MaRDI QIDQ3602941FDOQ3602941

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• A guide to completeness and complexity for modal logics of knowledge and belief
• Decision procedures for BDI logics
• Title not available (Why is that?)
• Computational Logic in Multi-Agent Systems
• On agents that have the ability to choose
• Interactions between knowledge, action and commitment within agent dynamic logic
• Title not available (Why is that?)

Cited In (10)

• A logical formalization of the OCC theory of emotions
• Agents with emotions
• OCC’s Emotions: A Formalization in a BDI Logic
• Research on formal agent systems with an emotion operator
• Title not available (Why is that?)
• Modeling emotions and reason in agent-based systems
• Reasoning about emotional agents
• A dynamic logic of knowledge, graded beliefs and graded goals and its application to emotion modelling
• Emotional reasoning in an action language for emotion-aware planning
• A formal model of emotion triggers: an approach for BDI agents

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)