Frank三角范数的三值模糊逻辑系统的真度理论
本文关键词:Frank三角范数的三值模糊逻辑系统的真度理论
【摘要】:本文在Frank三角范数的三值R-蕴涵模糊逻辑系统中,借助逻辑公式A所诱导的函数,建立逻辑公式A的真度概念,得到一些三值R-蕴涵逻辑系统下的真度推理规则。同时,利用真度定义公式间的相似度和伪距离,给出相似度和伪距离的性质,为Frank三角范数命题逻辑系统中的近似推理提供了一种理论框架。
【作者单位】: 西安工程大学理学院;
【基金】:国家自然科学基金资助项目(60273087,60775038) 陕西省教育厅专项科研计划项目(2010JK567)
【分类号】:O141.1
【正文快照】: 逻辑是研究推理的科学,模糊逻辑主要对模糊推理进行研究。自模糊数学提出后,Zadeh在文献[1]中首次提出了建立在模糊集理论上的近似推理方法。随后,20世纪70年代末,捷克学者Pavelka的系列文章[2]将模糊集思想同严格的逻辑演算结合起来,它的主要思想是将公式、公理程度化。文献[
【参考文献】
中国期刊全文数据库 前10条
1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期
2 李骏;孟新友;李建生;;三值标准序列逻辑中的α-真度理论[J];兰州理工大学学报;2007年01期
3 林运国;陈晓云;胡山立;陈莉;;多Agent模糊概率信念逻辑[J];广西师范大学学报(自然科学版);2008年01期
4 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期
5 王国俊,钱桂生,党创寅;命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论[J];中国科学E辑:信息科学;2004年10期
6 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期
7 左卫兵;;n值命题逻辑中的P-随机真度及近似推理[J];计算机工程与应用;2009年07期
8 韩邦合;王国俊;;二值逻辑中命题的条件真度理论[J];模糊系统与数学;2007年04期
9 惠小静;刘兴祥;;三值G銉del命题逻辑系统的随机化[J];模糊系统与数学;2009年04期
10 王国俊,王伟;逻辑度量空间[J];数学学报;2001年01期
【共引文献】
中国期刊全文数据库 前10条
1 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期
2 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期
3 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期
4 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期
5 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期
6 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期
7 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期
8 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期
9 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期
10 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期
中国重要会议论文全文数据库 前10条
1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年
2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年
3 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年
4 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年
5 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年
6 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年
7 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年
8 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年
9 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年
10 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年
2 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
3 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
4 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
5 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年
6 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
7 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
8 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年
9 于海田;民航安全分析与管理研究[D];上海大学;2011年
10 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年
中国硕士学位论文全文数据库 前10条
1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年
2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年
3 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年
4 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年
5 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年
6 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年
7 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年
8 赵力;模糊推理的三Ⅰ算法研究[D];山东大学;2010年
9 吴媛;剩余格的模糊滤子和广义模糊滤子[D];西北大学;2011年
10 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 高庆狮;Zadeh模糊集合理论的缺陷及其改进:C*-模糊集合理论[J];北京科技大学学报;2005年05期
2 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期
3 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期
4 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期
5 李骏,兰倩,夏亚峰;标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布[J];甘肃工业大学学报;2003年04期
6 李骏,兰倩,黎锁平,王柏岩;标准序列逻辑系统S_3中的相似度及伪距离[J];兰州理工大学学报;2004年05期
7 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[J];河北师范大学学报(自然科学版);2008年01期
8 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期
9 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期
10 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期
【相似文献】
中国期刊全文数据库 前10条
1 刘艳,郑慕聪;Lukasiewicz多值逻辑系统中的相似度及伪距离[J];西安科技大学学报;2005年02期
2 李骏;夏亚峰;兰倩;;n值标准序列逻辑系统中的近似推理理论[J];兰州理工大学学报;2006年02期
3 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[J];河北师范大学学报(自然科学版);2008年01期
4 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期
5 茹永梅;;两个特殊逻辑系统G_n和Π_n中的相似度与伪距离[J];浙江工贸职业技术学院学报;2008年01期
6 张美;马盈仓;;Frank三角范数的一类模糊逻辑系统的真度理论[J];计算机工程与应用;2011年02期
7 高荣荣;郭秀敏;王国俊;;n值Lukasiewicz逻辑中命题的条件真度理论[J];延安大学学报(自然科学版);2009年01期
8 牛广化;于西昌;;命题逻辑中条件概率真度的相似度及伪距离[J];计算机工程与应用;2010年17期
9 马盈仓;张美;崔美英;;Frank三角范数的三值模糊逻辑系统的真度理论[J];广西师范大学学报(自然科学版);2011年03期
10 于西昌;胡凯;张兴芳;;条件概率真度的相似度及伪距离[J];模糊系统与数学;2009年06期
中国重要会议论文全文数据库 前10条
1 李娆娆;雷沛霖;黄兰岚;原思通;刘营;;芫花药材高效液相指纹图谱研究[A];中华中医药学会四大怀药与地道药材研究论坛暨中药炮制分会第二届第五次学术会与第三届会员代表大会论文集[C];2007年
2 张虎;郭玉翠;宫尚宝;;移动Ad-hoc网络中基于第三方观察机制的信任管理研究[A];第十六届全国青年通信学术会议论文集(上)[C];2011年
3 王志松;;决策树中数据遗失值填充方法的研究[A];2001年中国智能自动化会议论文集(下册)[C];2001年
4 汤丽华;赵吴静;金菊良;张明;;基于熵的水质综合评价的相似插值模型[A];第八届中国管理科学学术年会论文集[C];2006年
5 王娟;;一种基于粗糙集理论的操作风险判别方法[A];科学发展观与系统工程——中国系统工程学会第十四届学术年会论文集[C];2006年
6 刘晓林;郁滨;;基于相似度的遗传算法模式理论研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
7 金保华;高湘飞;柳雪环;张磊;;基于XML框架与CBR智能预案管理的研究[A];2009年中国智能自动化会议论文集(第二分册)[C];2009年
8 王超;许方;;一种基于奇异值分解的印刷体数字识别算法[A];图像图形技术与应用进展——第三届图像图形技术与应用学术会议论文集[C];2008年
9 麦智毅;杨春玲;;基于结构相似度的H.264帧内预测快速算法[A];通信理论与信号处理新进展——2005年通信理论与信号处理年会论文集[C];2005年
10 李增扬;李兵;何克清;;本体中复杂网络特性的发现[A];2006全国复杂网络学术会议论文集[C];2006年
中国重要报纸全文数据库 前10条
1 证券时报记者 韩如冰;基金投资相似度趋高[N];证券时报;2006年
2 聂磊 曹进 罗国安;中药指纹图谱相似度评价方法各有千秋[N];中国医药报;2006年
3 孟祥宁 张亚萌 郭青剑;山寨文化:是一种什么样的文化[N];中国艺术报;2009年
4 聂磊;曹进;罗国安;中药指纹图谱相似度评价方法作用各一[N];中国医药报;2005年
5 海潮;俄研究发现妊娠中毒症疑与夫妇HLA基因相似度有关[N];中国医药报;2007年
6 栾海;妊娠中毒症可能与夫妇 HLA基因相似度有关[N];医药经济报;2007年
7 沈阳药科大学药学院 孙国祥;中药指纹图谱研究新进展[N];中国中医药报;2007年
8 记者 李学梅;研究证实:父亲“偏爱”与自己相像的孩子[N];新华每日电讯;2009年
9 小新;妊娠中毒症与夫妇HLA基因相似度有关[N];中国医药报;2007年
10 天相投顾 王聃聃;投资同质化 基金繁荣背后的痛[N];证券时报;2007年
中国博士学位论文全文数据库 前10条
1 顾本柏;客体相似性表征的认知和发展机制研究[D];西南大学;2011年
2 刘磊;概念内涵属性计算研究[D];上海交通大学;2011年
3 杜方;复杂网络系统间相似性识别及其应用[D];浙江大学;2010年
4 游扬声;一般分布模式下GIS位置数据的不确定性研究[D];武汉大学;2005年
5 孙平;高科技品牌延伸的评价模型与消费者评价实证研究[D];山东大学;2008年
6 刘晓东;面向无线传感器网络数据传输与查询的节能算法与理论研究[D];中国海洋大学;2009年
7 张旭秀;盲源分离及其在脑电信号处理中应用的研究[D];大连理工大学;2006年
8 马群;安宫牛黄丸生产过程质量评价方法研究[D];北京中医药大学;2007年
9 李江源;高分辨SAR干扰机理与高效干扰方法研究[D];电子科技大学;2007年
10 刘建华;粒子群算法的基本理论及其改进研究[D];中南大学;2009年
中国硕士学位论文全文数据库 前10条
1 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年
2 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年
3 茹永梅;经典逻辑系统(?)中的MT问题及公式的真度理论[D];陕西师范大学;2006年
4 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年
5 崔艳丽;R_0代数的简化以及相对真度的相关性质研究[D];陕西师范大学;2010年
6 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年
7 石安磊;基于文本相似度评分的中医案例分析系统研究与实现[D];西北大学;2011年
8 闵江;基于语义网的本体相似度算法研究[D];华东交通大学;2011年
9 裴运亮;基于切词和语义的中文相似度研究与应用[D];电子科技大学;2011年
10 乔善磊;中药色谱指纹图谱相似度评价研究[D];第二军医大学;2004年
,本文编号:1139044
本文链接:https://www.wllwen.com/shekelunwen/ljx/1139044.html