Last modified 4 weeks ago
Last modified on 03/27/17 09:28:46
Modified Mon Mar 27 09:28:46 2017 by Eric.Woldridge.
Challenge Problem #4: Small Problems Collection



Motivation
The goal of the “Small Problems Collection” is to create a set of problems that span important dimensions of the space of probabilistic programs in terms of both program formulation and probabilistic inference.
We hope that this set of problems can help the PPAML teams identify important tradeoffs in the design and implementation of Probabilistic Programming Systems. Note that this is an important change in direction from the previous focus on benchmarking of PPS systems.
Problem Overview
 The following small problems are listed in this document.
 Additional detail can be provided by contacting ppamlsupport@community.galois.com
 Solution resources for Problems 4.1, 4.2, 4.3, 4.5, and 4.7 are available on Github.
“Textbook” Problems
 Bayesian linear regression
 Bayesian network for medical diagnosis
 Standard Hidden Markov Model
Nonparametric Bayes “Classic”
 Topic models with Hierarchical Dirichlet Process prior (Teh, Jordan, Beal & Blei, 2006)
Grammar Problem
 Given an infinite PCFG grammar 𝐺 and two strings 𝑥 and 𝑦, compute 𝑃(𝑥𝑦𝑥). What is the probability that the grammar 𝐺 will generate the (complete) string 𝑥𝑦 given that it has generated the prefix 𝑥?
Social Network Inference
 Given an observed network and a model that mixes uniform attachment (UA) with preferential attachment (PA), infer the most likely mixture of UA and PA that would have generated the observed network
 Reasoning about homophily: Given a network of friendships and some observations (about smokers and nonsmokers), predict the marginal probability of each person smoking
Signal Interpretation
 Given signals measured at an array of seismometers, determine the location and magnitude of each seismic event.
Recursive Reasoning about Other Agents
 Scalar Implicature: Decide what to say in order to cause the hearer to draw the most accurate conclusion about an uncertain event
Lifted Inference
 Solve a simple lifted inference problem.
Attachments
 SmallProblems.jpg (24.4 KB)  added by Chris.Fahlbusch 3 years ago.
 SmallProblemsPoster.pdf (478.6 KB)  added by Chris.Fahlbusch 3 years ago.
 smallproblemsv1.0.tar.gz (5.2 MB)  added by Chris.Fahlbusch 3 years ago.
 smallproblemsv1.1.tar (7.0 MB)  added by Chris.Fahlbusch 2 years ago.
 SmallProblems.pdf (840.7 KB)  added by Chris.Fahlbusch 2 years ago.
 smallproblemsv2.0.tar (6.7 MB)  added by Chris.Fahlbusch 2 years ago.