期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Godel n值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计 被引量：5
1
作者 吴霞 张家录 《模糊系统与数学》 CSCD 北大核心 2012年第3期24-34,共11页
利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在... 利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在全体公式集上建立伪距离,给出基于伪距离和不可靠度的两种近似推理模式。 展开更多
关键词 GODEL n值逻辑系统 随机真度 不可靠度 必要度 伪距离 近似推理
原文传递
Kleene蕴涵算子的导出算子的n值逻辑系统I_n
2
作者 程贞敏 尤飞 李洪兴 《模糊系统与数学》 CSCD 北大核心 2005年第1期18-21,共4页
考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3 和n值逻辑系统In(n >3)。首先,给出I3的真值表,证明了I3 是二值逻辑系统C2 的推广。其次,讨论了I3 中的重言式与IPC公理之间以及I3 中的准重言式与C2 中的重言式之间的关系。接着,... 考虑了Kleene蕴涵算子的导出算子的三值逻辑系统I3 和n值逻辑系统In(n >3)。首先,给出I3的真值表,证明了I3 是二值逻辑系统C2 的推广。其次,讨论了I3 中的重言式与IPC公理之间以及I3 中的准重言式与C2 中的重言式之间的关系。接着,考虑了In中的子代数。最后。 展开更多
关键词 Kleene蕴涵算子 Kleene蕴涵算子的导出算子 n值逻辑系统In 准重言式 重言式
下载PDF
几类n值逻辑系统中的MP滤子
3
作者 罗清君 王国俊 《陕西理工学院学报（自然科学版）》 2006年第1期67-71,12,共5页
给出了n值Lukasiewicz逻辑系统Ln,n值G del逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L*逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系。
关键词 n值逻辑系统 MP滤子 格滤子
下载PDF
几类n值逻辑系统中的MP滤子
4
作者 罗清君 《聊城大学学报（自然科学版）》 2006年第1期6-8,12,共4页
给出了n值Lukasiewicz逻辑系统Ln,n值Godel逻辑系统Gn,n值乘积逻辑系统Pn,n值标准序列逻辑系统Sn和n值L逻辑系统Wn中的MP滤子的分布情况,并讨论了这些MP滤子与格滤子的关系.
关键词 n值逻辑系统 MP滤子 格滤子
下载PDF
Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统L_n
5
作者 平静水 《淮南师范学院学报》 2010年第3期4-6,共3页
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L_3和n值逻辑系统L_n(n>3),首先给出了L_3的真值表,它是C_2真值表的扩充,它也保持MP规则和正则性,接下来讨论了L_3中的重言式(tautology)与IPC(intuitionistic prop... 讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L_3和n值逻辑系统L_n(n>3),首先给出了L_3的真值表,它是C_2真值表的扩充,它也保持MP规则和正则性,接下来讨论了L_3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及L_3的准重言式与C_2的重言式之间的关系。最后考虑了L_n中的子代数及不同逻辑系统L_n中重言式的比较。 展开更多
关键词 LUKASIEWICZ蕴涵算子 Lukasiewicz蕴涵算子的导出算子L3 重言式 n值逻辑系统Ln
下载PDF
基于Gdel蕴涵算子的导出算子的n值逻辑系统
6
作者 杨春志 李永明 《纺织高校基础科学学报》 CAS 2008年第1期10-13,共4页
讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理... 讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较. 展开更多
关键词 Godel蕴涵算子 Godel蕴涵算子的导出算子G3 重言式 n值逻辑系统Gn
下载PDF
格蕴涵代数与Lukasiewicz逻辑系统 被引量：6
7
作者 朱怡权 《内蒙古大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第2期121-123,共3页
讨论格蕴涵代数与Lukasiewicz逻辑系统的关系,证明了:若(L(n), )是一个n元链,θ,I分别为最小、最大元,则以 为导出关系的格蕴涵代数(L(n),∨,∧,→,′,θ,I)恰有一个,并且与n值Lukasiewicz逻辑系统同构.
关键词 FI-代数 格蕴涵代数 n值Lukasiewicz逻辑系统
下载PDF
一类n值命题逻辑系统中改进的相似度及伪距离 被引量：4
8
作者 李骏 黎锁平 兰倩 《甘肃工业大学学报》 北大核心 2003年第2期130-133,共4页
基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式集F(S)上的一种伪距离,最后讨论了相似度及伪距离的重要性质.
关键词 n值命题逻辑系统 均匀概率空间 真度 公式 相似度 伪距离 MP规则 HS规则 交推理规则
下载PDF
G?del n值命题逻辑系统中的Δ真度 被引量：1
9
作者 朱乃调 惠小静 +1 位作者 高晓莉 高姣 《模糊系统与数学》 CSCD 北大核心 2016年第6期12-18,共7页
在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。
关键词 GODEL n值命题逻辑系统 Δ算子 Δ真度
原文传递
n值Lukasiewicz逻辑系统中公式的向量表示及其研究
10
作者 高晓莉 惠小静 朱乃调 《计算机科学》 CSCD 北大核心 2016年第S2期83-87,共5页
首先,借鉴n值?ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的... 首先,借鉴n值?ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的一些良好性质。 展开更多
关键词 n值Lukasiewicz逻辑系统 向量 真度 3种相似度 3种伪距离
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部