A Logic for Reasoning About Upper Probabilities

JAIR 2002 pp. 57-81

doi:10.1613/JAIR.985 /jair/2002/halpern2002jair-logic/

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.

PDF JAIR Semantic Scholar

Cite

Text

Halpern and Pucella. "A Logic for Reasoning About Upper Probabilities." Journal of Artificial Intelligence Research, 2002. doi:10.1613/JAIR.985

Markdown

[Halpern and Pucella. "A Logic for Reasoning About Upper Probabilities." Journal of Artificial Intelligence Research, 2002.](https://mlanthology.org/jair/2002/halpern2002jair-logic/) doi:10.1613/JAIR.985

BibTeX

@article{halpern2002jair-logic,
  title     = {{A Logic for Reasoning About Upper Probabilities}},
  author    = {Halpern, Joseph Y. and Pucella, Riccardo},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2002},
  pages     = {57-81},
  doi       = {10.1613/JAIR.985},
  volume    = {17},
  url       = {https://mlanthology.org/jair/2002/halpern2002jair-logic/}
}