Formalization of cognitive-agent systems, trust, and emotions

DOI10.1007/978-3-030-06164-7_19zbMATH Open1547.68756MaRDI QIDQ6602234FDOQ6602234

Authors: Jonathan Ben-Naim, Dominique Longin, Emiliano Lorini 

Publication date: 11 September 2024

Recommendations

• Formal Modelling of Emotions in BDI Agents
• Reasoning about Cognitive Trust in Stochastic Multiagent Systems
• A formal model of emotion triggers: an approach for BDI agents
• Research on formal agent systems with an emotion operator
• Reasoning about emotional agents

Mathematics Subject Classification ID

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

Cites Work

• Expressivity and completeness for public update logics via reduction axioms
• Getting started: Beginnings in the logic of action
• Logics for epistemic programs
• Intention is choice with commitment
• Dynamic logic of preference upgrade
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for reasoning about counterfactual emotions
• Review on computational trust and reputation models
• Towards a theory of intention revision
• A logical formalization of the OCC theory of emotions
• Belief Revision From the Point of View of Doxastic Logic
• A logic of trust and reputation
• The logic of acceptance: grounding institutions on agents' attitudes
• Title not available (Why is that?)
• Modelling moral reasoning and ethical responsibility with logic programming
• A logic for reasoning about moral agents

This page was built for publication: Formalization of cognitive-agent systems, trust, and emotions

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