劳拉·佐丹奴;阿尔贝托·马泰利;玛丽亚·路易莎·萨皮诺 通过诱因将否定扩展为失败：三值稳定模型语义。 （英语） Zbl 0871.68051号 J.日志。程序。 26，第1期，第31期（1996年）. 摘要：我们提出了一种以否定为失败的逻辑程序语义，即有限失败稳定模型语义（FF-SM语义），它是Gelfond和Lifschitz稳定模型语义的三值扩展。FF-SM语义以Gelfond和Lifschitz稳定模型语义的风格定义，但它建立在底层Kripke/Kleene语义的基础上，在该语义中，导致非终止计算的循环是通过未定义的真值建模的。它不同于Przymusinski定义的扩展稳定模型（XSM）语义，因为它不捕获无限失败。我们还介绍了一种绑架证明程序，该程序是基于Eshghi和Kowalski绑架程序的基本思想，对SLDNF决议的绑架延伸。我们证明了我们的过程在FF-SM语义方面是健全和完整的。我们比较了FF-SM语义和XSM语义，并在Fitting提出的基于双参数的框架内对其进行了重构。在本文中，我们处理命题情况。 引用于三文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 关键词：有限失效稳定模型语义 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，J.Log。程序。26，第1号，第31条（1996；Zbl 0871.68051） 全文： 内政部