Venture : an extensible platform for probabilistic meta-programming
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/113160 |
| _version_ | 1826217120596230144 |
|---|---|
| author | Lu, Anthony (Anthony S.) |
| author2 | Vikash K. Mansinghka. |
| author_facet | Vikash K. Mansinghka. Lu, Anthony (Anthony S.) |
| author_sort | Lu, Anthony (Anthony S.) |
| collection | MIT |
| description | Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016. |
| first_indexed | 2024-09-23T16:58:20Z |
| format | Thesis |
| id | mit-1721.1/113160 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T16:58:20Z |
| publishDate | 2018 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/1131602019-04-10T09:29:38Z Venture : an extensible platform for probabilistic meta-programming Extensible platform for probabilistic meta-programming Lu, Anthony (Anthony S.) Vikash K. Mansinghka. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016. This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections. Cataloged from student-submitted PDF version of thesis. Includes bibliographical references (pages 63-64). This thesis describes Venture, an extensible platform for probabilistic meta-programming. In Venture, probabilistic generative models, probability density functions, and probabilistic inference algorithms are all first-class objects. Any Venture program that makes random choices can be treated as a probabilistic model defined over the space of possible executions of the program. Such probabilistic model programs can also be run while recording the random choices that they make. Modeling and inference in Venture involves two additional classes of probabilistic programs. The first, probability density meta-programs partially describe the input-output behavior of probabilistic model programs. The second, stochastic inference meta-programs identify probable executions of model programs given stochastic constraints, and typically use density meta-programs as guides. Unlike other probabilistic programming platforms, Venture allows model programs, density meta-programs, and inference meta-programs to be written as user-space code in a single probabilistic programming language. Venture is essentially a Lisp-like higher-order language augmented with two novel abstractions: (i) probabilistic execution traces, a first-class object that represents the sequence of random choices that a probabilistic program makes, and (ii) stochastic procedures, which encapsulate the probabilistic programs and meta-programs needed to allow simple probability distributions, user-space VentureScript programs, and foreign probabilistic programs to be treated uniformly as components of probabilistic computations. Venture also provides runtime support for stochastic regeneration of execution trace fragments that makes use of the programs and meta-programs of all stochastic procedures invoked during the execution of the original traced program. This thesis describes a new prototype implementation of Venture incorporating these ideas and illustrates the flexibility of Venture by giving concise user-space implementations of primitives and inference strategies that have been built in to Church as well as other probabilistic languages. by Anthony Lu. M. Eng. 2018-01-12T21:00:48Z 2018-01-12T21:00:48Z 2016 2016 Thesis http://hdl.handle.net/1721.1/113160 1018309326 eng MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission. http://dspace.mit.edu/handle/1721.1/7582 64 pages application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Lu, Anthony (Anthony S.) Venture : an extensible platform for probabilistic meta-programming |
| title | Venture : an extensible platform for probabilistic meta-programming |
| title_full | Venture : an extensible platform for probabilistic meta-programming |
| title_fullStr | Venture : an extensible platform for probabilistic meta-programming |
| title_full_unstemmed | Venture : an extensible platform for probabilistic meta-programming |
| title_short | Venture : an extensible platform for probabilistic meta-programming |
| title_sort | venture an extensible platform for probabilistic meta programming |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/113160 |
| work_keys_str_mv | AT luanthonyanthonys ventureanextensibleplatformforprobabilisticmetaprogramming AT luanthonyanthonys extensibleplatformforprobabilisticmetaprogramming |