paper-with-me

Papers

Hybrid Probabilistic Logic Programming: Inference and Learning

2023-02-01 · Nitesh Kumar

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.

📄 PDF Abstract BibTeX arXiv:2302.00496

Code (0)

등록된 구현이 없습니다.

Tasks

Missing Values

Similar Papers 제목 키워드 기반

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

2018-07-02 · Pedro Zuidberg Dos Martires, Anton Dries, Luc De Raedt

In probabilistic reasoning, the traditionally discrete domain has been elevated to the hybrid domain encompassing additionally continuous random variables. Inference in the hybrid domain, however, usually necessitates to…

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains

2023-02-21 · Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig

Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning. The resulting paradigm of probabilistic logic programming (PLP) and it…

Probabilistic Programming

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

2022-01-26 · Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt

Statistical relational AI and probabilistic logic programming have so far mostly focused on discrete probabilistic models. The reasons for this is that one needs to provide constructs to succinctly model the independenci…

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables

2024-09-30 · Damiano Azzolini, Fabrizio Riguzzi

Probabilistic Answer Set Programming under the credal semantics (PASP) extends Answer Set Programming with probabilistic facts that represent uncertain information. The probabilistic facts are discrete with Bernoulli dis…

Proceedings 36th International Conference on Logic Programming (Technical Communications)

2020-09-19 · Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone 외

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related …

Automated Theorem ProvingData IntegrationInductive logic programming