Artificial Intelligence
A decidable propositional dynamic logic with explicit probabilities
Information and Control
The knowledge complexity of interactive proof-systems
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Reasoning about knowledge: an overview
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
A theory of higher order probabilities
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
A logic to reason about likelihood
Artificial Intelligence
A knowledge-based analysis of zero knowledge
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Probabilistic temporal logics for finite and bounded models
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Combination of Bayesian Network and Overlay Model in User Modeling
ICCS 2009 Proceedings of the 9th International Conference on Computational Science
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Factored models for probabilistic modal logic
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
An analysis of first-order logics of probability
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
W: a logic system based on shared common knowledge views
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The trichotomy of HAVING queries on a probabilistic database
The VLDB Journal — The International Journal on Very Large Data Bases
Probabilities that imply certainties
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Sigma algebras in probabilistic epistemic dynamics
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Deliberation and its role in the formation of intentions
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
| Hi-index | 0.00 |
We provide a model for reasoning about knowledge and probability together. We allow explicit mention of probabilities in formulas, so that our language has formulas that essentially say "according to agent i, formula φ holds with probability at least α." The language is powerful enough to allow reasoning about higher-order probabilities, as well as allowing explicit comparisons of the probabilities an agent places on distinct events. We present a general framework for interpreting such formulas, and consider various properties that might hold of the interrelationship between agents' subjective probability spaces at different states. We provide a complete axiomatization for reasoning about knowledge and probability, prove a small model property, and obtain decision procedures. We then consider the effects of adding common knowledge and a probabilistic variant of common knowledge to the language.