瑞安·库佩普；安德鲁·科布 具有连续随机变量和评分的概率程序的上下文等价性。 （英语） 兹比尔1485.68029 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 368-392 (2017). 摘要：我们提出了一种逻辑关系，用于证明概率编程语言（PPL）中的上下文等价性，该语言具有连续随机变量，并具有表示观察值和软约束的评分操作。我们的PPL模型基于一个大步操作语义，该语义表示具有似然加权的理想化采样器。语义学将概率非确定性视为由熵源引导的确定性过程。我们通过在熵空间上聚合（即集成）操作语义的行为来导出结果值的度量。上下文等效是根据这些度量来定义的，将真实事件视为可观察的行为。我们定义了一个逻辑关系，并证明它在语境对等方面是合理的。我们用逻辑关系证明了几个有用的等价示例，包括a（beta_v）-redex及其契约的等价性和表达式重排序的一般形式，从而证明了逻辑关系的实用性。后者对于概率规划的抽样和评分效果是合理的，但对于突变或控制等效果则不是。有关整个系列，请参见[Zbl 1360.68021号]. 引用于4文件 MSC公司： 68甲15 编程语言理论 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 第68季度55 计算理论中的语义学 软件：WinBUGS公司；菲加罗；github；哈卡鲁；教堂；斯坦；风险投资；推断。净值 PDF格式BibTeX公司 XML格式引用 \textit｛R.Culpepper｝和\textit｛A.Cobb｝，Lect。票据计算。科学。10201、368--392（2017；Zbl 1485.68029） 全文： 内政部 参考文献： [1] Bizjak，A。；Birkedal，L。；Pitts，A.，概率的阶跃诱导逻辑关系，软件科学和计算结构基础，279-294（2015），海德堡：施普林格·Zbl 1459.68031号 ·doi:10.1007/978-3-662-46678-0_18 [2] Borgsteröm，J.、Gordon，A.D.、Greenberg，m.、Margetson，J.和Gael，J.V.：贝叶斯机器学习的测量变换语义。日志。方法计算。科学。9(3) (2013) ·Zbl 1274.68295号 [3] Borgström，J.，Lago，U.D.，Gordon，A.D.，Szymczak，m.：通用概率规划的lambda-calculus基础。在：第21届ACM功能编程国际会议会议记录，2016年9月·Zbl 1360.68314号 [4] 卡彭特，B。；Gelman，A。；霍夫曼，M。；Lee，D。；古德里奇，B。；贝当古，M。；马萨诸塞州布鲁贝克；郭杰。；李，P。；Riddell，A.，Stan:概率编程语言，J.Stat.Softw。，20, 1-30 (2016) [5] Culppeper，R.：Gamble（2015）。https://github.com/rmculpiper/gumber [6] Edalat，A。；Escardó，MH，真实PCF集成，Inf.Comput。，160, 1, 128-166 (2000) ·Zbl 1005.03035号 ·doi:10.1006/inco.1999.2844 [7] Escardó，MH，用实数扩展的PCF，Theoret。计算。科学。，162, 1, 79-115 (1996) ·Zbl 0871.68034号 ·doi:10.1016/0304-3975（95）00250-2 [8] Goodman，N.D.，Mansinghka，V.K.，Roy，D.M.，Bonawitz，K.，Tenenbaum，J.B.：Church：生成模型的语言。收录于：UAI，第220-229页（2008年） [9] 黄，D。；莫里塞特，G。；Thiemann，P.，《可计算分布在概率编程语言语义中的应用》，《编程语言与系统》，337-363（2016），海德堡：斯普林格出版社·Zbl 1335.68028号 ·doi:10.1007/978-3-662-49498-1_14 [10] Kiselyov，O。；Shan，C。；Taha，WM，嵌入式概率编程，领域特定语言，360-384（2009），海德堡：施普林格·doi:10.1007/978-3642-03034-5_17 [11] 留置权，裕利安怡；Loss，M.，分析（1997），普罗维登斯：美国数学学会，普罗维登斯·Zbl 0966.26002号 [12] DJ Lunn；托马斯。；贝斯特，N。；Spiegelhalter，D.，Winbugs——贝叶斯建模框架：概念、结构和可扩展性，统计计算。，10, 4, 325-337 (2000) ·doi:10.1023/A:1008929526011 [13] Mansinghka，V.，Selsam，D.，Perov，Y.：风险投资：具有可编程推理的高阶概率编程平台，2014年3月。http://arxiv.org/abs/1404.0099 [14] Minka，T.、Winn，J.、Guiver，J.，Webster，S.、Zaykov，Y.、Yangel，B.、Spengler，A.、Bronskill，J.：推断。净2.6。微软剑桥研究院（2014）。http://research.microsoft.com/infernet [15] Narayanan，P。；Carette，J。；罗曼诺，W。；Shan，C。；辛科夫，R。；Kiselyov，O。；King，A.，hakaru中程序转换的概率推理（系统描述），《函数与逻辑编程》，62-79（2016），海德堡：斯普林格出版社·Zbl 1475.68072号 ·doi:10.1007/978-3-319-29604-35 [16] 南帕克。；Pfenning，F。；Thrun，S.，一种基于采样函数的概率语言，ACM Trans。程序。语言系统。，31, 1, 4:1-4:46 (2008) ·doi:10.1145/1452044.1452048 [17] 菲加罗：一种面向对象的概率编程语言。技术报告，Charles River Analytics（2009） [18] Ramsey，N.，Pfeffer，A.：随机lambda演算和概率分布的单数。摘自：第29届ACM程序设计语言原理研讨会会议记录，第154-165页（2002）·兹比尔1323.68150 [19] Sangiorgi，D.，Vignudelli，V.：概率高阶语言的环境互模拟。摘自：第43届ACM编程语言原理研讨会会议记录，2016年POPL，第595-607页（2016）·Zbl 1347.68056号 [20] Staton，S.、Yang，H.、Heunen，C.、Kammar，O.、Wood，F.：概率规划的语义：高阶函数、连续分布和软约束。摘自：第31届IEEE计算机科学逻辑研讨会论文集（2016年）·Zbl 1395.68082号 [21] Wingate，D.，Goodman，N.D.，Stuhlmüller，A.，Siskind，J.M.：有效推理概率程序的非标准解释。In:神经信息处理系统进展，第24卷（2011） [22] Wood，F.、van de Meent，J.W.、Mansinghka，V.：概率规划推断的新方法。摘自：《第十七届国际人工智能与统计会议论文集》，第1024-1032页（2014） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。