Reasoning with Probabilistic Logics

ABSTRACT. The interest in the combination of probability with logics for modeling the world has rapidly increased in the last few years. One of the most effective approaches is the Distribution Semantics which was adopted in many logic programming languages and in Descripion Logics languages.In this paper, we illustrate the work we have done in this research field by presenting a probabilistic semantics for description logics and reasoning and learning algorithms. In particular, we present in detail the system TRILL^P, which computes probability of queries w.r.t. probabilistic knowledge bases.