Belief, awareness, and limited reasoning
Artificial Intelligence
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Reasoning about knowledge and probability
Journal of the ACM (JACM)
Reasoning about knowledge
A Deduction Model of Belief
On the model theory of knowledge
On the model theory of knowledge
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Interactive unawareness revisited
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Deductive Algorithmic Knowledge
Journal of Logic and Computation
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Using First-Order Logic to Reason about Policies
ACM Transactions on Information and System Security (TISSEC)
Towards optimal distributed consensus
SFCS '89 Proceedings of the 30th Annual Symposium on Foundations of Computer Science
Artificial Intelligence
Maintaining awareness using policies; Enabling agents to identify relevance of information
Journal of Computer and System Sciences
Epistemic logic, relevant alternatives, and the dynamics of context
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
| Hi-index | 0.00 |
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and impossible possible worlds. Although in some settings these approaches are equi-expressive and can capture all epistemic states, in other settings of interest (especially with probability in the picture), we show that they are not equi-expressive. We then consider the pragmatics of dealing with logical omniscience-how to choose an approach and construct an appropriate model.