收藏本站
《四川大学》 2004年
收藏 | 手机打开
二维码
手机客户端打开本文

模糊逻辑中若干问题的研究

覃锋  
【摘要】:模糊逻辑的应用范围十分广泛。一方面,它在计算机科学中有广泛的应用,如在机器自动证明 理论,近似推理,多agent系统,开关理论,程序验证等领域。另一方面,它也丰富和发展了纯数学理论的研究,例如,在证明理论中的独立性和相容性方面的研究,在广义集合论和特殊的代数结掏(如MV-代数,BL-代数.R_0-代数)方面的研究,都引起了人们的极大兴趣并取得了成功.在人文学科(如语言学,哲学等领域)方面,它也引起了人们的关注。基于这样的事实,我们从四个方面研究了模糊逻辑,即模糊算子理论,特殊的代数理论,形式系统理论和模糊推理,详细说来如下。 在模糊算子理论方面,我们首先概述了uninorm及其相关算子的定义,揭示了它们之间的关系;分析了各种类型uninorm和t-operator的结构以及三种uninorm剩余蕴涵结构,并刻画了在(0,1)~2内连续的uninorm的剩余蕴涵结构和t-operator的剩余蕴涵结构。为了满足应用的需要,我们给出了uninorm剩余蕴涵的若干简单性质,研究了模态条件方程和分配性方程关于特殊类型的uninorm和t-operator的解的情况.针对在(0,1)~2内连续的uninorm和t-operator,证明了模态条件方程没有新的非平凡解.就幂等uninorm和t-operator而言,证明了模态条件方程所有新的非甲凡解为F=∧,U=R,和F=∨,U=R~*和在定理2.2.3.1中所刻画的解。同时,分配性方程的所有新解由定理2.3.1.1和定理2.3.2.1所刻画。最后,我们致力于nullnorm的推广,引入了左(右)nulluorm的概念,分别刻画了在[0,1]上连续和在有限链L上光滑的所有类型的左(右)nullnorm的结构。 在特殊的代数理论方面,我们首先较系统地研究了R_0-代数的基本性质,揭示了R_0-代数中的理想之集和同余关系之集之间的一一对应关系,给出了R_0-代数成为Boole-代数的充要条件,在R_0-代数上建立了Stone-空间,在附加Stone-拓扑条件下,找到了与R_0-代数同胚的分配格;给出了R_0-代数有不可约表示的充要条件;构造了自由R_0-代数;简化了R_0-代数的原始定义。 在形式系统理论方面,为了寻求Zadeh意义下狭义模糊逻辑的可公理化问题的解决方案,我们提出了逻辑系统MTL的扩张VTMITL。给出了命题逻辑系统VTMTL和一阶谓词逻辑系统VTMTLA的完备性定理。 在模糊推理方面,我们给出了三I公式的语法解释,分析了三I算法的本质,提出了一 种新刑的三I劝法,‘已是三l约法的rI’益补充.般后证明l’三I算法是万有通近的 关链词: R。一代数; 飞飞1 1111吸》1111: (余)剩余蕴涵;模态条件方程; 自以l衬。、一代数、完备性;三 分配性方程;左(右)1川11,,。》::,,: 表示定理; 算法;万有通近
【学位授予单位】:四川大学
【学位级别】:博士
【学位授予年份】:2004
【分类号】:O159

