Epistemic logic for rule-based agents
From MaRDI portal
Publication:1006511
DOI10.1007/s10849-008-9071-8zbMath1159.03010OpenAlexW2032007125MaRDI QIDQ1006511
Publication date: 24 March 2009
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-008-9071-8
Artificial intelligenceEpistemic logicDoxastic logicLogical omniscienceResource boundsRule-based agents
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (14)
The content of deduction ⋮ A modal view on resource-bounded propositional logics ⋮ The dynamics of awareness ⋮ Constructing worlds ⋮ On the factivity of implicit intersubjective knowledge ⋮ Syntactic awareness in logical dynamics ⋮ The interrogative model of inquiry meets dynamic epistemic logics ⋮ The dynamics of epistemic attitudes in resource-bounded agents ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Introspection as an action in relational models ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ An epistemic logic for multi-agent systems with budget and costs ⋮ Rethinking epistemic logic with belief bases ⋮ Seeing, Knowledge and Common Knowledge
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Belief, awareness, and limited reasoning
- A paradox regained
- A note on syntactical treatments of modality
- Rule-based languages
- Decision procedures and expressiveness in the temporal logic of branching time
- Developing multi‐agent systems with a FIPA‐compliant agent framework
- The Dynamics of Syntactic Knowledge
- Alternating-time temporal logic
- Dynamic Epistemic Logic and Knowledge Puzzles
- Reasoning about rational, but not logically omniscient, agents
- Logics in Artificial Intelligence
- A nonstandard approach to the logical omniscience problem
This page was built for publication: Epistemic logic for rule-based agents
