A Logic for Reasoning about Upper Probabilities

We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization for the logic, and show that the satisfiability problem is NP-complete, no harder than satisfiability for propositional logic.

[1]  Joseph Y. Halpern,et al.  Reasoning about Expectation , 2002, UAI.

[2]  Wiebe van der Hoek,et al.  First steps in modal logic , 1997 .

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

[4]  M. Gupta,et al.  FUZZY INFORMATION AND DECISION PROCESSES , 1981 .

[5]  L. Dickson.  Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors , 1913 .

[6]  Elliott Mendelson,et al.  Introduction to mathematical logic (3. ed.) , 1987 .

[7]  Nic Wilson,et al.  A Logical View of Probability , 1994, ECAI.

[8]  George G. Lorentz,et al.  Multiply Subadditive Functions , 1952, Canadian Journal of Mathematics - Journal Canadien de Mathematiques.

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

[10]  Joseph Y. Halpern.  Alternative Semantics for Unawareness , 2000, Games Econ. Behav..

[11]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[12]  Ronald Fagin,et al.  Uncertainty, belief, and probability 1 , 1991, IJCAI.

[13]  I. Levi.  On Indeterminate Probabilities , 1974 .

[14]  Cedric A. B. Smith,et al.  Consistency in Statistical Inference and Decision , 1961 .

[15]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[16]  P. Walley.  Statistical Reasoning with Imprecise Probabilities , 1990 .

[17]  Guus Wolf,et al.  Obere und untere Wahrscheinlichkeiten , 1977 .

[18]  T. Shores.  Applied Linear Algebra And Matrix Analysis , 1999 .

[19]  W. Rudin.  Principles of mathematical analysis , 1964 .

[20]  Bernd Anger,et al.  Infinitely subadditive capacities as upper envelopes of measures , 1985 .

[21]  Henry E. Kyburg,et al.  Bayesian and Non-Bayesian Evidential Updating , 1987, Artificial Intelligence.