格蕴涵代数

作品数：182被引量：561H指数：12
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：徐扬秦克云宋振明刘春辉傅小波更多>>
相关机构：西南交通大学内江师范学院辽宁师范大学赤峰学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家教育部博士点基金四川省教育厅科学研究项目广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于格值命题逻辑系统LP(X)的多元α-归结原理的注记被引量：1
《计算机科学》2015年第4期249-252,280,共5页刘熠 徐扬 贾海瑞 
国家自然科学基金(61175055;61305074);四川省教育厅科研项目重点项目(14ZA0245);教育部"数学与应用数学"专业综合改革(ZG0464);四川省教育厅"数学与应用数学"专业综合改革(01249);四川省应用基础研究计划(2015YJ0120)资助
进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有...
关键词：格蕴涵代数 格值命题逻辑 多元α-归结原理 
格值一阶逻辑LF(X)中的α-语义归结方法被引量：2
《计算机科学》2014年第9期274-278,共5页张家锋 徐扬 
国家自然科学基金资助项目(61175055);四川省科技支撑计划项目(2011FZ0051);贵州省科学技术基金项目(黔科合J字LKB[2012]02号)资助
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值...
关键词：自动推理 语义归结 格值逻辑 格蕴涵代数 
格值语义归结推理方法被引量：8
《计算机科学》2011年第9期201-203,210,共4页张家锋 徐扬 何星星 
国家自然科学基金(60875034);贵州省科学技术项目(2010GZ43286);2011年西南交通大学博士生创新基金项目资助
归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比...
关键词：格蕴涵代数 格值命题逻辑系统LP(X) 自动推理 语义归结方法 
区间值(α,β)-模糊格蕴涵子代数被引量：8
《计算机科学》2011年第4期263-266,共4页刘熠 徐扬 秦亚 
国家自然科学基金(60875034);四川省教育厅青年基金(09ZB105)资助
把拟重合的思想应用到区间值模糊集上,引进了一种广义模糊格蕴涵子代数,即区间值(α,β)-模糊格蕴涵子代数。研究了区间值(α,β)-模糊格蕴涵子代数的性质,并研究了区间值(α,β)-模糊格蕴涵子代数与格蕴涵子代数的关系,最后得到了该类...
关键词：格蕴涵代数 区间值模糊集 模糊点 (α β)-模糊子代数 
区间集上的格蕴涵代数、FI-代数、MV-代数的研究被引量：8
《计算机科学》2010年第12期218-223,共6页薛占熬 杜浩翠 尹昊喆 肖运花 
河南省重点科技攻关项目(No.092102210149);河南省教育厅自然科学研究计划项目(No.2009B520015)资助
区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、...
关键词：区间集 格蕴涵代数 可换FI-代数 MV-代数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部