Empirical probabilities in monadic deductive databases

Authors:
Raymond T. Ng;V. S. Subrahmanian
Affiliations:
Department of Computer Science, University of Maryland, College Park, Maryland;Department of Computer Science, University of Maryland, College Park, Maryland
Venue:
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Year:
1992

Citing 14
Cited 0

Probabilistic logic

Artificial Intelligence
Quantitative deduction and its fixpoint theory

Journal of Logic Programming
Evidential support logic programming

Fuzzy Sets and Systems
Paraconsistent logic programming

Theoretical Computer Science
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities

Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Constraint propagation with imprecise conditional probabilities

Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Non-monotonic negation in probabilistic deductive databases

Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Bilattices and the semantics of logic programming

Journal of Logic Programming
Probabilistic reasoning in logic programming

Methodologies for intelligent systems, 5
Implementing deductive databases by linear programming

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
Default reasoning: causal and conditional theories

Default reasoning: causal and conditional theories

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.