Empirical Probabilities in Monadic Deductive Databases
Raymond Ng, V. Subrahmanian
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.
PDF Link: /papers/92/p215-ng.pdf
AUTHOR = "Raymond Ng
and V. Subrahmanian",
TITLE = "Empirical Probabilities in Monadic Deductive Databases",
BOOKTITLE = "Proceedings of the Eighth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-92)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Mateo, CA",
YEAR = "1992",
PAGES = "215--222"