Semantical considerations on nonmonotonic logic
Artificial Intelligence
Reasoning about knowledge: an overview
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge in philosophy: the paradigm of epistemic logic
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
What awareness isn't: a sentential view of implicit and explicit belief
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
On epistemic logic and logical omniscience
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Belief, awareness, and limited reasoning
Artificial Intelligence
Intention is choice with commitment
Artificial Intelligence
Intelligence without representation
Artificial Intelligence
A computationally attractive first-order logic of belief
JELIA '90 Proceedings of the European workshop on Logics in AI
A model-theoretic analysis of knowledge
Journal of the ACM (JACM)
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
A logic for reasoning with inconsistent knowledge
Artificial Intelligence
Artificial Intelligence
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Limited reasoning in first-order knowledge bases
Artificial Intelligence
Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Tractable reasoning via approximation
Artificial Intelligence
Reasoning about knowledge
A nonstandard approach to the logical omniscience problem
Artificial Intelligence
ALX, an action logic for agents with bounded rationality
Artificial Intelligence
Partiality, modality, and nonmonotonicity
Partiality, modality, and nonmonotonicity
Modalities for reasoning about knowledge and uncertainties
Partiality, modality, and nonmonotonicity
Combining partial and classical semantics. A hybrid approach to belief and awareness
Partiality, modality, and nonmonotonicity
Godel Escher Bach: An Eternal Golden Braid
Godel Escher Bach: An Eternal Golden Braid
Tractable Reasoning in Artificial Intelligence
Tractable Reasoning in Artificial Intelligence
A Deduction Model of Belief
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Philosophy and AI: Essays at the Interface
Philosophy and AI: Essays at the Interface
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
A Tractable Knowledge Representation Service with Full Introspection
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
A Nonstandard Approach to the Logical Omniscience Problem
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge
Limited Logical Belief Analysis
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
Semantics of BDI Agents and Their Environment
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
Control Architectures for Autonomous and Interacting Agents: A Survey
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Formal Specification of Beliefs in Multi-Agent Systems
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Modelling and Design of Multi-Agent Systems
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Approximate reasoning and non-omniscient agents
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Provably bounded-optimal agents
Journal of Artificial Intelligence Research
The semantics of intention maintenance for rational agents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Avoiding Logical Omniscience by Using Subjective Situations
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Dealing with logical omniscience
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Knowledge Assessment: A Modal Logic Approach
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Knowledge, Time, and Logical Omniscience
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Dealing with logical omniscience: Expressiveness and pragmatics
Artificial Intelligence
Complete axiomatizations of finite syntactic epistemic states
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Strongly complete axiomatizations of “knowing at most” in syntactic structures
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Knowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae - Logic, Language, Information and Computation
Hi-index | 0.01 |
Beliefs have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they seem to commit us to model agents that are logically omniscient (they believe every classical tautology) and perfect reasoners (their beliefs are closed under classical deductive closure). Thus, this model does not seem to be appropriate to model non‐ideal agents, that have resource limitations that can prevent them from attaining such levels of doxastic competence. This article contains a statement of these problems and a survey of some of the most interesting approaches that have been suggested to overcome them.