BriefGPT.xyz
Dec, 2013
加权一阶模型计数的斯科莱曼化
Skolemization for Weighted First-Order Model Counting
HTML
PDF
Guy Van den Broeck, Wannes Meert, Adnan Darwiche
TL;DR
本研究提出了一种Skolem化算法来解决模型计数问题,扩展了一阶模型计数器的适用范围,使其能够用于概率逻辑程序等有向模型,同时还简化了抬升模型计数算法的设计。
Abstract
first-order model counting
emerged recently as a novel reasoning task, at the core of efficient algorithms for probabilistic logics. We present a
skolemization algorithm
for model counting problems that eliminate
→