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
Hi-index | 0.00 |
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.