Liu，Faye F。;道格拉斯·H·摩尔。 Kripke-Kleene语义的实现。 （英语） Zbl 0934.68057号 信息科学。 108，编号1-4，31-50（1998）. 摘要：本文介绍了一种用于逻辑编程的Kripke-Kleene（3值）语义的实现。将Kripke-Kleene语义应用于逻辑编程的目的是克服程序中出现的不确定性。然而，在本文中，我们分析了可能发生不确定性的不同情况，并将其分为不确定性和矛盾性，最后提出了解决方案。 引用于2文件 MSC公司： 第68季度55 计算理论中的语义学 68N17号 逻辑编程 关键词：Kripke-Kleene语义 PDF格式BibTeX公司 XML格式引用 \textit{F.F.Liu}和\textit{D.H.Moore}，信息科学。108，编号1--4，31-50（1998；Zbl 0934.68057） 全文： 内政部 参考文献： [1] Fitting，M.，《逻辑程序的Kripke-Kleene语义》，《逻辑编程杂志》，4295-312（1985）·Zbl 0589.68011号 [2] Kleene，S.C.，《元数学导论》（1952），Van Nostrand：新泽西州普林斯顿·Zbl 0047.00703号 [3] Loveland，D.W.，《自动定理证明：逻辑基础》（1978），北荷兰：北荷兰阿姆斯特丹·Zbl 0364.68082号 [4] Lloyd，J.W.，逻辑编程基础（1987），施普林格：施普林格柏林·Zbl 0547.68005号 [5] 刘，F。；Moore，D.H。；Wang，J.，带部分交集的演绎，（遗传算法国际会议论文集（1995）），112-117 [6] 刘，F。；Moore，D.H.，GOPT解析及其应用，（第八届人工智能应用国际会议论文集（1996）），9-14 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。