On semantics of logic programs with uncertainties

研究成果: Article査読

抄録

We will first attempt to give semantics for logic programs with uncertainties. Our basic definitions of logic programs with uncertainties follow. We will define a proof procedure for logic programs with uncertainties which corresponds to an interpreter and present a sufficient condition for certainty functions of clauses to achieve the completeness of the proof procedure. 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. This is the first attempt to consider the negation as failure in logic programs with uncertainties from the semantical point of view.

本文言語English
ページ(範囲)175-182
ページ数8
ジャーナルJournal of information processing
11
3
出版ステータスPublished - 1988 12 1
外部発表はい

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)

フィンガープリント

「On semantics of logic programs with uncertainties」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル