Reasoning about knowledge and probability: preliminary report (1988)
| Venue: | Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge |
| Citations: | 12 - 7 self |
BibTeX
@INPROCEEDINGS{Fagin88reasoningabout,
author = {Ronald Fagin and Joseph Y. Halpern},
title = {Reasoning about knowledge and probability: preliminary report},
booktitle = {Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge},
year = {1988},
pages = {277--293},
publisher = {Morgan Kaufmann}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract: We provide a model for reasoning about knowledge anti probabil-ity together. We a.llow explicit mention of probabilities in formulas, so that our language has formulas tha.t essentia.lly say "a.ccording to agent i, formula. (p holds with probability a.t least o~. " The language is powerfid enough to allow reason-ing a~bout 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, a.nd consider various properties that might hold of the in-terrelationship between agents ' subjective probability spaces at different states. We provide a. complete a.xiomatiza.tion for rea.soning about knowledge a.nd probability, prove a. small model property, and obtain decision procedures. We then consider the effects of adding common knowledge and a. probabilistic va.ria.nt of common knowledge to the language.
