冒险

Venture:一个具有可编程推理的高阶概率编程平台。我们描述了Venture,一个用于概率编程的交互式虚拟机,其目标是充分表达、可扩展和高效地用于通用用途。和Church一样,风险投资中的概率模型和推理问题都是通过Lisp派生的图灵完备的高阶概率语言来指定的。与Church不同的是,Venture还为定制推理策略提供了一种组合语言,这种策略是基于可伸缩的精确和近似技术构建的。我们还描述了Venture实现的四个关键方面,它们建立在概率图形模型的思想之上。首先,我们描述了指定和封装原始随机变量的随机过程接口(SPI)。SPI支持自定义控制流、高阶概率过程、部分可交换序列和“无似然”随机仿真器。它还支持外部模型对隐藏在风险中的潜在变量进行推断。第二,我们描述了宠物执行的概率轨迹。PETs捕获条件依赖、存在依赖和交换耦合。第三,我们描述了执行历史的划分,称为支架,将全局推理问题分解为连贯的子问题。最后,我们描述了一系列的随机再生算法,以有效地修改载于支架内的PET片段。随机再生线性运行时间缩放的情况下,许多以前的方法缩放二次。我们展示了如何使用随机再生和SPI来实现通用推理策略,如Metropolis-Hastings、Gibbs抽样和基于粒子Markov链montecarlo和平均场变分推理技术的分块方案。