BriefGPT.xyz
May, 2016
概率推理模理论
Probabilistic Inference Modulo Theories
HTML
PDF
Rodrigo de Salvo Braz, Ciaran O'Reilly, Vibhav Gogate, Rina Dechter
TL;DR
我们介绍了一个叫做SGDPLL（T）的算法，它可以解决概率推理问题，并具有参数化逻辑理论的特点，可以应用于丰富的逻辑语言，如数据结构和关系数据。
Abstract
We present SGDPLL(T), an algorithm that solves (among many other problems)
probabilistic inference
modulo theories, that is, inference problems over probabilistic models defined via a
logic theory
provided as a p
→