Interval –valued probabilistic logic for logic programs

Phan Dinh Dieu, Phan Hong Giang


This paper presents an approximate method for probabilistic entailment problem in knowledge bases where a portion of knowledge is given by a sentence in propositional logic accompanied with an interval presenting its truth probalibity. This method reduces the entailment problem to one  of finding “prime implicants” of the target sentence expressed through sentences in the  given knowledge base. It is  shown that in the case of probabilistic logic programs the set of such prime implicants can be found by using the SLD-resolution method for  usual definte logic programs.


Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology