REASONING ABOUT KNOWLEDGE AND PROBABILITY: Preliminary Report

A b s t r a c t : We provide a model for reasoning about knowledge anti probability 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 reasoning 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 interrelationship 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.

[1]  Silvio Micali,et al.  The knowledge complexity of interactive proof-systems , 1985, STOC '85.

[2]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[3]  Saharon Shelah,et al.  Reasoning with Time and Chance , 1982, Inf. Control..

[4]  Haim Gaifman,et al.  A Theory of Higher Order Probabilities , 1986, TARK.

[5]  J. Cave.  Learning to agree , 1983 .

[6]  Joseph Y. Halpern,et al.  A Logic to Reason about Likelihood , 1987, Artif. Intell..

[7]  Micha Sharir,et al.  Probabilistic temporal logics for finite and bounded models , 1984, STOC '84.

[8]  Yishai A. Feldman,et al.  A Decidable Propositional Dynamic Logic with Explicit Probabilities , 1986, Inf. Control..

[9]  D. Makinson.  On Some Completeness Theorems in Modal Logic , 1966 .

[10]  Polly S Nichols,et al.  Agreeing to disagree. , 2005, General dentistry.

[11]  Yishai A. Feldman,et al.  A decidable propositional probabilistic dynamic logic , 1983, STOC.

[12]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[13]  J. Hintikka.  Knowledge and belief , 1962 .

[14]  Joseph Y. Halpern,et al.  A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.

[15]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[16]  Enrique H. Ruspini,et al.  Epistemic Logics, Probability, and the Calculus of Evidence , 1987, IJCAI.

[17]  Joseph Y. Halpern.  Reasoning About Knowledge: An Overview , 1986, TARK.

[18]  Silvio Micali,et al.  The Knowledge Complexity of Interactive Proof Systems , 1989, SIAM J. Comput..

[19]  Joseph Y. Halpern.  USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS , 1987 .

[20]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[21]  Joseph Y. Halpern,et al.  A knowledge-based analysis of zero knowledge , 1988, STOC '88.

[22]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[23]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[24]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1967 .