On semantics of logic programs with uncertainties

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish
Pages (from-to)175-182
Number of pages8
JournalJournal of information processing
Volume11
Issue number3
Publication statusPublished - 1988 Dec 1

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)

Cite this