SLDNF-归结原理关于模态语义的完备性
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
SLDNF-归结原理关于模态语义的完备性
魏耀华;唐峰
【期刊名称】《兰州大学学报（自然科学版）》
【年(卷),期】2000(036)003
【摘要】Baratella proposed a kind of modal completion for normal predicate logic programs and he partly proved that SLDNF-resolution is complete with respect to his mo dal completion. In this paper,we introduce the modal form of immediate conse quence operator for logic programs and provide some interesting properties of this operator. Hence we give a direct proof for the completeness of SLDNF-res olution with respect to Baratella's completion.%Baratella定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于SLDNF- 归结的部分完备性.本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质, 进而证明了模态完全化语义关于SLDNF-归结的完备性.
【总页数】7页(P49-55)
【作者】魏耀华;唐峰
【作者单位】张掖师范高等专科学校,数学系,甘肃,张掖,734000;甘肃省数据通信局,甘肃,兰州,730030
【正文语种】中文
【中图分类】TP18
【相关文献】
1.连拱坝交叉模态综合法的完备性 [J], 路观平
2.用于惯性完备性降价的模态恒等式研究 [J],
3.模态逻辑S4的覆盖语义及其完备性 [J], 于海;詹婉荣;张瑞玲
4.服务模型语义完备性判定方法与语义增强策略 [J], 莫同;王忠杰;徐晓飞
5.命题模态逻辑的模型构造和完备性证明 [J], 柳欣欣;李小燕
因版权原因，仅展示原文概要，查看原文内容请购买。