N值逻辑系统

作品数：13被引量：27H指数：3
导出分析报告
相关领域：理学更多>>
相关作者：王国俊李成允罗清君胡江山时慧娴更多>>
相关机构：陕西师范大学潍坊学院聊城大学兰州理工大学更多>>
相关期刊：《淮南师范学院学报》《山东大学学报（理学版）》《计算机工程与应用》《纺织高校基础科学学报》更多>>
相关基金：国家自然科学基金教育部科学技术研究重点项目山东省自然科学基金湖南省重点建设学科资助项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
n值逻辑系统中条件随机真度理论
《纯粹数学与应用数学》2014年第6期573-580,共8页黎丽 
广西壮族自治区教育厅科研项目(桂教科研[2011]14号);桂林航天工业学院基金(YJ1301)
在n值命题逻辑系统中命题的随机真度、随机逻辑度量空间的基础上,给出了修正的n值G¨odel命题逻辑系统中命题的条件真度、条件相似度的概念并讨论了其性质,建立了条件随机逻辑度量空间.
关键词：随机真度 条件真度 条件相似度 条件逻辑度量空间 
Godel n值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计被引量：5
《模糊系统与数学》2012年第3期24-34,共11页吴霞 张家录 
湖南省重点建设学科项目;湖南省教育厅科学研究项目(10C1232);湘南学院科研项目(08Y027)
利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在...
关键词：GODEL N值逻辑系统 随机真度 不可靠度 必要度 伪距离 近似推理 
Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统L_n
《淮南师范学院学报》2010年第3期4-6,共3页平静水 
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L_3和n值逻辑系统L_n(n>3),首先给出了L_3的真值表,它是C_2真值表的扩充,它也保持MP规则和正则性,接下来讨论了L_3中的重言式(tautology)与IPC(intuitionistic proposi...
关键词：LUKASIEWICZ蕴涵算子 Lukasiewicz蕴涵算子的导出算子L3 重言式 n值逻辑系统Ln 
n值逻辑系统子代数个数之讨论
《计算机工程与应用》2009年第27期62-65,共4页李绍勇 李成允 
教育部科学技术研究重点项目(No.206089)
在广义和狭义两方面分别研究了六个系统Ln,Sn,Gn,Kn,Zn,Wn的子代数的个数的特征及其计数问题。由此,得到了逻辑系统Ln,Sn,Gn,Wn,Kn,Zn的子代数个数及其性质。
关键词：n值逻辑 子代数 蕴涵算子 逻辑系统 子代数的个数 
n值逻辑系统中的随机化研究被引量：2
《计算机工程与应用》2009年第19期40-42,48,共4页孟广武 张兴芳 李成允 
教育部科学技术研究重点项目(No.206089)~~
利用赋值集的随机化方法,在n值逻辑系统Rn提出了公式的DRn-真度的概念。给出了两公式间的DRn-相似度与伪距离的概念,建立了DRn-逻辑度量空间。
关键词：DRn-真度 DRn-相似度 DRn-逻辑度量空间 
一种n值逻辑系统中命题的条件真度被引量：11
《山东大学学报（理学版）》2009年第6期56-59,共4页胡江山 
国家自然科学基金资助项目(60774100);山东省自然科学基金资助项目(Y2007A15)
基于条件概率的思想,在n值R0-命题逻辑系统Ln*中引入条件真度的概念,并讨论该条件真度的性质及相应的推理规则。
关键词：R0-命题逻辑系统 真度 条件真度 
n值逻辑系统L_n~*中广义重言式的计量化研究被引量：7
《陕西师范大学学报（自然科学版）》2009年第2期1-5,12,共6页王国俊 时慧娴 
国家自然科学基金资助项目(10771129)
基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了...
关键词：广义重言式 ζ-真度 σ-(ζ-重言式) 广义真度推理规则 
n值逻辑系统S_n的子代数及其重言式理论
《潍坊学院学报》2008年第6期91-93,共3页隋云云 
讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件;并比较了不同的逻辑系统Sn中的重言式,同时给出了逻辑系统Sn中判断公式不是重言式的充分条件。
关键词：逻辑系统 子代数 重言式 
基于Gdel蕴涵算子的导出算子的n值逻辑系统
《纺织高校基础科学学报》2008年第1期10-13,共4页杨春志 李永明 
国家自然科学基金资助项目(10571112)
讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之...
关键词：Godel蕴涵算子 Godel蕴涵算子的导出算子G3 重言式 n值逻辑系统Gn 
n值逻辑系统MTL_n中命题的程度化方法被引量：2
《计算机工程与应用》2007年第21期4-7,共4页李骏 王国俊 周艳 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.10331010);陕西师范大学研究生培养创新基金;兰州理工大学优秀青年基金资助项目。
基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的α-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统MTLn中展开近似推理成为可能。
关键词：α-真度 真度 相似度 伪距离 近似推理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部