A Logic for Reasoning about Upper Probabilities

08/07/2014
by   Joseph Y. Halpern, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 5

page 6

page 7

research
07/27/2014

Reasoning about Expectation

Expectation is a central notion in probability theory. The notion of exp...
research
01/16/2014

Decidability and Undecidability Results for Propositional Schemata

We define a logic of propositional formula schemata adding to the syntax...
research
09/01/2019

ExpTime Tableaux for Type PDL

The system of Type PDL (τPDL) is an extension of Propositional Dynamic L...
research
03/27/2013

Time, Chance, and Action

To operate intelligently in the world, an agent must reason about its ac...
research
07/21/2022

Correlated Boolean Operators for Uncertainty Logic

We present a correlated and gate which may be used to propagate uncertai...
research
02/12/2020

NP Reasoning in the Monotone μ-Calculus

Satisfiability checking for monotone modal logic is known to be (only) N...
research
10/15/2019

Probability Logic

This chapter presents probability logic as a rationality framework for h...

Please sign up or login with your details

Forgot password? Click here to reset