A logic for reasoning about upper probabilities
Abstract
We present a propositional logic %which can be used 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2003
- DOI:
- 10.48550/arXiv.cs/0307069
- arXiv:
- arXiv:cs/0307069
- Bibcode:
- 2003cs........7069H
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science;
- I.2.4;
- F.2.1
- E-Print:
- A preliminary version of this paper appeared in Proc. of the 17th Conference on Uncertainty in AI, 2001