Sciweavers

Share
UAI
2001

A Logic for Reasoning about Upper Probabilities

8 years 10 months ago
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.
Joseph Y. Halpern, Riccardo Pucella
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where UAI
Authors Joseph Y. Halpern, Riccardo Pucella
Comments (0)
books