格值命题逻辑

作品数：25被引量：53H指数：5
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：徐扬秦克云张家锋夏世芬何星星更多>>
相关机构：西南交通大学毕节学院东北财经大学内江师范学院更多>>
相关期刊：《计算机科学与探索》《辽宁工程技术大学学报（自然科学版）》《电脑知识与技术》《广西师范大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金博士研究生创新基金贵州省教育厅自然科学研究项目国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分层的格值命题逻辑系统L_(vpl)中的推理规则
《模糊系统与数学》2021年第1期1-8,共8页常之艳 陈树伟 刘蓓 徐扬 
国家自然科学基金委面上项目(11971348);天津市自然科学基金面上项目(18JCYBJC16200)。
格值命题逻辑系统L_(vpl)中的推理规则体现了逻辑系统的语法功能,推理规则越多逻辑系统的语法演绎能力越强。针对推理规则的具体例子的研究已有很多成果,但其中对于推理规则需要满足的条件缺乏系统研究。本文通过研究分析二值逻辑中推...
关键词：格值命题逻辑 推理规则 语义 语法 封闭性 
语言真值格值命题逻辑中的α-语义归结方法被引量：1
《计算机科学》2015年第11期123-129,共7页张家锋 徐扬 陈琴 
国家自然科学基金项目(61175055;61305074);贵州省科学技术基金项目(黔科合J字LKB[2012]02号;黔科合J字[2010]2097号)资助
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推...
关键词：自动推理 语义归结 语言真值格蕴涵代数 格值逻辑 
命题逻辑中非子句α-有序线性广义归结方法
《计算机科学与探索》2015年第7期847-853,共7页贾海瑞 徐扬 邓鹏 
国家自然科学基金~~
为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数(lattice implication algebra,LIA)结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上,作为其继...
关键词：格蕴涵代数 自动推理 格值命题逻辑 非子句多元α-有序线性广义归结 
基于格值命题逻辑系统LP(X)的多元α-归结原理的注记被引量：1
《计算机科学》2015年第4期249-252,280,共5页刘熠 徐扬 贾海瑞 
国家自然科学基金(61175055;61305074);四川省教育厅科研项目重点项目(14ZA0245);教育部"数学与应用数学"专业综合改革(ZG0464);四川省教育厅"数学与应用数学"专业综合改革(01249);四川省应用基础研究计划(2015YJ0120)资助
进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有...
关键词：格蕴涵代数 格值命题逻辑 多元α-归结原理 
LP(X)中MP归结推理
《模糊系统与数学》2013年第3期30-35,共6页夏世芬 秦应兵 徐扬 
国家自然科学基金资助项目(61175055);国家青年科学基金资助项目(61100046)
首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性。
关键词：格值命题逻辑系统LP(X) MP归结 (A α)-归结演绎 α-不可满足 
格值命题逻辑系统中广义文字的正规性
《计算机工程与应用》2012年第10期43-46,127,共5页何星星 徐扬 李莹芳 张家锋 
国家自然科学基金(No.60875034);西南交通大学博士生创新基金
基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念,是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件,其语义性质是公式形式的重要反映。...
关键词：格值命题逻辑 α-归结原理 广义文字 正规性 语义性质 
格值语义归结推理方法被引量：8
《计算机科学》2011年第9期201-203,210,共4页张家锋 徐扬 何星星 
国家自然科学基金(60875034);贵州省科学技术项目(2010GZ43286);2011年西南交通大学博士生创新基金项目资助
归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比...
关键词：格蕴涵代数 格值命题逻辑系统LP(X) 自动推理 语义归结方法 
格值命题逻辑系统LP(X)的语义归结方法被引量：2
《辽宁工程技术大学学报（自然科学版）》2011年第4期611-614,共4页张家锋 徐扬 何星星 
国家自然科学基金资助项目(60875034);贵州省教育厅专项基金资助项目(09ZX092);毕节学院自然科学重点研究课题基金资助项目(20092027)
为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。
关键词：自动推理 语义归结方法 格值逻辑 格蕴涵代数 α-归结原理 
有限格值命题逻辑的语义理论
《中国科学：信息科学》2010年第11期1417-1427,共11页潘小东 徐扬 
国家自然科学基金(批准号:60875034);中央高校基本科研业务费专项资金(批准号:SWJTU09BR205;SWJTU09ZT37)资助项目
基于Pavelka关于模糊命题逻辑的思想,结合L型Fuzzy集合与经典二值命题逻辑理论,初步建立了一种基于有限格蕴涵代数的格值命题逻辑程度化的语义理论.定义了L型重言式和L型矛盾式的概念,给出了几类L型重言式之间的关系定理.从不确定性推...
关键词：格值命题逻辑 语义理论 L型重言式 相容性 格蕴涵代数 
格值命题逻辑LP(X)中的语义归结方法被引量：3
《辽宁工程技术大学学报（自然科学版）》2010年第5期767-770,共4页张家锋 徐扬 
国家自然科学基金资助项目(60875034);贵州省教育厅自然科学基金资助项目(黔教科20090068)
为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。
关键词：自动推理 语义归结方法 格值逻辑 格蕴涵代数 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部