We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions

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.
To facilitate the application of classical results from finite model theory, we introduce the abstract distribution semantics, defined as an arbitrary logical theory over probabilistic facts. This bridges the gap to the distribution semantics underlying probabilistic logic programming. In this representation, determinate logic programs correspond to quantifier-free theories, making asymptotic quantifier elimination results available for the setting of probabilistic logic programming.
This paper is under consideration for acceptance in TPLP.
Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 15 pages
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Logic (math.LO)
MSC classes: 68Q87, 03C13
ACM classes: I.2.4; F.3.2; F.4.1
Cite as: arXiv:2102.08777 [cs.LO]
  (or arXiv:2102.08777v3 [cs.LO] for this version)

Submission history

From: Felix Weitkämper [view email]
[v1] Wed, 17 Feb 2021 14:07:16 GMT (18kb)
[v2] Tue, 20 Apr 2021 12:03:58 GMT (27kb)
[v3] Wed, 18 Aug 2021 21:17:45 GMT (48kb)

Link back to: arXiv, form interface, contact.