良基论证与良基支配的高效近似（修正与扩展版）
计算机科学中的逻辑
2013-09-11 v2
摘要
许多原生 ASP 求解器利用无基集（unfounded sets）通过某种形式的良基否定来计算逻辑程序的推论，但由于计算成本高昂而忽略了其逆否命题，即良基论证（WFJ）。然而，我们证明这会阻碍可达性等许多相关条件的传播。为了以低计算成本执行 WFJ，我们设计了一种方法，通过在流图中计算支配点来近似其推论，而该问题存在线性时间算法。此外，我们的方法允许进行额外的无基集推理，称为良基支配（WFD）。我们表明，对于包括可达性在内的重要类逻辑程序，可以模拟 WFJ 和 WFD 的效果。本文是发表于第 12 届逻辑编程与非单调推理国际会议（LPNMR 2013）的一篇论文的修正与扩展版。本文已调整以排除定理 10 及其推论，但提供了所有缺失的证明。
引用
@article{arxiv.1308.3923,
title = {Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version)},
author = {Christian Drescher and Toby Walsh},
journal= {arXiv preprint arXiv:1308.3923},
year = {2013}
}
备注
12th International Conference on Logic Programming and Nonmonotonic Reasoning; Corrected and Extended Version