教堂

教会:生成模式的语言。我们介绍Church,一种描述随机生成过程的通用语言。Church基于lambda演算的Lisp模型,包含一个纯Lisp作为其确定性子集。教会的语义是根据评价历史和这些历史的条件分布来定义的。Church还包含了一个新的语言结构,即随机回忆体,它可以简单地描述许多复杂的非参数模型。我们通过几个例子来说明语言的特点,包括:参数在试验中聚类的广义Bayes网,无限PCFGs,推理规划,以及各种非参数聚类模型。最后,我们展示了如何使用montecarlo技术,精确地和近似地在任何教会程序上实现查询。


zbMATH中的参考文献(参考文献54条)

显示第1到第20个结果,共54个。
按年份排序(引用)
  1. 斯坦科维奇,米罗斯拉夫;巴托奇、埃齐奥;Laura Kovács:基于矩的贝叶斯网络特性分析(2022)
  2. 冲刺,斯瓦拉吉;Staton,Sam:概率点过程的一个单子(2021)
  3. 郑,保罗;李,志浩;斯塔顿,萨姆;Yang,Hongseok:树的层次可交换性推广到有向无环图(2021)
  4. 贝莉,维沙克;De Raedt,Luc:半环规划:广义和积问题的语义框架(2020)
  5. 科恩,威廉;杨,范;Mazaitis,Kathryn Rivard:TensorLog:使用深度学习基础设施实现的概率数据库(2020)
  6. 戴勒斯,桑德拉;克里斯蒂安森,一月;Teegen,Finn:使用非严格非确定性实现概率规划库(2020)
  7. 吕德克,斯特凡;Kirste,Thomas:提升贝叶斯滤波在多集重写系统中的应用(2020)
  8. 博尼拉,埃德温诉。;克劳斯,卡尔;Dezfuuli,Amir:潜在高斯过程模型中的泛型推理(2019)
  9. 科兹曼,法比奥·加利亚迪;Mauá,Denis Deratani:贝叶斯网络规范的有限模型理论:描述复杂性和零/一定律(2019)
  10. Sandra Dylus,Jan Christiansen,Finn Teegen:使用非严格非确定性实现概率规划库(2019)阿尔十四
  11. 王迪;霍夫曼,一月;代表,托马斯:具有不确定性的低级概率程序的指称语义学(2019)
  12. Abdallah,Samer:PRISM重访:使用多提示分隔控制的概率编程语言的声明性实现(2018)
  13. 安杰洛普洛斯,尼科斯;库森,詹姆斯:贝叶斯知识表示的分布式逻辑编程(2017)
  14. 巴赫,斯蒂芬H。;布罗切勒,马提亚斯;黄,伯特;Getoor,Lise:铰链损失马尔可夫随机场和概率软逻辑(2017)
  15. 邦奇,菲利波;席尔瓦,亚历山德拉;索科洛娃,安娜:凸代数的力量(2017)
  16. 布鲁瓦特,弗拉维安;达拉戈,乌戈;Herrou,Agathe:关于高阶概率子递归(2017)
  17. 曹,肯塔;Jacobs,Bart:EfProb概率计算库(2017)
  18. 克鲁比莱,拉斐尔;Dal Lago,Ugo:关于(\lambda)的度量推理-术语:一般案例(2017)
  19. 卡普珀,瑞安;Cobb,Andrew:具有连续随机变量和评分的概率程序的上下文等价性(2017)
  20. 达拉戈,乌戈;Grellois,Charles:一元仿射大小分型的概率终止(2017)