【引证文献】
中国硕士学位论文全文数据库 前1条
1 李林博;基于模糊逻辑的转子振动故障诊断决策树C4.5算法模型研究[D];华北电力大学(北京);2011年
【参考文献】
中国期刊全文数据库 前7条
1 王国俊;适用于多种蕴涵算子的赋值空间上的测度与积分理论[J];中国科学E辑:技术科学;2001年01期
2 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期
3 徐扬,秦克云,宋振明;一阶格值逻辑系统FM的语法问题[J];科学通报;1997年10期
4 吴望名;区间值模糊集和区间值模糊推理[J];模糊系统与数学;1992年02期
5 王国俊;完备格中的成分理论[J];数学学报;2001年05期
6 裴道武;剩余格与正则剩余格的特征定理[J];数学学报;2002年02期
7 李洪兴,尤飞,彭家寅,曾文艺;基于某些模糊蕴涵算子的模糊控制器及其响应函数[J];自然科学进展;2003年10期
【共引文献】
中国期刊全文数据库 前10条
1 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期
2 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期
3 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期
4 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期
5 曾文艺,李洪兴,施煜;区间值模糊集合的分解定理[J];北京师范大学学报(自然科学版);2003年02期
6 曾文艺,李洪兴,施煜;区间值模糊集合的表现定理[J];北京师范大学学报(自然科学版);2003年04期
7 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期
8 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期
9 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期
10 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期
中国重要会议论文全文数据库 前10条
1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年
2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年
3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年
4 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年
5 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年
6 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年
7 许格妮;;可交换的s代数[A];第十二届中国青年信息与管理学者大会论文集[C];2010年
8 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年
9 潘小东;;模糊一阶逻辑研究进展综述[A];第十届中国不确定系统年会、第十四届中国青年信息与管理学者大会论文集[C];2012年
10 徐扬;;基于格值命题逻辑L_(vpl)的近似推理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
中国博士学位论文全文数据库 前10条
1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年
2 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
3 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
4 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年
5 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
6 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
7 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年
8 于海田;民航安全分析与管理研究[D];上海大学;2011年
9 岳立柱;模糊结构元理论拓展及其决策应用[D];辽宁工程技术大学;2011年
10 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年
中国硕士学位论文全文数据库 前10条
1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年
2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年
3 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年
4 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年
5 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年
6 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年
7 谢爱芳;迭代布尔相象律方程的几类新解[D];江西师范大学;2010年
8 张丽珍;基于中介逻辑的模糊信息处理的研究[D];江南大学;2010年
9 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年
10 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 张红飞;浅析大型汽轮发电机组振动及诊断[J];安徽电力职工大学学报;2002年01期
2 魏宝刚,何华灿,刘永怀;分布式人工智能的工程应用研究与实现[J];电力系统自动化;1997年06期
3 常立涛;;模糊逻辑及其应用探究[J];法制与经济(中旬刊);2010年05期
4 徐永禧;美国、加拿大8·14大停电[J];国际电力;2003年05期
5 曹焰 ,徐智京;汽轮发电机组摩擦振动故障的诊断与防止[J];华北电力技术;2001年12期
6 莫异周;;电站故障智能诊断技术的提高及发展方向[J];华夏星火;2004年10期
7 王可;夏立群;;基于模糊逻辑的作动器故障诊断方法研究[J];机床与液压;2010年15期
8 刘东波;卢正鼎;;数据库中的模糊逻辑规则发现[J];计算机工程与应用;2008年26期
9 邹竞;谢鲲;;C4.5算法在移动通信行业客户流失分析中的应用[J];计算技术与自动化;2009年03期
10 李楠;段隆振;陈萌;;决策树C4.5算法在数据挖掘中的分析及其应用[J];计算机与现代化;2008年12期
中国硕士学位论文全文数据库 前2条
1 梁萌;汽轮机故障诊断技术研究[D];大庆石油学院;2005年
2 张聘亭;旋转机械可组态在线监测诊断系统以及手持式离线系统的研究[D];华中科技大学;2008年
【二级引证文献】
中国硕士学位论文全文数据库 前1条
1 朝格图胡日都;基于故障树分析的汽轮发电机组故障原因诊断研究[D];华北电力大学;2012年
【二级参考文献】
中国期刊全文数据库 前10条
1 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期
2 李洪兴;模糊控制的插值机理[J];中国科学E辑:技术科学;1998年03期
3 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期
4 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑:技术科学;2002年02期
5 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期
6 吴望名;关于模糊逻辑的—场争论[J];模糊系统与数学;1995年02期
7 李洪兴;从模糊控制的数学本质看模糊逻辑的成功──关于“关于模糊逻辑似是而非的争论”的似是而非的介入[J];模糊系统与数学;1995年04期
8 裴道武;模糊逻辑与模糊控制中的理想蕴涵[J];西安石油学院学报(自然科学版);2000年06期
9 徐扬;;格蕴涵代数[J];西南交通大学学报;1993年01期
10 宋士吉,吴澄;模糊推理的反向三Ⅰ约束算法[J];自然科学进展;2002年01期
【相似文献】
中国期刊全文数据库 前10条
1 薛家祥,黄石生,余英林;神经网络模糊逻辑的软硬件技术[J];控制理论与应用;1998年06期
2 刘秀玉,刘峤,王日见,张少华;一种基于模糊逻辑和神经网络的电力负荷预测方法[J];上海大学学报(自然科学版);2001年01期
3 马丽娜;王国俊;;剩余格中的Fuzzy(P)滤子[J];陕西师范大学学报(自然科学版);2006年01期
4 钱黄生;;“模糊”产品进入生活领域[J];世界科技研究与发展;1992年03期
5 张师超,汤服成;基于实例的模糊推理模型[J];模糊系统与数学;1998年01期
6 陈图云;孟艳平;吴凤干;;扰动模糊命题逻辑系统中的广义重言式[J];模糊系统与数学;2005年04期
7 陈爱国;周世俊;;基于模糊逻辑的多目标优化问题遗传算法求解探讨[J];河南科学;2006年04期
8 朱怡权;;关于BR_0-代数的一些新性质[J];宁夏大学学报(自然科学版);2009年02期
9 卢祥;马友利;王芳洁;陈刚;;模糊神经网络在变形监测预报中的应用研究[J];测绘科学;2010年S1期
10 陈怡欣,陈永义;模糊控制器动态性能的改善[J];模糊系统与数学;1996年03期
中国重要会议论文全文数据库 前10条
1 张惠民;;论模糊逻辑的哲学意义和实用价值[A];1993年逻辑研究专辑[C];1993年
2 张倩生;沈继忠;;双模糊拓扑的一个新方法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
3 庞善起;秦克云;赵希顺;王雪生;;模糊逻辑与二值逻辑[A];模糊数学和系统成果会论文集[C];1991年
4 王敏;高翔;李宏伟;;模糊逻辑及遗传算法在入侵检测中的应用[A];首届信息获取与处理学术会议论文集[C];2003年
5 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
6 曲建岭;田边;王磊;戴冠中;;基于相关传感量的多传感信号模糊推理方法[A];1998年中国智能自动化学术会议论文集(上册)[C];1998年
7 成央金;;De Morgan函数的简化(Ⅰ)[A];1997中国控制与决策学术年会论文集[C];1997年
8 杨先野;付强;;模糊神经网络在水文水资源应用中的研究进展[A];农业系统工程理论与实践研究——全国农业系统工程学术研讨会论文集[C];2006年
9 刘炜;李建东;;模糊逻辑在越区切换中的应用[A];1998中国控制与决策学术年会论文集[C];1998年
10 陈图云;陈文丽;;修正的Atanassov逻辑及其广义重言式[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
中国重要报纸全文数据库 前10条
1 ;神经网络和模糊逻辑[N];世界金属导报;2002年
2 ;DANIELI自动炼钢、连铸、轧钢技术诀窍与成套技术[N];世界金属导报;2006年
3 孙富春 孙增圻;计算智能技术[N];计算机世界;2001年
4 ;马子杂话前言后语[N];天津日报;2004年
5 刘友存 摘译;实现高效 加强环保[N];中国冶金报;2006年
6 詹膑 罗杨;以多变量为基础的现代智能控制[N];光明日报;2000年
7 曾迎之;网络故障追根源[N];中国计算机报;2001年
8 曹卫东;展望未来电梯发展方向[N];广东建设报;2005年
9 本报记者 刘学习 林润华;下一代CPU引发连锁发应[N];计算机世界;2005年
10 清华大学玉泉医院神外 刘伟国;意识如何进行客观评价[N];健康报;2008年
中国博士学位论文全文数据库 前10条
1 覃锋;模糊逻辑中若干问题的研究[D];四川大学;2004年
2 阎石;结构振动智能控制的人工神经网络与模糊逻辑方法研究[D];大连理工大学;2000年
3 曹恒;基于模糊逻辑的内燃机车大功率柴油机智能控制系统的研究[D];大连理工大学;2000年
4 张持健;商空间下模糊系统与模糊控制的问题求解[D];安徽大学;2005年
5 马育锋;蜂窝无线通信网络呼叫允许控制研究[D];华中科技大学;2005年
6 王杰;自适应多通路声学回波消除理论与应用研究[D];华南理工大学;2004年
7 余庆军;智能图像处理及其在无线多媒体业务中的应用[D];华南理工大学;2004年
8 梁新荣;高速公路智能控制方法研究[D];华南理工大学;2005年
9 周思跃;基于虚拟现实的机器人灵巧手遥操作平台的设计和实现[D];上海大学;2006年
10 葛艳;基于模糊—进化理论的帆船运动路线规划研究[D];中国海洋大学;2005年
中国硕士学位论文全文数据库 前10条
1 丁正;自动化立体仓库管理系统的开发与研究[D];合肥工业大学;2007年
2 李伟为;基于遥控地下铲运机的行驶智能控制策略研究[D];电子科技大学;2009年
3 刘立辉;基于GIS的电网负荷预测及其优化研究[D];大庆石油学院;2009年
4 蒋萍;模糊逻辑在风险投资决策中的应用[D];西南师范大学;2005年
5 姜长元;模糊神经网络模型及其应用研究[D];南京师范大学;2005年
6 何兰香;基于T-S模型的模糊神经网络局部放电模式识别方法[D];哈尔滨理工大学;2009年
7 孙增国;神经网络和模糊专家系统在故障诊断中的应用[D];大连理工大学;2004年
8 王晓军;语用模糊理论综观[D];吉林大学;2005年
9 李小亚;基于人工智能的数据融合技术在火灾探测中的应用研究[D];广东工业大学;2005年
10 李学华;模糊粗糙理论与神经网络在信息处理中的应用[D];电子科技大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026