教堂

教会:生成模型的语言。我们介绍教会,一个通用的语言来描述随机生成过程。教会是基于LAMBDA演算的LISP模型,包含纯LISP作为其确定性子集。教会的语义是根据这些历史上的评价历史和条件分布来定义的。教会还包括一个新的语言构造,随机记忆器,它能够简单地描述许多复杂的非参数模型。我们通过几个例子说明语言特征,包括:广义贝叶斯网络,其中参数聚类试验,无限PCFGs,推理规划,以及各种非参数聚类模型。最后,我们展示了如何实现查询任何教堂程序,准确和近似,使用蒙特卡洛技术。


ZBMaCT中的参考文献(45篇文章中引用)

显示结果1至20的45。
按年份排序(引文
  1. 狄洛斯,桑德拉;克里斯琴,简,TeGEN,芬恩:用非严格非决定论实现概率编程库(2020)
  2. Bingham,艾利;陈,Jonathan P.;Jangoiik,马丁;奥伯迈耶,弗里茨;Pradhan,Neeraj;Karaletsos,TeoFaNIS;Singh,Rohit;Selclip,Po.;,Gooman,Yo:Pyro:深层普适概率规划(2019)
  3. 博尼拉,Edwin V.;Krauth,卡尔;Dezfouli,阿米尔:潜在高斯过程模型的一般推论(2019)
  4. Cozman,Fabio Gagliardi;Maaa.,Denis Deratani:贝叶斯网络规范的有限模型理论:描述复杂性和零/一定律(2019)
  5. Sandra Dylus,Jan Christiansen,芬恩·泰根:使用非严格非决定论实现概率编程库(2019)阿西夫
  6. Abdulah,萨梅尔:棱镜重新访问:使用多提示分隔控制的概率编程语言的声明性实现(2018)
  7. Angelopoulos,Nicos;CuxsS,杰姆斯:贝叶斯知识表示的分布式逻辑程序设计(2017)
  8. 巴赫,Stephen H.;布罗切勒,马蒂亚斯;黄,伯特;GETOOR,LISE:铰链损失马尔可夫随机场和概率软逻辑(2017)
  9. Breuvart,Flavien;Dal Lago,Ugo;Helrou.AgaTe:关于高阶概率次递归(2017)
  10. CHO,Kenta;雅可布,巴特:概率计算EFPRB库(2017)
  11. Dal Lago,UGO:关于(λ)的度量推理:术语:一般情况(2017)
  12. Culpepper,瑞安;Cobb,安得烈:具有连续随机变量和评分的概率程序的上下文等价性(2017)
  13. Dal Lago,Ugo;Grroui,查尔斯:一元仿射大小分型的概率终止(2017)
  14. Kucukelbir,阿尔普;Tran,达斯廷;Ranganath,拉杰什;Gelman,安得烈;BLI,David M.:自动微分变分推理(2017)
  15. Lampropoulos,Leonidas;Gallois Wong,戴安娜;海里·铜,C·T·林;休斯,约翰;Pierce,Benjamin C.;夏,姚:初学者的运气:一个基于属性的生成器的语言(2017)
  16. Nitti,Davide;Belle,VAISHAK;De Laet,TiNne;De Raedt,LUC:混合关系MDP的规划(2017)
  17. STATON,山姆:概率规划的交换语义(2017)
  18. 特索,斯蒂法诺;Sebastiani,罗伯托;Passerini,安德列:结构化学习模论(2017)
  19. 陈,玉田;Bornn,卢克;德弗雷塔斯,Nando;埃斯克林,Mareija;Fang,Jing;韦林,马克斯:Held-吉布斯抽样(2016)
  20. 戴维斯,厄内斯特;马库斯,加里:自动推理中仿真的范围和限制(2016)