Epistemic logics for modeling group dynamics of cooperative agents, and aspects of theory of mind

DOI10.13137/2464-8728/33311MaRDI QIDQ5087787zbMATH OpenFDO

Authors Stefania Costantini

Publication date 1 July 2022

zbMATH Keywords

epistemic logictheory of mindagents and multi-agent systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1746025
• The cooperative problem-solving process
• A logical theory of coordination and joint ability
• Towards a logical formalisation of Theory of Mind: a study on false belief tasks
• scientific article; zbMATH DE number 2182495

Cites work

• scientific article; zbMATH DE number 5547960 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 1931644 (Why is no real title available?)
• scientific article; zbMATH DE number 7453130 (Why is no real title available?)
• scientific article; zbMATH DE number 7453151 (Why is no real title available?)
• A survey of programming languages and platforms for multi-agent systems
• An epistemic logic for multi-agent systems with budget and costs
• Computational Logic in Multi-Agent Systems
• Handbook of epistemic logic
• Prolegomena to a theory of mechanized formal reasoning
• Reasoning about rational, but not logically omniscient, agents
• The dynamics of epistemic attitudes in resource-bounded agents

Cited in

(3)

• scientific article; zbMATH DE number 7450025 (Why is no real title available?)
• On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
• Parameterized complexity of theory of mind reasoning in dynamic epistemic logic

Describes a project that uses

Uses Software

• GitHub

This page was built for publication: Epistemic logics for modeling group dynamics of cooperative agents, and aspects of theory of mind

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