On Semantics of Logic Programs with Uncertainties

概要

論文の詳細を見る
A mechanism for dealing with uncertainties plays a central role in knowledge systems like expert systems. Especially, incorporating uncertainties into logic programs is a current study. On the other hand, there are few semantical considerations for it. In this paper, we wil1 first attempt to give semantics for logic programs with uncertainties. This is a further work of Shapiro's "Logic Programs with Uncertainties" which is the only paper so far, dealing with semantics of logic programs with uncertainties. Our basic definitions of logic programs with uncertainties follow it. Secondly, we will define a proof procedure for logic programs with uncertainties which corresponds to an interpreter for it and present a sufficient condition for certainty functions of clauses to achieve the completeness of the proof procedure. Further, we study the finite-failure set with certainty threshold which is actually the implementation used to infer the negation as failure in logic programs with uncertainties. Then we will give an interesting characterization of it. This is the first attempt to consider the nagation as failure in logic programs with uncertainties from the semantical point of view.
一般社団法人情報処理学会の論文
1988-11-25