Probabilistic Satisfiability with Imprecise Probabilities
نویسندگان
چکیده
Treatment of imprecise probabilities within the probabilistic satis®ability 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. Ó 2000 Published by Elsevier Science Inc. All rights reserved.
منابع مشابه
Revisiting the Semantics of Interval Probabilistic Logic Programs
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attrac tiveness of the former is in tying the logic programming research to the body of work on Bayes networks. The second approach ties computationally reasoning about probabilities with linear programming, and allows for natural expression of imprecision i...
متن کاملImprecise Probabilities in Engineering Analyses
Probabilistic uncertainty and imprecision in structural parameters and in environmental conditions and loads are challenging phenomena in engineering analyses. They require appropriate mathematical modeling and quanti cation to obtain realistic results when predicting the behavior and reliability of engineering structures and systems. But the modeling and quanti cation is complicated by the cha...
متن کاملModeling Markov Decision Processes with Imprecise Probabilities Using Probabilistic Logic Programming
We study languages that specify Markov Decision Processes with Imprecise Probabilities (MDPIPs) by mixing probabilities and logic programming. We propose a novel language that can capture MDPIPs and Markov Decision Processes with Set-valued Transitions (MDPSTs); we then obtain the complexity of one-step inference for the resulting MDPIPs and MDPSTs. We also present results of independent intere...
متن کاملReasoning with uncertainty and context-dependent languages
A topos of presheaves can be seen as an extension of classical set theory, where sets vary over informational states, therefore it is a powerful and expressive mathematical framework. I introduce a suitable topos of presheaves where imprecise probabilities and imprecise probabilistic reasoning can be represented. In this way we obtain a mathematical definition of imprecise-probabilistic sets. A...
متن کاملLarge-scale probabilistic prediction with and without validity guarantees
This paper studies theoretically and empirically a method of turning machinelearning algorithms into probabilistic predictors that automatically enjoys a property of validity (perfect calibration) and is computationally e cient. The price to pay for perfect calibration is that these probabilistic predictors produce imprecise (in practice, almost precise for large data sets) probabilities. When ...
متن کامل