A semantical framework for supporting subjective and conditional probabilities in deductive databases

We present a theoretical basis for supporting subjective and conditional probabilities in deductive databases. We design a language that allows a user greater expressive power than classical logic programming. In particular, a user can express the fact thatA is possible (i.e.A has non-zero probability),B is possible, but (A ⋀B) as a whole is impossible. A user can also freely specify probability annotations that may contain variables. The focus of this paper is to study the semantics of programs written in such a language in relation to probability theory. Our model theory which is founded on the classical one captures the uncertainty described in a probabilistic program at the level of Herbrand interpretations. Furthermore, we develop a fixpoint theory and a proof procedure for such programs and present soundness and completeness results. Finally we characterize the relationships between probability theory and the fixpoint, model, and proof theory of our programs.

[1]  W. R. Stahl,et al.  An Elementary Introduction to the Theory of Probability. , 1962 .

[2]  Laks V. S. Lakshmanan,et al.  ProbView: a flexible probabilistic database system , 1997, TODS.

[3]  Jürgen Dix,et al.  Probabilistic agent programs , 1999, TOCL.

[4]  Alberto Martelli,et al.  An Efficient Unification Algorithm , 1982, TOPL.

[5]  Krishnaprasad Thirunarayan,et al.  A Theory of Nonmonotonic Inheritance Based on Annotated Logic , 1993, Artif. Intell..

[6]  V. S. Subrahmanian,et al.  On the Expressive Power of Annotated Logic Programs , 1989, NACLP.

[7]  M. H. van Emden,et al.  Quantitative Deduction and its Fixpoint Theory , 1986, J. Log. Program..

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

[9]  Michael Kifer,et al.  RI: a logic for reasoning with inconsistency , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[10]  Peter C. Cheeseman,et al.  In Defense of Probability , 1985, IJCAI.

[11]  Krishnaprasad Thirunarayan,et al.  An Evidence-based Framework for a Theory of Inheritance , 1989, IJCAI.

[12]  Laks V. S. Lakshmanan,et al.  A Parametric Approach to Deductive Databases with Uncertainty , 2001, IEEE Trans. Knowl. Data Eng..

[13]  Melvin Fitting,et al.  Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..

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

[15]  E. Anderson.  Linear Programming In Infinite Dimensional Spaces , 1970 .

[16]  H. Jeffreys.  Logical Foundations of Probability , 1952, Nature.

[17]  A. Kolmogorov.  On Logical Foundations of Probability Theory , 1983 .

[18]  V. S. Subrahmanian,et al.  Heterogeneous Active Agents, I: Semantics , 1999, Artif. Intell..

[19]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge , 1988 .

[20]  Thomas Lukasiewicz,et al.  Probabilistic Logic Programming , 1998, ECAI.

[21]  Günter Asser,et al.  Zeitschrift für mathematische Logik und Grundlagen der Mathematik , 1955 .

[22]  Laks V. S. Lakshmanan,et al.  Probabilistic Deductive Databases , 1994, ILPS.

[23]  Lawrence J. Henschen,et al.  The Completeness of GP-Resolution for Annotated Logics , 1992, Inf. Process. Lett..

[24]  V. S. Subrahmanian,et al.  A stochastic language for modelling opponent agents , 2006, AAMAS '06.

[25]  Luís Moniz Pereira,et al.  Coherent Well-founded Annotated Logic Programs , 1999, LPNMR.

[26]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[27]  V. S. Subrahmanian,et al.  Paraconsistent Logic Programming , 1987, FSTTCS.

[28]  Robert B. Ross,et al.  Aggregate operators in probabilistic databases , 2005, JACM.

[29]  Seymour Geisser.  An Elementary Introduction to the Theory of Probability , 1961 .

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

[31]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[32]  Thomas Lukasiewicz,et al.  Temporal Probabilistic Object Bases , 2003, IEEE Trans. Knowl. Data Eng..

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

[34]  Krishnaprasad Thirunarayan,et al.  On the Declarative Semantics of Inheritance Networks , 1989, IJCAI.

[35]  H. Gaifman.  Concerning measures in first order calculi , 1964 .

[36]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[37]  L. Khachiyan.  Polynomial algorithms in linear programming , 1980 .

[38]  Judea Pearl,et al.  Chapter 2 – BAYESIAN INFERENCE , 1988 .

[39]  J. Lukasiewicz.  Logical foundations of probability theory , 1970 .

[40]  Jürgen Dix,et al.  Heterogeneous temporal probabilistic agents , 2006, TOCL.

[41]  J. Baldwin.  Support Logic Programming , 1986 .

[42]  Thomas Lukasiewicz,et al.  Probabilistic object bases , 2001, TODS.

[43]  E. Anderson,et al.  Linear programming in infinite-dimensional spaces : theory and applications , 1987 .

[44]  Ranjeev Mittu,et al.  Building upon the Coalitions Agent Experiment (COAX) - Integration of Multimedia Information in GCCS-M using IMPACT , 2003, Multimedia Information Systems.

[45]  Michael Kifer,et al.  A logic for reasoning with inconsistency , 1992, Journal of Automated Reasoning.

[46]  Lotfi A. Zadeh,et al.  Fuzzy Algorithms , 1968, Inf. Control..

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

[48]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[49]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[50]  Theodore Hailperin,et al.  Probability logic , 1984, Notre Dame J. Formal Log..

[51]  A. N. Kolmogorov,et al.  Foundations of the theory of probability , 1960 .

[52]  D. Scott,et al.  Assigning Probabilities to Logical Formulas , 1966 .

[53]  L. G. H. Cijan.  A polynomial algorithm in linear programming , 1979 .

[54]  Laks V. S. Lakshmanan,et al.  Modeling Uncertainty in Deductive Databases , 1994, DEXA.

[55]  V. Barnett,et al.  The Logical Foundations of Statistical Inference , 1977 .

[56]  Ronald Fagin,et al.  Uncertainty, belief, and probability 1 , 1991, IJCAI.

[57]  Bharat Bhargava,et al.  Advanced Database Systems , 1993, Lecture Notes in Computer Science.

[58]  Robert B. Ross,et al.  Probabilistic temporal databases, I: algebra , 2001, TODS.

[59]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[60]  Neil V. Murray,et al.  Adapting Classical Inference Techniques to Multiple-Valued Logics Using Signed Formulas , 1994, Fundam. Informaticae.

[61]  Jürgen Dix,et al.  Heterogeneous Agent Systems , 2000 .

[62]  V. S. Subrahmanian,et al.  The Paraconsistent Logics PJ , 1991, Math. Log. Q..

[63]  Gai CarSO.  A Logic for Reasoning about Probabilities * , 2004 .

[64]  V. S. Subrahmanian,et al.  Hybrid Probabilistic Programs: Algorithms and Complexity , 1999, UAI.

[65]  Henry Ely Kyburg,et al.  The logical foundations of statistical inference , 1974 .

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

[67]  Rudolf Carnap,et al.  Logical foundations of probability , 1951 .

[68]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[69]  Ehud Y. Shapiro,et al.  Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems , 1983, IJCAI.

[70]  Richard O. Duda,et al.  Subjective bayesian methods for rule-based inference systems , 1976, AFIPS '76.

[71]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[72]  H. Kyburg,et al.  Logical foundations of probability , 1951 .

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