逻辑程序的初级集合
摘要：线索公式和公式循环引入的概念，林先生和赵先生表明不相交的逻辑程序的答案集是其克拉克完成模型，满足所有循环的循环公式。最近，Gebser先生和Schaub先生表明Lin-Zhao定理即使将循环公式限制为称为"基本循环"的特殊类循环也是正确的。在本文中，我们对基本循环的概念进行了简化和概括，并明确了其作用。我们提出了基本集的概念，它在非不相容程序的情况下几乎等同于基本循环的概念，但更简单，并且不像基本循环那样可以扩展到包含并产生不直观结果的不相容程序。我们展示了对于程序的“相关”部分，最大的基本集是非空不相容集中最小的集合。我们还提出了一个图论的基本集的特征化方法，对于非不相容程序，这个方法比（Gebser & Schaub，2005）中提出的方法更加简单。与非离散程序的情况不同，我们表明决定一个基本集的问题对于离散程序是NP完全的。
作者：Martin Gebser, Joohyung Lee, Yuliya Lierler
论文ID：2307.09168
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-19