A Logic for Reasoning about Upper Probabilities
Artificial Intelligence
2014-08-08 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.1408.1485,
title = {A Logic for Reasoning about Upper Probabilities},
author = {Joseph Y. Halpern and Riccardo Pucella},
journal= {arXiv preprint arXiv:1408.1485},
year = {2014}
}
Comments
Appears in Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (UAI2001)