×
奥列格·基塞利约夫

概率编程语言及其增量计算。 （英语） Zbl 1483.68054号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第10017357-376页（2016年）。
概要：本系统描述文件介绍了概率编程语言Hakaru10，用于表示和执行（通用）图形模型的推理。该语言支持离散和连续分布、混合分布和条件作用。Hakaru10是嵌入Haskell的DSL，支持蒙特卡罗马尔可夫链（MCMC）推理。
Hakaru10旨在解决概率编程的两个主要挑战：性能和正确性。它实现了增量Metropolis-Hastings方法，避免了所有冗余计算。在存在条件分支的情况下，有效地维护依赖关系和正确计算接受率是非平凡的问题，在Hakaru10中得到了解决。该实现在显式设计上是独特的，以满足概率程序的通用等式定律。Hakaru10是打字机；具体来说，它的类型系统静态地防止无意义的条件作用，强制条件作用的值必须来自模型外部。
有关整个系列，请参见[Zbl 1347.68009号].

引用于2文件

MSC公司：

68甲15 编程语言理论
62H22个 概率图形模型
68甲19 其他编程范式（面向对象、顺序、并发、自动等）

软件：

菲加罗;布莱斯;教堂;哈卡鲁10;bnsoft公司;坚果;博客;哈斯克尔;推断。净值;ProbLog（问题日志）
PDF格式BibTeX公司 XML格式引用
\textit{O.Kiselyov}，莱克特。注释计算。科学。10017、357--376（2016；Zbl 1483.68054）
全文： 内政部

参考文献：

[1] AISTATS，编号33。麻省理工学院出版社，剑桥（2014）
[2] De Raedt，L.、Kimmig，A.、Toivonen，H.：ProbLog：概率Prolog及其在链路发现中的应用。收录于：Veloso，M.M.（编辑）《第20届国际人工智能联合会议论文集》，第6-12页，2007年1月
[3] Erwig，M.，Kollmansberger，S.：Haskell中的概率函数编程。J.功能。程序。16(1), 21–34 (2006) ·Zbl 1091.68023号 ·doi:10.1017/S0956796805005721
[4] Getoor，L.，Taskar，B.：统计关系学习导论。麻省理工学院出版社，剑桥，2007年11月·Zbl 1141.68054号
[5] N.D.古德曼：概率规划的原理和实践。收录于：POPL 2013：ACM编程语言原理年度研讨会会议记录，第399-402页。ACM出版社，纽约，2013年1月·doi:10.1145/2429069.2429117
[6] Goodman，N.D.、Mansinghka，V.K.、Roy，D.、Bonawitz，K.、Tenenbaum，J.B.：Church：生成模型的语言。收录：McAllester，D.A.，Myllymäki，P.（编辑）《第24届人工智能不确定性会议论文集》，第220-229页，俄勒冈州科瓦利斯，9-12。AUAI出版社，2008年7月
[7] Goodman，N.D.，Stuhlmüller，A.：概率编程语言的设计和实现（2014）。http://dippl.org
[8] Gordon，A.D.，Henzinger，T.A.，Nori，A.V.，Rajamani，S.K.：概率编程。收录于：FOSE，第167-181页。ACM（2014）·doi:10.145/2593882.2593900
[9] 医学博士霍夫曼（Hoffman，M.D.）、医学博士盖尔曼（Gelman，A.）：无旋转取样器：在哈密尔顿蒙特卡罗（Hamilton Monte Carlo）中自适应设置路径长度。电子打印1111.4246，arXiv.org（2011）·兹比尔1319.60150
[10] Hur，C.K.，Nori，A.V.，Rajamani，S.K.，Samuel，S.：概率程序的可证明正确的采样器。致：FSTTCS 2015（2015）·Zbl 1366.68024号
[11] Kiselyov，O.：概率编程的轻量级实现问题。In:概率编程语义研讨会论文集（2016）·Zbl 1483.68054号
[12] Kiselyov，O.，Shan，C.C.：使用广义协同程序的单语言概率规划。摘自：《第25届人工智能不确定性会议论文集》，第285-292页，俄勒冈州科瓦利斯，19-21。AUAI出版社，2009年6月
[13] McBride，C.，Paterson，R.：具有效果的应用程序设计。J.功能。程序。18(1), 1–13 (2008) ·Zbl 1128.68020号 ·doi:10.1017/S0956796807006326
[14] Milch，B.，Marthi，B.，Russell，S.，Sontag，D.，Ong，D.L.，Kolobov，A.：BLOG：未知物体的概率模型。摘自：Getoor和Taskar[4]，第13章，第373–398页
[15] Minka，T.、Winn，J.M.、Guiver，J.P.、Kannan，A.：推断。NET 2.2。微软剑桥研究院（2009）。http://research.microsoft.com/infernet
[16] Murphy，K.：图形模型软件：综述。国际社会贝叶斯分析。牛市。14(4), 13–15 (2007)
[17] Pearl，J.：《智能系统中的概率推理：合理推理网络》，第2版。Morgan Kaufmann，旧金山（1988）·Zbl 0746.68089号
[18] Pfeffer，A.，Figaro：一种面向对象的概率编程语言。技术报告137，Charles River Analytics（2009）
[19] 佐藤：PRISM的符号统计建模一瞥。J.智力。信息系统。31(2), 161–176 (2008) ·doi:10.1007/s10844-008-0062-7
[20] Ścibior，A.，Ghahramani，Z.，Gordon，A.D.：单子的实用概率规划。摘自：第八届ACM SIGPLAN Haskell研讨会论文集，第165-176页。纽约ACM出版社（2015）·doi:10.145/2804302.2804317
[21] Wingate，D.，Stuhlmüller，A.，Goodman，N.D.：通过转换编译实现概率编程语言的轻量级实现。参见：AISTATS，第15号，第770-778页，第3版，2014年2月8日。麻省理工学院出版社，剑桥（2011）
[22] Wood，F.，van de Meent，J.W.，Mansinghka，V.：概率规划推理的一种新方法。收录于：AISTATS 2014[1]，第1024–1032页（2014）
[23] Yang，L.，Hanrahan，P.，Goodman，N.D.：从概率程序生成有效的MCMC内核。收录于：AISTATS[1]，第1068–1076页（2014年）
[24] Zinkov，R.，Shan，C-C.：概率编程语言Hakaru。v1.DARPA PPAML报告（2014年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。