A logic for reasoning about upper probabilities
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
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.
引用
@article{arxiv.cs/0307069,
title = {A logic for reasoning about upper probabilities},
author = {Joseph Y. Halpern and Riccardo Pucella},
journal= {arXiv preprint arXiv:cs/0307069},
year = {2007}
}
备注
A preliminary version of this paper appeared in Proc. of the 17th Conference on Uncertainty in AI, 2001