Inductive Program Synthesis in BLOG

Jared Rulison

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2018-107
August 9, 2018

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2018/EECS-2018-107.pdf

I seek to discover relationships within data via synthesizing BLOG models to describe them. BLOG (Bayesian LOGic) is a first-order probabilistic programming language that details probability distributions over worlds containing sets of objects. This sort of learning has previously been done with Probabilistic Relational Models, which are a highly restricted special case of BLOG models. I synthesize programs using a local search algorithm that maximizes over the likelihood of a model with the given data while penalizing complexity. I apply the algorithm to learning the generative model describing how parts of citations are written and show that it is capable of learning accurate and useful relationships.

Advisor: Stuart J. Russell


BibTeX citation:

@mastersthesis{Rulison:EECS-2018-107,
    Author = {Rulison, Jared},
    Title = {Inductive Program Synthesis in BLOG},
    School = {EECS Department, University of California, Berkeley},
    Year = {2018},
    Month = {Aug},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2018/EECS-2018-107.html},
    Number = {UCB/EECS-2018-107},
    Abstract = {I seek to discover relationships within data via synthesizing BLOG models to describe them. BLOG (Bayesian LOGic) is a first-order probabilistic programming language that details probability distributions over worlds containing sets of objects. This sort of learning has previously been done with Probabilistic Relational Models, which are a highly restricted special case of BLOG models. I synthesize programs using a local search algorithm that maximizes over the likelihood of a model with the given data while penalizing complexity. I apply the algorithm to learning the generative model describing how parts of citations are written and show that it is capable of learning accurate and useful relationships.}
}

EndNote citation:

%0 Thesis
%A Rulison, Jared
%T Inductive Program Synthesis in BLOG
%I EECS Department, University of California, Berkeley
%D 2018
%8 August 9
%@ UCB/EECS-2018-107
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2018/EECS-2018-107.html
%F Rulison:EECS-2018-107