scholarly journals On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution Semantics

2010 ◽  
pp. 17-24 ◽  
Author(s):  
Daan Fierens
Keyword(s):  
Bayesian Networks ◽  
Logic Programming ◽  
Probabilistic Logic ◽  
Probabilistic Logic Programming ◽  
Distribution Semantics ◽  
The Relationship

Abduction with Probabilistic Logic Programming under the Distribution Semantics

2021 ◽  
Author(s):  
Damiano Azzolini ◽  
Elena Bellodi ◽  
Stefano Ferilli ◽  
Fabrizio Riguzzi ◽  
Riccardo Zese
Keyword(s):  
Logic Programming ◽  
Probabilistic Logic ◽  
Probabilistic Logic Programming ◽  
Distribution Semantics

scholarly journals A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics

2017 ◽  
Vol 80 ◽  
pp. 313-333 ◽  
Author(s):  
Fabrizio Riguzzi ◽  
Elena Bellodi ◽  
Riccardo Zese ◽  
Giuseppe Cota ◽  
Evelina Lamma
Keyword(s):  
Logic Programming ◽  
Probabilistic Logic ◽  
Probabilistic Logic Programming ◽  
Lifted Inference ◽  
Distribution Semantics

scholarly journals Lifted Variable Elimination for Probabilistic Logic Programming

2014 ◽  
Vol 14 (4-5) ◽  
pp. 681-695 ◽  
Author(s):  
ELENA BELLODI ◽  
EVELINA LAMMA ◽  
FABRIZIO RIGUZZI ◽  
VITOR SANTOS COSTA ◽  
RICCARDO ZESE
Keyword(s):  
Logic Programming ◽  
Random Variables ◽  
Probabilistic Logic ◽  
Probabilistic Logic Programming ◽  
Lifted Inference ◽  
Logical Frameworks ◽  
Variable Elimination ◽  
Causal Independence ◽  
Order Variable ◽  
Distribution Semantics

AbstractLifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances. Even if various authors have underlined its importance for probabilistic logic programming (PLP), lifted inference has been applied up to now only to relational languages outside of logic programming. In this paper we adapt Generalized Counting First Order Variable Elimination (GC-FOVE) to the problem of computing the probability of queries to probabilistic logic programs under the distribution semantics. In particular, we extend the Prolog Factor Language (PFL) to include two new types of factors that are needed for representing ProbLog programs. These factors take into account the existing causal independence relationships among random variables and are managed by the extension to variable elimination proposed by Zhang and Poole for dealing with convergent variables and heterogeneous factors. Two new operators are added to GC-FOVE for treating heterogeneous factors. The resulting algorithm, called LP2for Lifted Probabilistic Logic Programming, has been implemented by modifying the PFL implementation of GC-FOVE and tested on three benchmarks for lifted inference. A comparison with PITA and ProbLog2 shows the potential of the approach.

scholarly journals Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics

2012 ◽  
Vol 13 (2) ◽  
pp. 279-302 ◽  
Author(s):  
FABRIZIO RIGUZZI ◽  
TERRANCE SWIFT
Keyword(s):  
Probability Theory ◽  
Logic Programming ◽  
Probabilistic Inference ◽  
Probabilistic Logic ◽  
Logic Programs ◽  
Efficient Procedure ◽  
Probabilistic Logic Programming ◽  
Execution Times ◽  
Distribution Semantics

AbstractDistribution semantics is one of the most prominent approaches for the combination of logic programming and probability theory. Many languages follow this semantics, such as Independent Choice Logic, PRISM, pD, Logic Programs with Annotated Disjunctions (LPADs), and ProbLog. When a program contains functions symbols, the distribution semantics is well–defined only if the set of explanations for a query is finite and so is each explanation. Well–definedness is usually either explicitly imposed or is achieved by severely limiting the class of allowed programs. In this paper, we identify a larger class of programs for which the semantics is well–defined together with an efficient procedure for computing the probability of queries. Since Logic Programs with Annotated Disjunctions offer the most general syntax, we present our results for them, but our results are applicable to all languages under the distribution semantics. We present the algorithm “Probabilistic Inference with Tabling and Answer subsumption” (PITA) that computes the probability of queries by transforming a probabilistic program into a normal program and then applying SLG resolution with answer subsumption. PITA has been implemented in XSB and tested on six domains: two with function symbols and four without. The execution times are compared with those of ProbLog, cplint, and CVE. PITA was almost always able to solve larger problems in a shorter time, on domains with and without function symbols.

