G-99-27
Probabilistic Satisfiability with Imprecise Probabilities
Pierre Hansen, Brigitte Jaumard, Marcus V.S. Poggi De Aragao, Fabien Chauny, and Sylvain Perron
Treatment of imprecise probabilities within the probabilistic satisfiability approach to uncertainty in knowledge-based systems is surveyed and discussed. Both probability intervals and qualitative probabilities are considered. Analytical and numerical methods to test coherence and bound the probability of a conclusion are reviewed. They use polyhedral combinatorics and advanced methods of linear programming.
Published May 1999 , 19 pages