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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。