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

DOI10.1007/BF00881836zbMath0784.68082MaRDI QIDQ1311410

V. S. Subrahmanian, Raymond T. Ng

Publication date: 27 March 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

probability theorydeductive databasesreasoning with uncertaintyfixpoint theorysubjective and conditional probabilities

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99) Logic programming (68N17)

Related Items

Anytime deduction for probabilistic logic, Probabilistic description logic programs under inheritance with overriding for the semantic Web, A new approach to hybrid probabilistic logic programs, Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds, A Logical Approach to Qualitative and Quantitative Reasoning, A core language for fuzzy answer set programming, Focused most probable world computations in probabilistic logic programs, On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability, Reducing fuzzy answer set programming to model finding in fuzzy logics, Query evaluation in probabilistic relational databases, Using Histograms to Better Answer Queries to Probabilistic Logic Programs, Quantitative Logic Programming Revisited, On Theorem Proving in Annotated Logics, Aggregated fuzzy answer set programming, The theory of interval probabilistic logic programs, Reasoning with Uncertainty in Deductive Databases and Logic Programs, Interpreting disjunctive logic programs based on a strong sense of disjunction, Combining probabilistic logic programming with the power of maximum entropy

Cites Work

• Probability logic
• Probabilistic logic
• Belief, awareness, and limited reasoning
• Evidential support logic programming
• Paraconsistent disjunctive deductive databases
• The logical foundations of statistical inference
• A logic for reasoning about probabilities
• Concerning measures in first order calculi
• Quantitative deduction and its fixpoint theory
• An Efficient Unification Algorithm
• Bilattices and the semantics of logic programming
• Fuzzy sets
• Fuzzy algorithms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item