概率模型的抽象化:逻辑视角
通过约束逻辑编程的框架,提出了一种新方法CLP(BN),用于表达贝叶斯网络,该方法使用唯一的新符号Skolem函数表示具有未知值的对象,与PRMs和概率逻辑程序相关。
Oct, 2012
本文研究表达丰富的概率编程语言(如Anglican,Church和Venture),分析它们的语义基础,运用测度论、随机标记转移系统和函子范畴,定义操作语义和标称语义,并证明其存在性、充分性、终止性,采用其来验证编译器优化和推理算法的正确性, 研究了高阶函数上概率分布的性质。
Jan, 2016
在这篇论文中,我们研究了域递推推理规则,它被认为是冗余的。我们发现,这个规则比预期的更强大,并且实际上显著扩展了模型的范围,其中一些模型的抬升推理时间多项式增长。我们还确定了新的域可抬升理论类别,其中一些理论的使用域递推可以实现指数加速。
Oct, 2016
本文研究基于Sato分布语义的概率逻辑程序,分析了基于稳定和基于良基模型这两种语义,探讨了credal语义产生的概率模型集合是无限单调Choquet容量的结果产生的几个有用的结果,并研究了其推理和查询的复杂度。作者对此进行了详细说明,并对无环、分层、周期性的命题和关系程序,提出了推理和查询复杂度的结果,该复杂度达到各种计数层次和指数级别。
Jan, 2017
本书介绍了概率编程的基础和技术,主要包括概率编程语言的设计和构建、基础推理算法和高阶概率编程语言、概率编程与可微分编程的交叉应用,尤其是深度概率编程系统的设计与语言特性对其的影响。
Sep, 2018
本文介绍了基于概率编程中的最新进展,以广阔的概率建模和推断为视角,探讨了概率编程语言如何自动匹配模型和推断方法,强调了模型的结构和形式对这种匹配的至关重要性,并通过Birch进行实例演示。
Oct, 2018
探讨了概率逻辑编程在统计关系人工智能中的具体应用及其在不同领域中的变化,解释了基于概率逻辑编程的统计关系表示随着变量域大小的复杂行为,揭示出抽象分布语义的必要性并给出了相应的具体证明。
Feb, 2021
本文介绍了一种混合概率逻辑编程语言 DC#,它将分布式子句的语法与贝叶斯逻辑程序的语义原则集成到一起。该语言以质量为基础表示了三种独立性,并引入了可扩展的推理算法 FO-CS-LW,该算法是 CS-LW 的一阶扩展,结合了一阶统一和规则组合。
Jan, 2022
我们引入了一个正式的元语言来进行概率编程,旨在让AGI不仅学习相关知识(程序/证明),而且学习适当的推理方式(逻辑/类型系统)。我们利用立方型类型理论和依赖类型元图的框架来形式化我们的方法。通过这样做,我们展示了元语言中的特定构造可以通过双模拟(意味着路径等效)与它们相应的类型系统相关联,从而为各种类型系统推导出综合指称语义。特别是,我们推导出了纯类型系统(PTS)和概率依赖类型系统(PDTS)的双模拟。我们进一步讨论了PTS与非良基础集合论的关系,并在立方保护类型理论类型检查器中实现了双模拟证明的可行性.
Mar, 2022
本文介绍了一种通过层次化结构和抽象-细化循环来加速分析马尔科夫决策过程,针对重复部分具有局部影响的概率程序,将类似的子程序抽象成参数化模板,在需要时对其进行详细分析,从而缓解著名的状态空间爆炸问题。
Jun, 2022