关于上概率推理的逻辑
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
我们提出了一种命题逻辑，可用于推理事件的不确定性，其中不确定性由一组概率度量建模，这些度量为每个事件分配一个概率区间。我们给出了该逻辑的完备且可靠的公理化系统，证明了可满足性问题是NP完备的，这与命题逻辑的可满足性问题一样难。
引用
@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