尤尔根·迪克斯;乔治·戈特洛布;威克托·马雷克 通过移位操作将析取语义减少为非析取语义。 （英语） Zbl 0863.68088号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 28，编号1-2，87-100（1996）. 摘要：众所周知，Minker对正析取程序的语义GCWA是完全的，即决定一个字面值在所有的最小模型中是否为真。这与非析取程序（如STABLE和SUPPORTED（均为co-NP-complete）以及\（M_P^{text{supp}}\）和WFS（均为多项式）的语义的相同蕴涵问题形成对比。最近，Bonatti、Dix/Gotlob/Marek和Schaerf独立提出了通过使用所谓的移位操作将析取程序简化为非析取程序的想法。事实上，Schaerf将正常程序的每个语义SEM与析取程序的相应语义弱SEM相关联，并询问这些弱语义的性质，特别是它们隐含关系的复杂性。当Schaerf专注于Weak-STABLE和Weak-SUPPORTED时，我们研究了Apt/Blair/Walker的分层语义（M_P^{text{supp}}）和Van Gelder/Ross/Schlipf的基础良好的语义WFS的弱版本。我们证明了两种语义的轻信蕴涵都是NP完全的（因此，怀疑蕴涵是共同NP完全）。因此，与GCWA不同，这些语义的复杂性属于多项式层次结构的第一级。注意，与Weak-WFS不同，语义\（\text{弱-}M_P^{\text{supp}}\）并不总是定义的：测试\（\text）的一致性{弱-}M_P^{\text{supp}}\）也是NP-complete。我们还显示了Weak-WFS和\（\text{弱-}M_P^{\text{supp}}）是累积的、合理的，此外，Weak-WFS满足了Dix引入的一些行为良好的原则。 引用于7文件 MSC公司： 68问题55 计算理论中的语义学 关键词：Minker语义;GCWA公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Dix}等人，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.28，No.1--2，87-100（1996；Zbl 0863.68088）