风险投资 swMATH ID: 14670 软件作者: 维卡什·曼辛加、丹尼尔·塞尔萨姆、尤拉·佩罗夫 描述: Venture:一个具有可编程推理的高阶概率编程平台。我们描述了Venture,这是一种用于概率编程的交互式虚拟机,旨在为通用用途提供足够的表达能力、可扩展性和高效性。像Church一样,Venture中的概率模型和推理问题是通过一种从Lisp派生的图灵完备的高阶概率语言来指定的。与Church不同,Venture还为基于可伸缩精确和近似技术构建的自定义推理策略提供了组合语言。我们还描述了Venture实现的四个关键方面,它们基于概率图形模型的思想。首先,我们描述了随机过程接口(SPI),它指定并封装了原始随机变量。SPI支持自定义控制流、高阶概率过程、部分可交换序列和“无相似性”随机模拟器。它还支持对风险隐藏的潜在变量进行推断的外部模型。其次,我们描述了概率执行轨迹(PET),它表示风险项目的执行历史。PET捕获条件依赖、存在依赖和可交换耦合。第三,我们描述了称为支架的执行历史分区,该分区将全局推理问题分解为连贯的子问题。最后,我们描述了一系列用于有效修改支架内PET片段的随机再生算法。随机再生线性运行时缩放在许多以前的方法以二次缩放的情况下。我们展示了如何使用随机再生和SPI来实现基于粒子马尔可夫链蒙特卡罗和平均场变分推理技术的通用推理策略,如Metropolis-Hastings、Gibbs采样和阻塞建议。 主页: http://arxiv.org/abs/1404.0099 相关软件: 教堂;斯坦;漏洞;菲加罗;哈卡鲁;卡爪;对;TensorFlow公司;ADVI公司;爱德华;西雅娜;英国圣公会;验证;烟火;pyParticleEst公司;vSMC公司;小型金融服务机构;蟒蛇;Biips公司;Matlab公司 引用于: 9文件 全部的 前5名32位作者引用 三 萨姆·斯塔顿 2 杨红seok 1 纳撒内尔·利多姆·阿克曼 1 文斯·巴拉尼 1 大卫·M·布莱。 1 雅克·卡雷特 1 肯塔·乔 1 安德鲁·科布 1 瑞安·库佩普 1 克洛维斯·埃伯哈特 1 卡梅隆·E·弗里尔。 1 安德鲁·盖尔曼 1 一郎·哈索 1 克里斯·希恩 1 奥哈德·卡玛 1 胜本,Shin-ya 1 本尼·基梅尔菲尔德 1 阿尔卑斯山库库克尔比尔 1 普拉文·纳拉亚南 1 丹·奥尔特阿努 1 尤一郎·奥亚布 1 拉杰什·兰加纳思 1 蒂兹·里恩斯特拉 1 雷恩·罗曼诺 1 罗伊,丹尼尔·M。 1 Shan、Chung-chieh 1 达里奥·斯坦因 1 Kohei Suenaga公司 1 十个Cate,Balder David 1 Tran,达斯汀 1 佐格拉富拉Vagenea 1 罗伯特·津科夫 2篇连载文章中引用 1 机器学习研究杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 9 计算机科学(68至XX) 2 概率论与随机过程(60-XX) 1 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文