Empirical Probabilities in Monadic Deductive Databases

We address the problem of supporting empirical probabilities in monadic logic databases. Though the semantics of multivalued logic programs has been studied extensively, the treatment of probabilities as results of statistical findings has not been studied in logic programming/deductive databases. We develop a model-theoretic characterization of logic databases that facilitates such a treatment. We present an algorithm for checking consistency of such databases and prove its total correctness. We develop a sound and complete query processing procedure for handling queries to such databases.

[1]  Philippe Smets.  Non-standard logics for automated reasoning , 1988 .

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

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

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

[5]  Didier Dubois,et al.  Towards Possibilistic Logic Programming , 1991, ICLP.

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

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

[8]  A. Hasman,et al.  Probabilistic reasoning in intelligent systems: Networks of plausible inference , 1991 .

[9]  V. S. Subrahmanian,et al.  Paraconsistent Logic Programming , 1987, Theor. Comput. Sci..

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

[11]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge - a logical approach to probabilities , 1991 .

[12]  Hector Geffner,et al.  Default reasoning - causal and conditional theories , 1992 .

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

[14]  V. S. Subrahmanian,et al.  Non-Monotonic Negation in Probabilistic Deductive Databases , 1991, UAI.

[15]  Didier Dubois,et al.  Constraint Propagation with Imprecise Conditional Probabilities , 1991, UAI.

[16]  V. S. Subrahmanian,et al.  Stable Semantics for Probabilistic Deductive Databases , 1994, Inf. Comput..

[17]  Anil Nerode,et al.  Implementing deductive databases by linear programming , 1992, PODS.

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