New Directions For Uncertainty Reasoning In Deductive Databases.
Helmut Thöne
Ulrich Güntzer
Werner Kießling
ACM SIGMOD Conference
1991
20
2
178
187
902 KB
This paper contributes a novel approach to nonmonotonic uncertainty reasoning, which is ubiquitous in many real-life applications. Founded on the paradigm of conditional probabilities we develop a rule-based calculus and prove that it is sound, even in th
Computing Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving, Uncertainty, "fuzzy," and probabilistic reasoning.
Information Systems, DATABASE MANAGEMENT, Languages, Datalog.
Computing Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving, Nonmonotonic reasoning and belief revision.
I.2.3
Computing Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving, Nonmonotonic reasoning and belief revision.
I.2.3
Computing Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving, Uncertainty, "fuzzy," and probabilistic reasoning.
H.2.3
Information Systems, DATABASE MANAGEMENT, Languages, Datalog.