Probabilistic Logic Programs and their Semantics
Probabilistic Logic Programs and their Semantics
复制标题
概率逻辑程序及其语义
DOI：
10.1007/3-540-55460-2_11
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
E. Dantsin
中科院分区：
文献类型：
--
作者：
E. Dantsin
本文的目的是推广逻辑程序，用于处理概率知识。利用概率逻辑的可能世界方法（[Nil]），我们定义了概率逻辑程序，使其子句在一定概率下为真或为假，目标也在一定概率下成功或失败。概率逻辑程序可能包含否定，它们的语义与否定一致，即失败（不像概率逻辑是基于标准逻辑否定的）。
The aim of this paper is to generalize logic programs, for dealing with probabilistic knowledge. Using the possible-worlds approach of probabilistic logic ([Nil]), we defineprobabilistic logic programsso that their clauses may be true or false with some probabilities and goals may succeed or fail with probabilities too. Probabilistic logic programs may contain negation, their semantics agrees with negation as failure (unlike probabilistic logic which is based on the standard logical negation).