LUKASIEWICZ逻辑系统

作品数：11被引量：33H指数：3
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：王国俊张兴芳惠小静魏海新李修清更多>>
相关机构：陕西师范大学聊城大学延安大学桂林航天工业学院更多>>
相关期刊：《山东大学学报（理学版）》《计算机工程与应用》《计算机科学与探索》《聊城大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金博士科研启动基金陕西省自然科学基金广西教育厅科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
n值Lukasiewicz逻辑系统中公式的向量表示及其研究
《计算机科学》2016年第S2期83-87,共5页高晓莉 惠小静 朱乃调 
国家自然科学基金(11471007);陕西省自然科学基金(2014JM1020);延安大学博士基金(YDBK2013-12);陕西省大学生创新训练计划项目(1064);延安市专项基金(2013-KG16);延安大学研究生创新基金资助
首先,借鉴n值?ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的...
关键词：n值Lukasiewicz逻辑系统 向量 真度 3种相似度 3种伪距离 
Lukasiewicz逻辑系统中理论的平均真度及偏差被引量：2
《计算机工程与应用》2016年第4期42-45,共4页李骏 李小兵 
国家自然科学基金(No.11261032);兰州理工大学博士基金资助项目
在n值Lukasiewicz命题逻辑系统中引入了有限理论的平均真度和偏差的概念,讨论了有限理论的平均真度和偏差各自的重要性质。研究表明,利用平均真度可以刻画有限理论的可靠度,而利用偏差可以刻画有限理论的稳定性,因此将理论的平均真度和...
关键词：逻辑理论 理论的平均真度 理论的偏差 
IMTL逻辑系统的一种新扩张形式
《山东大学学报（理学版）》2015年第12期28-34,46,共8页周建仁 吴洪博 
国家自然科学基金资助项目(11171196);中央高校基本科研业务费专项基金项目(GK201501001)
提出了一种新的模糊逻辑系统IMTL*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且Lukasiewicz逻辑系统和逻辑系统L*都是它的模型扩张,应用这些结论给出了Lukasiewicz逻辑系统和逻...
关键词：模糊逻辑 IMTL逻辑系统 LUKASIEWICZ逻辑系统 逻辑系统L＊ IMTL＊逻辑系统 蕴涵表示 
三值Lukasiewicz逻辑系统中公式的向量表示及其研究被引量：1
《计算机科学与探索》2015年第9期1147-1152,共6页贺锦瑞 惠小静 双靖宁 
国家自然科学基金No.11471007;陕西省自然科学基金No.2014JM1020;陕西省高水平大学建设专项资金No.2012SXTS07;延安大学博士基金No.YDBK2013-12;延安市专项基金No.2013-KG16;延安大学研究生创新基金~~
以经典命题逻辑中公式的向量表示形式为基础,利用三值?ukasiewicz逻辑系统中公式的赋值及赋值顺序给出了公式的向量表示形式。利用向量表示形式给出了公式真度的定义和公式间的相似度、伪距离的计算公式;得到了公式的真度和公式间相似...
关键词：三值Lukasiewicz逻辑系统 真度 相似度 伪距离 
n值Lukasiewicz逻辑系统中理论的随机发散度被引量：16
《模糊系统与数学》2013年第6期93-98,共6页李修清 魏海新 
国家自然科学基金资助项目(71001015);广西壮族自治区教育厅科研项目(桂教科研[2011]14号)
在n值Lukasiewicz命题逻辑系统的随机逻辑度量空间(F(S),da)中展开理论的随机发散度研究,提出理论的随机发散度概念,指出全体原子公式之集在随机逻辑度量空间(F(S),da)中未必是全发散的,其是否全发散取决于给定的随机概率分布。
关键词：随机真度 随机逻辑度量空间 随机发散度 
Lukasiewicz逻辑系统中的公理在Gdel以及R_0系统中的真度分析被引量：1
《聊城大学学报（自然科学版）》2010年第1期1-3,共3页屠桂晶 张兴芳 李志允 
国家自然科学基金资助项目(60875034)
对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果:Lukasiewicz逻辑系统的某些公理在Gdel,以及R0系统中不是公理,但其真度皆大于0.5.
关键词：公理 Gdel系统 Lukasiewicz系统 R0系统 真度 
Lukasiewicz逻辑系统中的随机化研究被引量：1
《计算机工程与应用》2009年第23期55-58,共4页王庆平 张兴芳 于会增 庄光明 
教育部科学技术研究重点项目(No.206089);聊城大学校级科研立项(No.X071043)
利用赋值集的随机化方法,在Lukasiewicz逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DL-相似度与伪距离的概念,并建立了DL-逻辑度量空间,证明了此空间没有孤立点。
关键词：DL-随机真度 DL-相似度 DL-逻辑度量空间 
三值Lukasiewicz逻辑系统L_3中命题的条件真度被引量：3
《重庆文理学院学报（自然科学版）》2009年第1期32-34,共3页胡江山 
基于条件概率的思想,在三值Lukasiewicz逻辑系统中引入了条件真度的概念,并讨论了所定义的条件真度的性质及相应的推理规则.
关键词：三值Lukasiewicz逻辑系统 真度 条件真度 
一类Lukasiewicz n+1值逻辑系统中VDF问题的求解理论
《数学进展》2007年第2期173-180,共8页罗清君 王国俊 
国家自然科学基金重点资助项目(No.10331010)
为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已在二值命题逻辑L和p+1(p为素数)值Lukasiewicz命题逻辑中得到了解决,但是对一般的n+1(n>3且n不是素数)值Lukasiewicz命题逻辑系统Ln+1,VDF...
关键词：FMP规则 LUKASIEWICZ逻辑系统 赋值决定公式 
F(S)在Lukasiewicz逻辑系统中的一种分划被引量：3
《陕西师范大学学报（自然科学版）》2004年第2期1-4,共4页马晓珏 王国俊 
国家自然科学基金重点资助项目(19831040)
利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α 重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.
关键词：LUKASIEWICZ逻辑系统 可达a-重言式 McNaughton函数 分划 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部