Probabilistic Logic Programming
概率逻辑程序

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.