概率逻辑程序  

Probabilistic Logic Programming

作　　者：王洁[1] 鞠实儿[1] 

机构地区：[1]中山大学逻辑与认知研究所,广州510275

出　　处：《计算机科学》2003年第7期1-3,11,共4页Computer Science

基　　金：教育部重点研究基地重大项目:开放世界中认知的逻辑结构的基金

摘　　要：The purpose of this paper is to present the syntax and semantics of probabilistic logic programming to al-low for the correct representation of incomplete information. General logic programming is extended by a subintervalof [0,1] that describes the range for the conditional probability of the head of a clause given the range for the proba-bility of each atom of its body. We define the semantics (answer sets semantics) of such probabilistic logic program-ming and illustrative their applications. We also show some properties of answer sets semantics for the probabilisticlogic programs.The purpose of this paper is to present the syntax and semantics of probabilistic logic programming to allow for the correct representation of incomplete information. General logic programming is extended by a subinterval of [0,1] that describes the range for the conditional probability of the head of a clause given the range for the probability of each atom of its body. We define the semantics (answer sets semantics) of such probabilistic logic programming and illustrative their applications. We also show some properties of answer sets semantics for the probabilistic logic programs.

关 键 词：概率逻辑程序 知识描述 知识推理 自动推理 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]