Reasoning about rational, but not logically omniscient, agents

DOI10.1093/logcom/7.5.633zbMath0884.03026OpenAlexW1973154161MaRDI QIDQ4365322

Ho Ngoc Duc

Publication date: 1 April 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://ul.qucosa.de/id/qucosa%3A32499

zbMATH Keywords

knowledgeepistemic logicomnisciencelogics of belief

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (24)

Logics of Rational Interaction ⋮ Temporalizing Modal Epistemic Logic ⋮ A new framework for justification logic ⋮ The dynamics of awareness ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ Dynamic Epistemic Logic and Logical Omniscience ⋮ On the factivity of implicit intersubjective knowledge ⋮ Epistemic Relevance and Epistemic Actions ⋮ Syntactic awareness in logical dynamics ⋮ The interrogative model of inquiry meets dynamic epistemic logics ⋮ A dynamic solution to the problem of logical omniscience ⋮ The dynamics of epistemic attitudes in resource-bounded agents ⋮ The effort of reasoning: modelling the inference steps of boundedly rational agents ⋮ Introspection as an action in relational models ⋮ Unnamed Item ⋮ Belief ascription under bounded resources ⋮ Epistemic logic for rule-based agents ⋮ A logic of situated resource-bounded agents ⋮ Expressing Belief Flow in Assertion Networks ⋮ An epistemic logic for multi-agent systems with budget and costs ⋮ Rethinking epistemic logic with belief bases ⋮ Inference and update ⋮ Verifying time, memory and communication bounds in systems of reasoning agents ⋮ A probabilistic semantics for belief logic

This page was built for publication: Reasoning about rational, but not logically omniscient, agents