The effort of reasoning: modelling the inference steps of boundedly rational agents

DOI10.1007/S10849-022-09367-WzbMATH Open1515.03080OpenAlexW4229048293MaRDI QIDQ6097771FDOQ6097771

Authors: Anthia Solaki 

Publication date: 7 June 2023

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-022-09367-w

Recommendations

• The effort of reasoning: modelling the inference steps of boundedly rational agents
• A dynamic epistemic logic for resource-bounded agents
• Developing bounded reasoning
• An epistemic model of an agent who does not reflect on reasoning processes
• Reasoning about Other Agents’ Beliefs under Bounded Resources

zbMATH Keywords

inferencebounded rationalitydynamic epistemic logiclogical omniscienceimpossible worlds

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Modal logic
• Logics of communication and change
• Belief, awareness, and limited reasoning
• Impossible possible worlds vindicated
• Logical dynamics of information and interaction
• Dynamic logic for belief revision
• Title not available (Why is that?)
• A qualitative theory of dynamic interactive belief revision
• Title not available (Why is that?)
• Reasoning about knowledge and probability
• Dynamic epistemic logic
• Logics of public communications
• Title not available (Why is that?)
• A general possible worlds framework for reasoning about knowledge and belief
• Title not available (Why is that?)
• Reasoning about rational, but not logically omniscient, agents
• Resource bounded belief revision
• Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
• A catalog of Boolean concepts.
• A logic of situated resource-bounded agents
• Title not available (Why is that?)
• The effort of reasoning: modelling the inference steps of boundedly rational agents
• A dynamic solution to the problem of logical omniscience
• Dynamic Epistemic Logic and Logical Omniscience

Cited In (3)

• An algorithmic impossible-worlds model of belief and knowledge
• An epistemic model of an agent who does not reflect on reasoning processes
• Predictive theory of mind models based on public announcement logic

This page was built for publication: The effort of reasoning: modelling the inference steps of boundedly rational agents

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