Integrating integer programming and probabilistic deduction graphs for probabilistic reasoning

Optimal solutions of several variants of the probabilistic reasoning problem were found by a new technique that integrates integer programming and probabilistic deduction graphs (PDG). PDGs are extended from deduction graphs of the and-type via normal deduction graphs. The foregoing variants to be solved can involve multiple hypotheses and multiple evidences where the former is given and the latter is unknown and being found or vice versa. The relationship among these hypotheses and evidences with possible intermediaries is represented by a causal graph. The proposed method can handle a large causal graph of any type and find an optimal solution by invoking a linear integer programming package. In addition, formulating the reasoning problem to fit integer programming takes a polynomial time.

[1]  Han-Lin Li,et al.  Abductive reasoning by constructing probabilistic deduction graphs for solving the diagnosis problem , 1991, Decis. Support Syst..

[2]  John Yen,et al.  GERTIS: a Dempster-Shafer approach to diagnosing hierarchical hypotheses , 1989, CACM.

[3]  Edward H. Shortliffe,et al.  A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space , 1985, Artif. Intell..

[4]  G. Nemhauser,et al.  Integer Programming , 2020 .

[5]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[6]  J. Barclay Adams,et al.  A probability model of medical reasoning and theMYCIN model , 1976 .

[7]  H. Lewis Chau,et al.  Algorithms for Constructing Minimal Deduction Graphs , 1989, IEEE Trans. Software Eng..

[8]  Glenn Shafer,et al.  Implementing Dempster's Rule for Hierarchical Evidence , 1987, Artif. Intell..

[9]  David Heckerman,et al.  Probabilistic Interpretation for MYCIN's Certainty Factors , 1990, UAI.

[10]  Judea Pearl,et al.  Embracing Causality in Formal Reasoning , 1987, AAAI.

[11]  L. N. Kanal,et al.  Uncertainty in Artificial Intelligence 5 , 1990 .

[12]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[13]  Chao-Chih Yang.  An Algorithm for Logically Deducing Horn Clauses and Processing Logic Queries , 1987, Int. J. Pattern Recognit. Artif. Intell..

[14]  Madan M. Gupta,et al.  Approximate reasoning in expert systems , 1985 .

[15]  Eric Horvitz,et al.  The Inconsistent Use of Measures of Certainty in Artificial Intelligence Research , 1985, UAI.

[16]  Wen-Bing Horng,et al.  A Shortest Path Algorithm to Find Minimal Deduction Graphs , 1991, Data Knowl. Eng..

[17]  Paul R. Cohen,et al.  Management of uncertainty in medicine , 1986, Int. J. Approx. Reason..

[18]  Chao-Chih Yang.  Deduction Graphs: An Algorithm and Applications , 1989, IEEE Trans. Software Eng..

[19]  Judea Pearl,et al.  Embracing Causality in Default Reasoning , 1988, Artif. Intell..

[20]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[21]  Lotfi A. Zadeh,et al.  A Simple View of the Dempster-Shafer Theory of Evidence and Its Implication for the Rule of Combination , 1985, AI Mag..