博纳蒂，P.A。 怀疑稳定模型语义的解决方案。 （英语） Zbl 0991.03016号 J.自动化。推理 27，第4号，391-421（2001）. 摘要：介绍了怀疑稳定模型语义解析的扩展。与以前的方法不同，我们的演算不是从轻信推理中推导出来的，并且具有许多当前非单调推理系统不满足的特性。一般来说，怀疑解决方案是自上而下的，目标是针对呼叫一致性程序。它不需要在推理之前实例化给定的程序。它可以有效地计算非圆答案替换。它与不同的否定实现兼容。一些依赖于非圆的否定目标的推论，可以在不诉诸否定即失败的情况下得出；因此，许多在标准设置中挣扎的目标都有一个成功的怀疑推导。本文对一些有趣的推导策略进行了初步研究，并简述了微积分的原型实现。 引用于5文件 MSC公司： 03B35型 证明和逻辑操作的机械化 68N17号 逻辑编程 68问题55 计算理论中的语义学 关键词：稳定语义；怀疑派生物；分辨率；挣扎着；非单调推理 软件：斯莫德尔斯 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bonatti}，J.Autom。推理27，No.4，391--421（2001；Zbl 0991.03016） 全文： DOI程序