arrow
Return

Probabilistic abductive logic programming using Dirichlet priors

delete2016-11-01
delete5
delete
OA
AI
C
Calin Rares Turliuc *
L
Luke Dickens
A
Alessandra Russo
K
Krysia Broda
DOI:10.1016/j.ijar.2016.07.001delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Probabilistic programming is an area of research that aims to develop general inference algorithms for probabilistic models expressed as probabilistic programs whose execution corresponds to inferring the parameters of those models. In this paper, we introduce a probabilistic programming language (PPL) based on abductive logic programming for performing inference in probabilistic models involving categorical distributions with Dirichlet priors. We encode these models as abductive logic programs enriched with probabilistic definitions and queries, and show how to execute and compile them to boolean formulas. Using the latter, we perform generalized inference using one of two proposed Markov Chain Monte Carlo (MCMC) sampling algorithms: an adaptation of uncollapsed Gibbs sampling from related work and a novel collapsed Gibbs sampling (CGS). We show that CGS converges faster than the uncollapsed version on a latent Dirichlet allocation (LDA) task using synthetic data. On similar data, we compare our PPL with LDA-specific algorithms and other PPLs. We find that all methods, except one, perform similarly and that the more expressive the PPL, the slower it is. We illustrate applications of our PPL on real data in two variants of LDA models (Seed and Cluster LDA), and in the repeated insertion model (RIM). In the latter, our PPL yields similar conclusions to inference with EM for Mallows models. (C) 2016 The Author(s). Published by Elsevier Inc.
Keywords:
Probabilistic programming
Abductive logic programming
Markov Chain Monte Carlo
Latent Dirichlet allocation
Repeated insertion model
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

International Journal of Approximate Reasoning cover
International Journal of Approximate Reasoning
IF:
3
Papers:
2.9K
Citations:
5.1K

Organization

U
university of london
Scholars:
21.5W
Papers: 19.7W
Citations: 305
I
Imperial College London
Scholars:
8.3W
Papers: 7.3W
Citations: 11.1W