Reasoning with uncertainty in deductive databases and logic programs

DOI10.1142/S0218488597000245MaRDI QIDQ3114490zbMATH OpenOpenAlexFDO

Authors Raymond T. Ng

Publication date 17 February 2012

Published in International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218488597000245

zbMATH Keywords

logic programsdeductive databasesreasoning with uncertaintyDempster-Shafer formalism

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17) Database theory (68P15)

Recommendations

• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Stable semantics for probabilistic deductive databases
• scientific article; zbMATH DE number 1923157
• scientific article; zbMATH DE number 4064538
• Uncertain deductive databases: a hybrid approach

Cites work

• scientific article; zbMATH DE number 4057054 (Why is no real title available?)
• scientific article; zbMATH DE number 3254846 (Why is no real title available?)
• A linear programming approach to reasoning about probabilities
• A logic for default reasoning
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Circumscription - a form of non-monotonic reasoning
• Concerning measures in first order calculi
• Default reasoning and possibility theory
• Evidential support logic programming
• Fuzzy sets
• Non-monotonic logic. I
• Paraconsistent disjunctive deductive databases
• Probabilistic logic programming
• Probability logic
• Semantical considerations on nonmonotonic logic
• Stable semantics for probabilistic deductive databases

Cited in

(10)

• Knowledge representation and reasoning under uncertainty. Logic at work
• A framework for reasoning under uncertainty based on non-deterministic distance semantics
• Knowledge of uncertain worlds: programming with logical constraints
• Knowledge of uncertain worlds: programming with logical constraints
• Reasoning with Uncertainty in Continuous Domains
• scientific article; zbMATH DE number 4074044 (Why is no real title available?)
• scientific article; zbMATH DE number 4160105 (Why is no real title available?)
• scientific article; zbMATH DE number 1931666 (Why is no real title available?)
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• A hybrid approach to deductive uncertain inference

This page was built for publication: Reasoning with uncertainty in deductive databases and logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3114490)