Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Most artificial intelligence applications require reasoning with uncertainty and incompleteness. Such information is not captured in terms of simple true and false values nor in terms of probabilistic estimates when relevant statistical data are lacking. In this paper, we extend Nilsson's probabilistic logic, a semantic generalization of logic, in which the truth value of a sentence is a probability value between Ø and 1 to evidential logic in the framework of Dempster-Shafer theory.