然后,我们采用概率逻辑编程和人工智能社区的技术, 以便对符号表示进行推理。我们形式化我们的方法,证明它是合理的,并通过实验验证它对现有的精确和近似推理技术。...我们证明了我们的推理方法与专门用于贝叶斯网络的推理过程具有可比性,从而扩展了可以实际分析的概率程序的类别。)...目前很难紧凑地表示一个概率程序微妙的独立性,也很难利用独立性来分解推理。经典的图形模型抽象确实捕获了底层分布的一些属性,使得推理算法能够在图形拓扑的级别上操作。...然而,我们发现基于图的抽象通常过于粗糙,无法捕捉程序的有趣特性。我们为概率程序提出了一种合理的抽象形式,其中抽象本身是简化的程序。我们为这些抽象提供了理论基础,以及生成它们的算法。...实验上,我们也说明了我们的框架作为分解概率程序推理的工具的实际好处。)