Reasoning about rational, but not logically omniscient, agents
From MaRDI portal
Publication:4365322
DOI10.1093/logcom/7.5.633zbMath0884.03026OpenAlexW1973154161MaRDI QIDQ4365322
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
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
