Formalization of cognitive-agent systems, trust, and emotions

DOI10.1007/978-3-030-06164-7_19MaRDI QIDQ6602234zbMATH OpenFDO

Authors Jonathan Ben-Naim, Dominique Longin, Emiliano Lorini

Publication date 11 September 2024

Mathematics Subject Classification ID

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

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

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

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)