Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence

Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able to combine and correlate evidence obtained from non-independent information sources. BLP has non-monotonic semantics based on the concepts of belief combination functions and is inspired by Dempster-Shafer theory of evidence. Most importantly, unlike the previous efforts to integrate uncertainty and logic programming, BLP can correlate structural information contained in rules and provides more accurate certainty estimates. The results are illustrated via simple, yet realistic examples of rule-based Web service integration.

[1]  V. S. Subrahmanian,et al.  Hybrid Probabilistic Programs , 2000, J. Log. Program..

[2]  Laks V. S. Lakshmanan,et al.  A Parametric Approach to Deductive Databases with Uncertainty , 1996, Logic in Databases.

[3]  Gerd Wagner,et al.  Logic Programming with Strong Negation , 1989, ELP.

[4]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Raymond T. Ng,et al.  Reasoning with Uncertainty in Deductive Databases and Logic Programs , 1997, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[6]  Arthur P. Dempster,et al.  Upper and Lower Probabilities Induced by a Multivalued Mapping , 1967, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[7]  Luc De Raedt,et al.  Adaptive Bayesian Logic Programs , 2001, ILP.

[8]  Lotfi A. Zadeh,et al.  Review of A Mathematical Theory of Evidence , 1984 .

[9]  Johan Schubert,et al.  Dempster's rule for evidence ordered in a complete directed acyclic graph , 1993, Int. J. Approx. Reason..

[10]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[11]  Stephen Muggleton,et al.  Learning Stochastic Logic Programs , 2000, Electron. Trans. Artif. Intell..

[12]  V. S. Subrahmanian,et al.  A semantical framework for supporting subjective and conditional probabilities in deductive databases , 1990, Journal of Automated Reasoning.

[13]  Luc De Raedt,et al.  Bayesian Logic Programs , 2001, ILP Work-in-progress reports.

[14]  V. S. Subrahmanian.  On the Semantics of Quantitative Logic Programs , 1987, SLP.

[15]  James F. Baldwin,et al.  Evidential support logic programming , 1987 .

[16]  Koichi Yamada,et al.  A new combination of evidence based on compromise , 2008, Fuzzy Sets Syst..

[17]  Luc De Raedt,et al.  Probabilistic inductive logic programming , 2004 .

[18]  Charles Elkan,et al.  The paradoxical success of fuzzy logic , 1993, IEEE Expert.

[19]  Thomas Lukasiewicz,et al.  Probabilistic logic programming with conditional constraints , 2001, TOCL.

[20]  Prakash P. Shenoy,et al.  Axioms for probability and belief-function proagation , 1990, UAI.

[21]  Michael Kifer,et al.  On the Semantics of Rule-Based Expert Systems with Uncertainty , 1988, ICDT.

[22]  Michael Kifer,et al.  Query Answering in Belief Logic Programming , 2009, SUM.

[23]  Mounia Lalmas,et al.  Using Dempster-Shafer's Theory of Evidence to Combine Aspects of Information Use , 2004, Journal of Intelligent Information Systems.

[24]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[25]  Michael Kifer,et al.  Logic Programming with Defaults and Argumentation Theories , 2009, ICLP.

[26]  James F. Baldwin,et al.  Support logic programming , 1986, Int. J. Intell. Syst..

[27]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[28]  V. S. Subrahmanian,et al.  Relating Dempster-Shafer Theory to Stable Semantics , 1991, ISLP.

[29]  David Poole,et al.  The Independent Choice Logic and Beyond , 2008, Probabilistic Inductive Logic Programming.

[30]  Lars-Henrik Eriksson,et al.  Extensions of Logic Programming , 1993, Lecture Notes in Computer Science.

[31]  Andrew P. Sage,et al.  Uncertainty in Artificial Intelligence , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[32]  Benjamin N. Grosof,et al.  A courteous compiler from generalized courteous logic programs to ordinary logic programs , 1999 .

[33]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[34]  Ronald R. Yager,et al.  Decision Making Under Dempster-Shafer Uncertainties , 1992, Classic Works of the Dempster-Shafer Theory of Belief Functions.