Empirical Probabilities in Monadic Deductive Databases

📝 Original Info

• Title: Empirical Probabilities in Monadic Deductive Databases
• ArXiv ID: 1303.5420
• Date: 2013-03-25
• Authors: Researchers from original ArXiv paper

📝 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.

💡 Deep Analysis

Deep Dive into 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.

📄 Full Content

Reference