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 are extended by a subinterval of 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 demonstrate their applications to formalization of various forms of uncertainty reasoning.
展开▼
