抽象的

我们在现代功能规划语言中展示了贝叶斯建模和推断图书馆的建筑设计。我们方法的新颖方面是现有最先进的推理算法的模块化正确施工实现。我们的设计依赖于三个本质上功能特征：高阶函数，归纳数据类型和对类型类或富有效应模块系统的支持。我们提供了一个表演者Haskell实现了这种体系结构，展示了高级和模块化概率编程可以以足够的表现性语言添加为库。我们在此架构中查看核心抽象：推理表示，推理转换和推理表示变压器。然后，我们实施这些抽象的具体实例，对应于粒子过滤器和Metropolis-Hastings采样器，它形成了我们图书馆的基本构建块。通过构成这些构建块，我们获得最先进的推理算法：重组序列蒙特卡罗，粒子边缘大都会 - 黑阵和顺序蒙特卡罗平方。我们评估我们对现有概率编程系统的实现，并发现它已经竞争性地表现得很竞争，尽管我们猜测现有的功能编程优化技术可以减少与我们使用的抽象相关的开销。我们表明我们的模块化设计能够确定固有的随机蒙特卡罗算法的确定性测试。最后，我们使用OCAML演示表达模块系统也可以实现我们的设计。

作者

亚当ś抄袭，俄克斯·凯尔，Zoubin Ghahramani.

会议

ICFP 2018.

全文

'模块化贝叶斯推理的功能规划'（PDF）

优步AI.