Reasoning over Linear Probabilistic Knowledge Bases with Priorities

2015 ◽  
pp. 121-136 ◽  
Author(s):  
Nico Potyka
Keyword(s):  
Knowledge Bases ◽  
Probabilistic Knowledge

Resolving Inconsistencies in Probabilistic Knowledge Bases

2007 ◽  
pp. 114-128 ◽  
Author(s):  
Marc Finthammer ◽  
Gabriele Kern-Isberner ◽  
Manuela Ritterskamp
Keyword(s):  
Knowledge Bases ◽  
Probabilistic Knowledge

scholarly journals Implementing an Efficient SAT Solver for a Probabilistic Description Logic

10.29007/wm7w ◽  
2018 ◽  
Author(s):  
Pavel Klinov ◽  
Bijan Parsia
Keyword(s):  
Column Generation ◽  
Description Logic ◽  
Empirical Investigation ◽  
Knowledge Bases ◽  
Probabilistic Logic ◽  
Linear Programs ◽  
Probabilistic Description ◽  
Probabilistic Knowledge ◽  
Sat Solver ◽  
Straightforward Approach

This paper presents an optimized algorithm for solving the satisfiability problem (PSAT) in the probabilistic description logic P-SROIQ. P-SROIQ and related Nilsson-style probabilistic logics the PSAT problem is typically solved by reduction to linear programming. This straightforward approach does not scale well because the number of variables in linear programs grows exponentially with the number of probabilistic statements. In this paper we demonstrate an algorithm to cope with this problem which is based on column generation. Although column generation approaches to PSAT have been known for the last two decades, this is, to the best of our knowledge, the first algorithm which also works for a non-propositional probabilistic logic. We report results of an empirical investigation which show that the algorithm can handle probabilistic knowledge bases of about 1000 probabilistic statements in addition to even larger number of classical SROIQ axioms.

Method for Restoring Consistency in Probabilistic Knowledge Bases

2018 ◽  
Vol 49 (5-6) ◽  
pp. 317-338 ◽  
Author(s):  
Van Tham Nguyen ◽  
Ngoc Thanh Nguyen ◽  
Trong Hieu Tran ◽  
Do Kieu Loan Nguyen
Keyword(s):  
Knowledge Bases ◽  
Probabilistic Knowledge
Sign in / Sign up

Export Citation Format

Share Document