刘国华;你，嘉慧 用于权重约束和聚合逻辑程序的级别映射诱导循环公式。 （英语） Zbl 1211.68060号 芬丹。通知。 106，第1期，25-43（2011）. 摘要：水平映射和循环公式是两种不同的方法，用于证明和表征正常逻辑程序的答案集。它们都指定了支持的模型成为答案集的条件。尽管目的相似，但在过去，这两种方法大多是相互隔离研究的。本文研究了权重约束和聚合（逻辑）程序的层级映射和循环公式。我们证明，对于这些类的程序，循环公式可以从级别映射特征中设计出来。首先，我们给出了稳定模型的水平映射特征，并表明它可以在不使用任何新原子的情况下，为任意权重约束程序导出新的循环公式公式。这扩展了权重约束程序的循环公式的先前结果，其中权重约束仅包含正文本。其次，由于聚合程序与权重约束程序密切相关，因此我们进一步使用级别映射来描述底层的答案集语义，并基于该语义为聚合程序制定循环公式。主要结果是，对于不涉及不等式比较算子的聚合程序，依赖图可以在多项式时间内生成。这与之前已知的指数时间方法相比。 MSC公司： 68N17号 逻辑编程 68立方英尺 知识表示 关键词：逻辑程序;答案集;重量约束;骨料;循环公式 软件：Lparse（L解析）;亚萨特 PDF格式BibTeX公司 XML格式引用 \textit{G.Liu}和\textit{J.-H.You}，Fundam。通知。106，第1号，25-43（2011；Zbl 1211.68060） 全文： 内政部