Probabilistic satisfiability with imprecise probabilities

Authors
Hansen, P Jaumard, B de Aragao, MP Chauny, F Perron, S
Citation
P. Hansen et al., Probabilistic satisfiability with imprecise probabilities, INT J APPRO, 24(2-3), 2000, pp. 171-189
Citations number
44
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
ISSN journal
0888613X → ACNP
Volume
24
Issue
2-3
Year of publication
2000
Pages
171 - 189
Database
ISI
SICI code
0888-613X(200005)24:2-3<171:PSWIP>2.0.ZU;2-A
Abstract
Treatment of imprecise probabilities within the probabilistic satisfiabilit y approach to uncertainty in knowledge-based systems is surveyed and discus sed. Both probability intervals and qualitative probabilities are considere d. Analytical and numerical methods to test coherence and bound the probabi lity of a conclusion are reviewed, They use polyhedral combinatorics and ad vanced methods of linear programming. (C) 2000 Published by Elsevier Scienc e Inc. All rights reserved.