周建仁

作品数：15被引量：68H指数：4
导出分析报告
供职机构：陕西师范大学数学与信息科学学院更多>>
发文主题：模糊逻辑真度逻辑代数逻辑系统计量逻辑学更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《模糊系统与数学》《吉林大学学报（理学版）》《计算机学报》《工程数学学报》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金陕西省教育厅科研计划项目西安市科技计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
BL*系统和IMTL系统等价性的语构证明被引量：1
《计算机工程与应用》2016年第5期41-46,共6页周建仁 吴洪博 
国家自然科学基金(No.11171196)
BL*命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统。对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算...
关键词：模糊逻辑 语构理论 IMTL命题系统 BL＊命题系统 等价性 
IMTL逻辑系统的一种新扩张形式
《山东大学学报（理学版）》2015年第12期28-34,46,共8页周建仁 吴洪博 
国家自然科学基金资助项目(11171196);中央高校基本科研业务费专项基金项目(GK201501001)
提出了一种新的模糊逻辑系统IMTL*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且Lukasiewicz逻辑系统和逻辑系统L*都是它的模型扩张,应用这些结论给出了Lukasiewicz逻辑系统和逻...
关键词：模糊逻辑 IMTL逻辑系统 LUKASIEWICZ逻辑系统 逻辑系统L＊ IMTL＊逻辑系统 蕴涵表示 
命题逻辑系统R_0L_(3n+1)中公式的Γ-真度及性质被引量：4
《计算机学报》2015年第8期1672-1679,共8页吴洪博 周建仁 
国家自然科学基金项目(11171196);中央高校基本科研业务费专项资金项目(GK201501001)资助~~
计量逻辑理论是王国俊教授于21世纪初期建立的一种新型逻辑理论,真度理论在计量逻辑理论中发挥着关键的作用.该文将真度概念加以推广,在(3n+1)-值模糊命题逻辑系统R0L中引入了公式相对于含有限个命题变元的理论的Γ-真度;讨论了与析取...
关键词：模糊逻辑 计量逻辑 命题逻辑系统R0L Γ-真度 连接词 MP规则 HS规则 
IMTL逻辑代数的一种新强化形式被引量：1
《山东大学学报（理学版）》2014年第4期84-89,94,共7页周建仁 吴洪博 
国家自然科学基金资助项目(11171196)
对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL*-代数,并通过实例证明了IMTL*-代数结构的存在性;其次,构造了一个非IMTL*-代数的IMTL-代数,说明了IMTL*-代数是IMTL-代数的真的强化形式,并基于I...
关键词：模糊逻辑 逻辑代数 IMTL-代数 IMTL＊-代数 特征 蕴涵表示定理 
R_O-蕴涵算子所导出的逻辑函数的特征被引量：5
《数学学报（中文版）》2014年第2期235-248,共14页周建仁 吴洪博 
国家自然科学基金资助项目(11171196);西安市科技计划项目(CX12189WL26)
R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的...
关键词：模糊逻辑 R0-蕴涵算子 逻辑函数 
BL代数的一种弱化形式被引量：2
《吉林大学学报（理学版）》2014年第2期231-236,共6页周建仁 吴洪博 
国家自然科学基金(批准号:11171196)
在对BL-代数及其相关逻辑代数研究的基础上,通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式——WBL-代数,并给出WBL-代数结构的实例;证明BL-代数是WBL-代数,并通过实例说明WBL-代数是BL-代数的真弱化形式,且是MTL-代数的真加强形...
关键词：模糊逻辑 逻辑代数 BL-代数 MTL-代数 NM-代数 WBL-代数 
Lukasiewicz命题逻辑系统中真度的等价定义及相关性质被引量：18
《工程数学学报》2013年第4期580-590,共11页周建仁 吴洪博 
国家自然科学基金(11171196)~~
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系...
关键词：计量逻辑学 Lukasiewicz命题逻辑 真度定义 等价形式 推理规则 
关于命题逻辑系统中相似度性质的修正被引量：1
《模糊系统与数学》2013年第3期51-57,共7页周建仁 谢晶晶 吴洪博 
国家自然科学基金资助项目(11171196)
通过对计量逻辑的再研究,发现对计量逻辑中公式间相似度,逻辑距离的理解方面存在着一些偏差,并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差。本文的目标是通过构造实例说明这些偏差的存在性并对这些偏差给予修正。本文的...
关键词：模糊逻辑 计量逻辑 真度 相似度 反例 修正 
MV代数的子代数及相关重言式之间的关系
《计算机工程与应用》2013年第9期45-49,共5页周建仁 吴洪博 
国家自然科学基金(No.11171196)
对MV单位区间[0,1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是:如果MV单位区间[0,1]的子代数M同构于n-值MV代数Ln的子代数,那么,存在正整数m满足(m-1)|(n-1)使得M=Lm;如果M是MV单位区间[...
关键词：模糊逻辑 Lucasiewicz逻辑系统 多值逻辑代数(MV) 子代数 重言式 
2^n-布尔值逻辑：2-值命题逻辑的自然推广被引量：1
《模糊系统与数学》2013年第2期8-14,共7页周建仁 吴洪博 
国家自然科学基金资助项目(11171196)
将2-值命题逻辑的语义理论推广到了有限布尔代数,得到了2n-布尔值命题逻辑。同时本文给出了2n-布尔值命题逻辑应用的一些例子。
关键词：命题逻辑 布尔代数 2n-布尔值逻辑 应用 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部