Dec, 2013

概率编程概念

PDF
TL;DR本文旨在通过探讨各种不同的概率编程语言所使用的基本概率原语，包括逻辑编程语言的概率扩展，从而比较和理解它们之间的区别，以更好地理解概率编程的核心编程概念和执行机制。
probabilistic programmingprobability distributionsprogramming conceptsprobabilistic languageslogic programming
发现论文，激发创造
  • 概率编程简介

    本书介绍了概率编程的基础和技术，主要包括概率编程语言的设计和构建、基础推理算法和高阶概率编程语言、概率编程与可微分编程的交叉应用，尤其是深度概率编程系统的设计与语言特性对其的影响。

    Sep, 2018

  • 运行概率程序的反向计算

    本篇研究论文提出一种牵涉到概率的编程语言，基于测度理论建立抽象语义学，实现贝叶斯推断、随机射线跟踪、以及浮点误差边界的概率验证

    Dec, 2014

  • 使用概率编程语言 Birch 进行自动化学习

    本文介绍了基于概率编程中的最新进展，以广阔的概率建模和推断为视角，探讨了概率编程语言如何自动匹配模型和推断方法，强调了模型的结构和形式对这种匹配的至关重要性，并通过 Birch 进行实例演示。

    Oct, 2018

  • 概率编程语言的编译目标

    通过创造性地利用进程、分叉、互斥和共享内存等标准操作系统功能，可以在任何编程语言中实现像顺序蒙特卡罗和粒子马尔科夫链蒙特卡罗这样的前向推理技术，我们定义了一个名为 Probabilistic C 的概率规划语言中间表示语言，它本身可以通过标准编译器编译成机器代码并链接到操作系统库中，生成一个高效、可扩展、可移植的概率规划编译目标，从而为优化概率规划系统打开了一条新的硬件和系统研究路径。

    Mar, 2014

  • 概率编程实现的概率规划

    本文通过概率编程的视角简要介绍了概率规划的概念，着重阐述了 HYPE 和 ALLEGRO 两个系统的特点，强调它们在处理概率规划中复杂建模问题方面的优势，如处理不断扩大和缩小的状态空间，离散和连续的概率分布，以及一阶设置中的非唯一先验分布等。

    Jan, 2018

  • 关于实现概率逻辑编程语言 ProbLog 的论文

    该研究介绍了 ProbLog 的概念以及相关算法，针对大型生物网络提出了一种有效执行查询的方式。

    Jun, 2010

  • 概率逻辑编程中的程序解释

    该研究提出了一种新方法，利用概率逻辑编程模型来生成精简且有因果结构的解释程序，使得用户可以根据可视述词并隐藏不感兴趣的细节。

    Oct, 2022

  • 从时间序列数据中自动生成概率编程

    通过非参数高斯过程回归找到时间序列数据的描述性协方差结构从而构建具有表述性的概率编程描述， 不需要提供模型结构。

    Jul, 2016

  • 机器学习在大规模代码和自然语言中的应用调查

    本文综述了机器学习、编程语言和软件工程交叉领域的研究进展，重点介绍了利用代码中大量存在的模式提出可学习概率模型的方法，并提出了基于每个模型的基本设计原理的分类法，用于研究该领域的技术、应用等方面的具体问题、挑战和机遇。

    Sep, 2017

  • 概率编程中逻辑推理的魔力

    本论文提出了一种基于分布句式的逻辑推理方法，并结合前向推理和重要性抽样技术，采用魔法集和后向推理技术来实现高效的概率推理。

    Jul, 2011