The principles and practice of probabilistic programming

ACM SIGPLAN Notices

Volumn 48, Issue 1, 2013, Pages 399-401

  Goodman, Noah D ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Probabilistic models; Probabilistic programs

Indexed keywords

FUNDAMENTAL OPERATIONS; POSTERIOR DISTRIBUTIONS; PRINCIPLES AND PRACTICES; PROBABILISTIC INFERENCE; PROBABILISTIC MODELS; PROBABILISTIC PROGRAMMING; PROBABILISTIC PROGRAMS; REASONING UNDER UNCERTAINTY;

ARTIFICIAL INTELLIGENCE;

PROBABILITY DISTRIBUTIONS;

EID: 84877879156     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2480359.2429117     Document Type: Conference Paper

References (22)

1. N. Ackerman, C. Freer, and D. Roy. Noncomputable conditional distributions. In Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, pages 107-116. IEEE, 2011.
2. M. Frank and N. Goodman. Predicting pragmatic reasoning in language games. Science, 336(6084):998-998, 2012.
3. C. E. Freer and D. M. Roy. Computable de Finetti measures. Annals of Pure and Applied Logic, 163(5):530-546, 2012. doi:10.1016/j.apal.2011.06.011.
4. T. Gerstenberg and N. D. Goodman. Ping pong in Church: Productive use of concepts in human probabilistic inference. In Proceedings of the 34th annual conference of the cognitive science society, 2012.
5. N. Goodman and A. Stuhlmüller. Knowledge and implicature: Modeling language understanding as social cognition. Topics in Cognitive Science, 2013.
6. N. Goodman, V. Mansinghka, D. Roy, K. Bonawitz, and J. Tenenbaum. Church: A language for generative models. In In UAI, 2008.
7. C. Jones and G. Plotkin. A probabilistic powerdomain of evaluations. In Logic in Computer Science (LICS), 1989 4th Annual IEEE Symposium on, pages 186-195, Jun 1989. doi:10.1109/LICS.1989.39173.
8. A. Kimmig, B. Demoen, L. De Raedt, V. S. Costa, and R. Rocha. On the implementation of the probabilistic logic programming language ProbLog. Theory and Practice of Logic Programming, 11(2-3):235-262, 2011.
9. O. Kiselyov and C. Shan. Embedded probabilistic programming. In Domain-Specific Languages, pages 360-384, 2009.
10. D. Koller and N. Friedman. Probabilistic graphical models: principles and techniques. MIT press, 2009.
11. A. McCallum, K. Schultz, and S. Singh. Factorie: Probabilistic programming via imperatively defined factor graphs. In Neural Information Processing Systems Conference (NIPS), 2009.
12. B. Milch, B. Marthi, S. Russell, D. Sontag, D. L. Ong, and A. Kolobov. BLOG: Probabilistic models with unknown objects. In International Joint Conference on Artificial Intelligence (IJCAI), pages 1352-1359, 2005.
13. A. Pfeffer. IBAL: A probabilistic rational programming language. In International Joint Conference on Artificial Intelligence (IJCAI), pages 733-740. Morgan Kaufmann Publ., 2001.
14. A. Pfeffer. Figaro: An object-oriented probabilistic programming language. Charles River Analytics Technical Report, 2009.
15. D. Poole. The independent choice logic and beyond. Probabilistic inductive logic programming, pages 222-243, 2008.
16. M. Richardson and P. Domingos. Markov logic networks. Machine Learning, 62:107-136, 2006.
17. T. Sato and Y. Kameya. PRISM: A symbolic-statistical modeling language. In International Joint Conference on Artificial Intelligence (IJCAI), 1997.
18. A. Stuhlmüller and N. Goodman. A dynamic programming algorithm for inference in recursive probabilistic programs. arXiv preprint arXiv:1206.3555, 2012.
19. D. Wingate, N. Goodman, A. Stuhlmueller, and J. Siskind. Nonstan-dard interpretations of probabilistic programs for efficient inference. In Advances in Neural Information Processing Systems 23, 2011.
20. D. Wingate, A. Stuhlmueller, and N. Goodman. Lightweight implementations of probabilistic programming languages via transformational compilation. In Proceedings of the 14th international conference on Artificial Intelligence and Statistics, page 131, 2011.
21. L. Yang, P. Hanrahan, and N. Goodman. Incrementalizing mcmc on probabilistic programs through tracing and slicing. Under review.
22. Y. Yeh, L. Yang, M. Watson, N. Goodman, and P. Hanrahan. Synthesizing open worlds with constraints using locally annealed reversible jump mcmc. ACM Transactions on Graphics (TOG), 31 (4):56, 2012.