.png){kind=icon}
返回
Splitting a Disjunctive Logic Program
.png){kind=icon}
PRE
AI
DOI：10.1017/S1471068425100331.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
答案集编程（ASP）是解决一系列实际应用问题的成功方法。尽管存在快速的ASP求解器，但计算答案集需要大量的计算资源，因为所处理的问题位于多项式层次结构的第二层。如果将程序拆分为两个不相交的部分——底层和顶层，答案集计算可以得到加速。因此，底层部分独立于顶层部分进行评估，并且底层部分评估的结果用于简化顶层部分。Lifschitz和Turner引入了分割集的概念，即定义分割的一组原子。在一篇之前的论文中，引入了g-分割集的概念，该概念推广了析取逻辑程序中分割集的概念。在本论文中，我们进一步探讨了分割集和g-分割集的主题。我们证明了分割集的集合包含问题可以归约为一个经典的搜索问题，并且可以在多项式时间内解决。我们还证明，计算具有理想属性的g-分割集的任务相对容易且直接。最后，我们表明，稳定模型可以分解为受g-分割集启发的规则的模型和程序其余部分的模型。这一有趣的性质有助于稳定模型的增量计算。
Keyword:
logic programming
stable model semantics
splitting sets
期刊
T
IF:
1.1
论文数:
24
被引数:
684
.png){kind=icon}
查看更多内容