×
丹尼尔·黄；格雷格·莫里塞特

可计算分布在概率编程语言语义中的应用。 （英语） Zbl 1335.68028号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632，337-363（2016）。
摘要：大多数用于贝叶斯推理的概率编程语言要么给出采样方面的操作语义，要么给出测度论分布方面的指称语义。重要的是，我们可以将两者联系起来，因为从业者通常会从分析（例如密度）和算法（例如采样）两方面对分布进行推理。本文给出了用连续分布扩展的函数语言的指称语义，并证明了通过限制对可计算分布的关注，可以实现相应的采样语义。
关于整个系列，请参见[Zbl 1333.68019号].

引用于1文件

MSC公司：

68甲15 编程语言理论
68问题55 计算理论中的语义学
87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等）

关键词：

概率程序；可计算分布；语义学

软件：

IBAL公司；教堂；推断。净值；工厂；酒窝；螺母；漏洞
PDF格式BibTeX公司 XML格式引用
\textit{D.Huang}和\textit{G.Morrisett}，Lect。票据计算。科学。9632、337--363（2016年；Zbl 1335.68028）
全文： 内政部

参考文献：

[1] Ackerman，N.L.、Freer，C.E.、Roy，D.M.：不可计算条件分布。摘自：IEEE第26届计算机科学逻辑年度研讨会论文集，LICS 2011，第107–116页。IEEE计算机学会，华盛顿特区（2011年）·doi:10.1109/LICS.2011.49
[2] Bailey，D.，Borwein，P.，Plouffe，S.：关于各种多对数常数的快速计算。数学。计算。66(218), 903–913 (1997) ·Zbl 0879.11073号 ·doi:10.1090/S0025-5718-97-00856-9
[3] Borgström，J.、Gordon，A.D.、Greenberg，m.、Margetson，J.和Van Gael，J.：贝叶斯机器学习的测量变换语义。摘自：Barthe，G.（编辑）《2011年员工持股计划》。LNCS，第6602卷，第77-96页。斯普林格，海德堡（2011）·兹比尔1326.68217 ·doi:10.1007/978-3-642-19718-55
[4] Freer，C.E.，Roy，D.M.：后验分布可以从预测分布中计算。参见：Teh，Y.W.，Titterington，D.M.（编辑）《第十三届国际人工智能与统计会议论文集》（AISTATS-10），第9卷，第233-240页（2010年）
[5] Freer，C.E.，Roy，D.M.：可计算的精细化测量。安，纯洁。申请。逻辑163（5），530-546（2012）·Zbl 1247.03098号 ·doi:10.1016/j.apal.2011.06.011
[6] Gács，P.：一般空间上算法随机性的统一测试。西奥。计算。科学。341(1), 91–137 (2005) ·Zbl 1077.68038号 ·doi:10.1016/j.tcs.2005.03.054
[7] Galatolo，S.、Hoyrup，M.、Rojas，C.：有效符号动力学、随机点、统计行为、复杂性和熵。Inf.计算。208(1), 23–41 (2010) ·Zbl 1185.68368号 ·doi:10.1016/j.ic.2009.05.001
[8] Giry，M.：概率论的分类方法。收录于：Banaschewski，B.（编辑）《拓扑与分析的分类方面》，第68-85页。施普林格，海德堡（1982）·Zbl 0486.60034号 ·doi:10.1007/BFb0092872
[9] Goodman，N.D.，Mansinghka，V.K.，Roy，D.，Bonawitz，K.，Tenenbaum，J.B.：《教会：生成模型的语言》。摘自：《第24届人工智能不确定性会议论文集》，阿拉伯联合酋长国，第220-229页（2008年）
[10] Hershey，S.、Bernstein，J.、Bradley，B.、Schweitzer，A.、Stein，N.、Weber，T.、Vigoda，B.：加速推理：走向完整的语言、编译器和硬件堆栈。CoRR abs/1212.2991（2012）
[11] 医学博士霍夫曼（Hoffman，M.D.）和盖尔曼（Gelman，A.）：无U向取样器：在哈密顿蒙特卡罗（hamiltonian montecarlo）中自适应设置路径长度。J.马赫。学习。第15号决议，1351–1381（2013）·Zbl 1319.60150号
[12] Hoyrup，M.，Rojas，C.：度量空间上概率测度的可计算性和Martin-Löf随机性。Inf.计算。207(7), 830–847 (2009) ·Zbl 1167.68023号 ·doi:10.1016/j.ic.2008.12.009
[13] Jones，C.，Plotkin，G.：评估的概率幂域。摘自：第四届计算机科学逻辑年度研讨会论文集，第186-195页。IEEE出版社，皮斯卡塔韦（1989）·Zbl 0716.06003号 ·doi:10.1109/LICS.1989.39173
[14] Koller，D.，McAllester，D.，Pfeffer，A.：随机程序的有效贝叶斯推理。摘自：《第十四届全国人工智能会议论文集》，第740-747页（1997年）
[15] Kozen，D.：概率程序的语义。J.计算。系统。科学。22(3), 328–350 (1981) ·Zbl 0476.68019号 ·doi:10.1016/0022-0000（81）90036-2
[16] Lunn，D.、Spiegelhalter，D.，Thomas，A.、Best，N.：BUGS项目：进化、批判和未来方向。医学统计（2009）
[17] McCallum，A.，Schultz，K.，Singh，S.：工厂：通过强制性定义的因子图进行概率规划。高级神经信息处理。系统。22, 1249–1257 (2009)
[18] Minka，T.、Guiver，J.、Winn，J.和Kannan，A.：推断。NET 2.3，微软剑桥研究院（2009）
[19] Neal，R.M.：Dirichlet过程混合模型的马尔可夫链抽样方法。J.计算。图表。《统计》第9（2）卷，第249-265页（2000年）
[20] Nori，A.V.、Hur，C.-K.、Rajamani，S.K.、Samuel，S.:R2：概率程序的有效MCMC采样器。In:AAAI人工智能会议（2014）
[21] Park，S.、Pfenning，F.、Thrun，S.：基于采样函数的概率语言。摘自：32Nd ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2005，第171-182页。ACM，纽约（2005）·Zbl 1369.68083号 ·数字对象标识代码：10.1145/1047659.1040320
[22] Jones，S.P.、Reid，A.、Henderson，F.、Hoare，T.、Marlow，S.：不精确异常的语义。在：ACM SIGPLAN编程语言设计与实现会议论文集，PLDI 1999，第25-36页。ACM，纽约（1999）·数字标识代码：10.1145/301618.301637
[23] Pfeffer，A.：使用费加罗创建和操作概率程序。参加：第二届统计关系人工智能国际研讨会（2012年）
[24] Pfeffer，A.：IBAL：一种概率理性编程语言。载：《第17届国际人工智能联合会议论文集》，第1卷，IJCAI 2001，第733–740页。Morgan Kaufmann Publishers Inc.，旧金山（2001）
[25] Ramsey，N.，Pfeffer，A.：随机lambda演算和概率分布的单数。摘自：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2002，第154-165页。ACM，纽约（2002）·Zbl 1323.68150号 ·doi:10.1145/565816.503288
[26] Rao，M.M.，Swift，R.J.：概率论及其应用。Springer-Verlag纽约公司，Secaucus（2006）·Zbl 1111.60001号
[27] Saheb-Djahromi，N.：CPO的不确定性度量。西奥。计算。科学。12(1), 19–37 (1980) ·Zbl 0433.68017号 ·doi:10.1016/0304-3975（80）90003-1
[28] Schröder，M.：概率测度的可容许表示。数学。逻辑问题53（4-5），431-445（2007）·Zbl 1124.03019号 ·doi:10.1002/malq.200710010
[29] 多伦多，N.，McCarthy，J.，Van Horn，D.：反向运行概率程序。收录人：Vitek，J.（编辑）《2015年员工持股计划》。LNCS，第9032卷，第53-79页。斯普林格，海德堡（2015）·Zbl 1335.68029号 ·doi:10.1007/978-3-662-46669-83
[30] Tristan，J.-B.，Huang，D.，Tassarotti，J.，Pocock，A.C.，Green，S.，Steele，G.L.：奥古尔：数据并行概率建模。摘自：《神经信息处理系统进展》，第2600–2608页（2014年）
[31] Weihrauch，K.：单位区间Borel集上概率测度的可计算性。西奥。计算。科学。219(1), 421–437 (1999) ·Zbl 0916.68043号 ·doi:10.1016/S0304-3975（98）00298-9
[32] Weihrauch，K.：可计算分析：简介。Springer-Verlag纽约公司，Secaucus（2000）·Zbl 0956.68056号 ·doi:10.1007/978-3-642-56999-9
[33] Wingate，D.，Stuhlmller，A.，Goodman，N.D.：通过转换编译实现概率编程语言的轻量级实现。In:人工智能与统计，AISTATS 2011（2011）
[34] Winskel，G.：《程序设计语言的形式语义：导论》。麻省理工学院出版社，剑桥（1993）·Zbl 0919.68082号
[35] Wood，F.、van de Meent，J.W.、Mansinghka，V.：概率规划推断的新方法。摘自：《第17届国际人工智能与统计会议论文集》，第2-46页（2014年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。