检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到7篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

格值一阶逻辑系统LF(X)中带广义量词的α-归结原理被引量：6: 1; 作者周平姜明孙西芃《模糊系统与数学》 CSCD 北大核心 2008年第5期10-15,共6页; 讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。; 关键词 α-归结原理广义量词格值一阶逻辑系统LF(X) 格蕴涵代数; 下载PDF 职称材料

格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理被引量：2: 2; 作者李晓冰《电脑知识与技术》 2009年第11X期9547-9549,共3页; 针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。最后,通过一个具体的例子来说明II-α-超归结原理对于提高自动... 展开更多; 关键词格值命题逻辑系统归结自动推理 α-归结原理 II-α-超归结原理; 下载PDF 职称材料

格值命题逻辑LP（X）中自动推理算法效率分析: 3; 作者李晓冰《电脑知识与技术》 2010年第12期9802-9803,9809,共3页; 在格值命题逻辑中α-归结自动推理算法的基础上,给出了格值命题逻辑系统中的α-归结自动推理算法的流程图,并对该算法的计算效率进行了分析。分析表明,该算法不仅降低了计算复杂度,而且减少了搜索次数。; 关键词格值命题逻辑系统 α-归结自动推理 α-归结原理算法计算效率; 下载PDF 职称材料

基于格值一阶逻辑LF(X)的自动推理算法被引量：1: 4; 作者李晓冰徐扬《计算机工程与应用》 CSCD 北大核心 2010年第23期18-20,49,共4页; 基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题,以格值一阶逻辑LF(X)的α-归结原理为理论基础,通过对例子进行分析,提出了LF(X)中简单广义子句集的归... 展开更多; 关键词格值一阶逻辑自动推理 α-归结原理简单广义子句集; 下载PDF 职称材料

格值命题逻辑系统中广义文字的正规性: 5; 作者何星星徐扬 +1 位作者李莹芳张家锋《计算机工程与应用》 CSCD 2012年第10期43-46,127,共5页; 基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。... 展开更多; 关键词格值命题逻辑 α-归结原理广义文字正规性语义性质; 下载PDF 职称材料

基于格值命题逻辑系统LP(X)的多元α-归结原理的注记被引量：1: 6; 作者刘熠徐扬贾海瑞《计算机科学》 CSCD 北大核心 2015年第4期249-252,280,共5页; 进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有... 展开更多; 关键词格蕴涵代数格值命题逻辑多元α-归结原理; 下载PDF 职称材料

基于格值一阶逻辑LF(X)的多元α-归结原理的注记被引量：1: 7; 作者刘熠徐扬贾海瑞《计算机工程与应用》 CSCD 北大核心 2015年第14期51-56,190,共7页; 进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的... 展开更多; 关键词格蕴涵代数格值一阶逻辑多元α-归结原理; 下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部