A logic for reasoning about upper probabilities

Authors:
Joseph Y. Halpern;Riccardo Pucella
Affiliations:
Department of Computer Science, Cornell University, Ithaca, NY;Department of Computer Science, Cornell University, Ithaca, NY
Venue:
Journal of Artificial Intelligence Research
Year:
2002

Citing 7
Cited 4

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
Bayesian and non-Bayesian evidential updating

Artificial Intelligence
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Uncertainty, belief, and probability

Computational Intelligence
First steps in modal logic

First steps in modal logic
Reasoning about Uncertainty

Reasoning about Uncertainty
Reasoning about expectation

UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence

Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs

Annals of Mathematics and Artificial Intelligence
Characterizing and reasoning about probabilistic and non-probabilistic expectation

Journal of the ACM (JACM)
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques

Fuzzy Sets and Systems
Weighted regret-based likelihood: a new approach to describing uncertainty

ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Quantified Score

Hi-index	0.00

Visualization

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.