Hybrid Probabilistic Logic Programming: Inference and Learning

02/01/2023
by   Nitesh Kumar, et al.
0

This thesis focuses on advancing probabilistic logic programming (PLP), which combines probability theory for uncertainty and logic programming for relations. The thesis aims to extend PLP to support both discrete and continuous random variables, which is necessary for applications with numeric data. The first contribution is the introduction of context-specific likelihood weighting (CS-LW), a new sampling algorithm that exploits context-specific independencies for computational gains. Next, a new hybrid PLP, DC#, is introduced, which integrates the syntax of Distributional Clauses with Bayesian logic programs and represents three types of independencies: i) conditional independencies (CIs) modeled in Bayesian networks; ii) context-specific independencies (CSIs) represented by logical rules, and iii) independencies amongst attributes of related objects in relational models expressed by combining rules. The scalable inference algorithm FO-CS-LW is introduced for DC#. Finally, the thesis addresses the lack of approaches for learning hybrid PLP from relational data with missing values and (probabilistic) background knowledge with the introduction of DiceML, which learns the structure and parameters of hybrid PLP and tackles the relational autocompletion problem. The conclusion discusses future directions and open challenges for hybrid PLP.

READ FULL TEXT
research
01/26/2022

First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs

Statistical relational AI and probabilistic logic programming have so fa...
research
01/23/2020

Learning Distributional Programs for Relational Autocompletion

Relational autocompletion is the problem of automatically filling out so...
research
10/19/2012

CLP(BN): Constraint Logic Programming for Probabilistic Knowledge

We present CLP(BN), a novel approach that aims at expressing Bayesian ne...
research
03/19/2012

Parameter Learning in PRISM Programs with Continuous Random Variables

Probabilistic Logic Programming (PLP), exemplified by Sato and Kameya's ...
research
07/02/2018

Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming

In probabilistic reasoning, the traditionally discrete domain has been e...
research
01/24/2021

Context-Specific Likelihood Weighting

Sampling is a popular method for approximate inference when exact infere...
research
06/02/2015

Stochastic And-Or Grammars: A Unified Framework and Logic Perspective

Stochastic And-Or grammars (AOG) extend traditional stochastic grammars ...

Please sign up or login with your details

Forgot password? Click here to reset