Probabilistic Inference by Program Transformation in Hakaru (System Description)
Probabilistic Inference by Program Transformation in Hakaru (System Description)
复制标题
Hakaru 中程序转换的概率推理（系统描述）
DOI：
10.1007/978-3-319-29604-3_5
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
R. Zinkov
中科院分区：
文献类型：
--
作者：
P. Narayanan;J. Carette;Wren Romano;Chung;R. Zinkov
我们提出了Hakaru，一个新的概率编程系统，允许组合重用的分布，查询和推理算法，所有表示在一个单一的语言的措施。该系统实现了两个自动和语义保持程序转换解体，计算条件分布，简化，其中包括精确的推理计算机代数。我们展示了这些功能如何一起工作，通过描述两个小问题的Hakaru用户的理想工作流程。我们强调了设计和实现中的转换和类型的组成。
We present Hakaru, a new probabilistic programming system that allows composable reuse of distributions, queries, and inference algorithms, all expressed in a single language of measures. The system implements two automatic and semantics-preserving program transformations—disintegration, which calculates conditional distributions, and simplification, which subsumes exact inference by computer algebra. We show how these features work together by describing the ideal workflow of a Hakaru user on two small problems. We highlight our composition of transformations and types in design and implementation.