通过 Tseitin 感知剪枝布尔 d-DNNF 电路

d-DNNF 形式的布尔电路可实现可计算的概率推理。然而，本工作的关键见解表明，常用的 d-DNNF 编译方法会引入无关的子电路。我们称这些子电路为 Tseitin 伪影，因为它们是由于引入 Tseitin 变换步骤——将任何电路转换为 d-DNNF 知识编译器所需的 CNF 格式的众所周知程序——而产生的。我们讨论了如何检测和移除 Tseitin 变量和 Tseitin 伪影，从而获得更简洁的电路。我们经验性地观察到，移除 Tseitin 变量和伪影后，平均尺寸缩减为 77.5%。对 Tseitin 伪影的额外修剪平均减少 22.2%。这显著改进了受益于更简洁电路的下游任务，例如概率推理任务。