Reasoning with Probabilistic Logics

05/05/2014
by   Riccardo Zese, et al.
0

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 by many logic programming languages and in Descripion Logics. 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 the probability of queries w.r.t. probabilistic knowledge bases, which has been implemented in Prolog. Note: An extended abstract / full version of a paper accepted to be presented at the Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), July 19-22, Vienna, Austria

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/02/2020

A Framework for Reasoning on Probabilistic Description Logics

While there exist several reasoners for Description Logics, very few of ...
research
06/15/2023

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

The necessity to manage inconsistency in Description Logics Knowledge Ba...
research
12/28/2020

Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation

It is argued that 4-valued paraconsistent logic can serve as a conceptua...
research
05/16/2014

Model revision inference for extensions of first order logic

I am Joachim Jansen and this is my research summary, part of my applicat...
research
11/14/2019

Tractable reasoning about Agent Programming in Dynamic Preference Logic

While several BDI logics have been proposed in the area of Agent Program...
research
10/16/2012

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics

The Semantic Web effort has steadily been gaining traction in the recent...
research
06/30/2016

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)

A central question for knowledge representation is how to encode and han...

Please sign up or login with your details

Forgot password? Click here to reset