scholarly journals An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions

2021 ◽  
pp. 1-16
Author(s):  
FELIX Q. WEITKÄMPER
Keyword(s):  
Logic Programming ◽  
Size Dependence ◽  
Logic Program ◽  
Domain Size ◽  
Probabilistic Logic ◽  
Logic Programs ◽  
Probabilistic Logic Programming ◽  
Lifted Inference ◽  
Relational Domains ◽  
Distribution Semantics

Abstract Probabilistic logic programming is a major part of statistical relational artificial intelligence, where approaches from logic and probability are brought together to reason about and learn from relational domains in a setting of uncertainty. However, the behaviour of statistical relational representations across variable domain sizes is complex, and scaling inference and learning to large domains remains a significant challenge. In recent years, connections have emerged between domain size dependence, lifted inference and learning from sampled subpopulations. The asymptotic behaviour of statistical relational representations has come under scrutiny, and projectivity was investigated as the strongest form of domain size dependence, in which query marginals are completely independent of the domain size. In this contribution we show that every probabilistic logic program under the distribution semantics is asymptotically equivalent to an acyclic probabilistic logic program consisting only of determinate clauses over probabilistic facts. We conclude that every probabilistic logic program inducing a projective family of distributions is in fact everywhere equivalent to a program from this fragment, and we investigate the consequences for the projective families of distributions expressible by probabilistic logic programs.

scholarly journals ProbLog2: Probabilistic Logic Programming

2015 ◽  
pp. 312-315 ◽  
Author(s):  
Anton Dries ◽  
Angelika Kimmig ◽  
Wannes Meert ◽  
Joris Renkens ◽  
Guy Van den Broeck ◽  
...  
Keyword(s):  
Logic Programming ◽  
Probabilistic Logic ◽  
Probabilistic Logic Programming

Probabilistic Logic Programming (PLP 2017)

2019 ◽  
Vol 106 ◽  
pp. 88
Author(s):  
Christian Theil Have ◽  
Riccardo Zese
Keyword(s):  
Logic Programming ◽  
Probabilistic Logic ◽  
Probabilistic Logic Programming

scholarly journals MAP Inference for Probabilistic Logic Programming

2020 ◽  
Vol 20 (5) ◽  
pp. 641-655
Author(s):  
ELENA BELLODI ◽  
MARCO ALBERTI ◽  
FABRIZIO RIGUZZI ◽  
RICCARDO ZESE
Keyword(s):  
Logic Programming ◽  
Maximum A Posteriori ◽  
Probabilistic Logic ◽  
A Posteriori ◽  
Binary Decision ◽  
Map Inference ◽  
Probabilistic Logic Programming ◽  
Synthetic Datasets ◽  
Most Probable Explanation ◽  
Inference Task

AbstractIn Probabilistic Logic Programming (PLP) the most commonly studied inference task is to compute the marginal probability of a query given a program. In this paper, we consider two other important tasks in the PLP setting: the Maximum-A-Posteriori (MAP) inference task, which determines the most likely values for a subset of the random variables given evidence on other variables, and the Most Probable Explanation (MPE) task, the instance of MAP where the query variables are the complement of the evidence variables. We present a novel algorithm, included in the PITA reasoner, which tackles these tasks by representing each problem as a Binary Decision Diagram and applying a dynamic programming procedure on it. We compare our algorithm with the version of ProbLog that admits annotated disjunctions and can perform MAP and MPE inference. Experiments on several synthetic datasets show that PITA outperforms ProbLog in many cases.

Sign in / Sign up

Export Citation Format

Share Document