基于完备BR_0-代数的全蕴涵三I算法

发布时间：2017-03-22 20:11

  本文关键词：基于完备BR_0-代数的全蕴涵三I算法，由笔耕文化传播整理发布。

【摘要】：研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三I算法是与B(?)*系统相匹配的模糊推理方法．
【作者单位】： 陕西师范大学数学研究所 陕西师范大学数学研究所 陕西师范大学数学研究所
【关键词】： 模糊逻辑 基础BR_-代数 R_-单位区间 三I算法 基础■*系统
【基金】：国家自然科学基金(10471083) 陕西师范大学重点科研基金(995130)
【分类号】：O141.1
【正文快照】： 1引言 模糊推理是模糊控制的理论基础.在一个模糊控制系统中，当输入为A时，结果是B，现 输入为A*，结果如何?将其转化为推理模型是: 问题1.1 已知A一B 且给定A (1 .1) 求B* 模糊推理有多种不同的方法【‘一6]，其基本思想是: i)把A，方，A‘以及待求的B‘用F它zzy集来表示，

【参考文献】

中国期刊全文数据库 前6条

1 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑;2002年02期

2 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

3 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

4 吴洪博,文秋梅;基础L~*系统的一种扩张——Lukasiewicz系统[J];模糊系统与数学;2002年02期

5 吴洪博;基础R_(0-)代数与基础L~*系统[J];数学进展;2003年05期

6 吴洪博;基础R_0-代数的性质及在L~*系统中的应用[J];数学研究与评论;2003年03期

【共引文献】

中国期刊全文数据库 前10条

1 马征杰;大学生思想品德定量评价体系设计与程序[J];安康师专学报;2001年04期

2 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

3 郑亚林,海焕智,白永成;3I方案下的Fuzzy推理算法[J];宝鸡文理学院学报(自然科学版);2001年02期

4 郑亚林,黄德隆,郭健;Fuzzy推理的Mamdani算法[J];宝鸡文理学院学报(自然科学版);2001年03期

5 郑亚林;Fuzzy推理的各种模型算法[J];宝鸡文理学院学报(自然科学版);2002年01期

6 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

7 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

8 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

9 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

10 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

中国重要会议论文全文数据库 前10条

1 宋士吉;冯纯伯;费树岷;孙长银;;模糊推理的Zadeh型全蕴涵三Ⅰ算法[A];第十九届中国控制会议论文集（一）[C];2000年

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];2000年

9 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

10 孟丹;陈图云;;模糊推理的三Ⅰ原则贴近算法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

中国博士学位论文全文数据库 前10条

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

2 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

3 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

6 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

7 李群;不确定性数学方法研究及其在经济管理中的应用[D];大连理工大学;2002年

8 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

9 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

10 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

中国硕士学位论文全文数据库 前10条

1 徐章艳;基于Vague集的近似推理[D];广西师范大学;2000年

2 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

3 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

4 孟丹;基于事例推理的检索与推理模型研究[D];辽宁师范大学;2001年

5 高小军;模糊推理的新算法及基于模糊小波网络的自适应控制[D];西安电子科技大学;2002年

6 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

7 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

8 张振华;粗集理论及其在数据预处理过程中的应用[D];昆明理工大学;2002年

9 徐鲲;国企经理人薪酬体系研究[D];华北电力大学（北京）;2003年

10 杨晓炜;基于拓扑变换的模糊推理研究[D];西南交通大学;2003年

【二级参考文献】

中国期刊全文数据库 前10条

1 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

2 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

3 李洪兴;模糊控制的插值机理[J];中国科学E辑;1998年03期

4 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

5 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期

6 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

7 王国俊;蕴涵格与Stone表现定理的推广[J];科学通报;1998年11期

8 吴洪博,文秋梅;积分语义学中的积分相似度与伪距离[J];陕西师范大学学报(自然科学版);2000年03期

9 吴洪博,文秋梅;L~*系统中的模糊演绎定理[J];陕西师范大学学报(自然科学版);2001年01期

10 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

【相似文献】

中国重要会议论文全文数据库 前10条

1 张惠民;;论模糊逻辑的哲学意义和实用价值[A];1993年逻辑研究专辑[C];1993年

2 张尚水;;模糊逻辑[A];全国逻辑讨论会论文选集[C];1979年

3 任燕;王洪丽;鲁忠良;;模糊逻辑的紧致性与模糊理论相容度[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

4 傅殿英;;模糊逻辑与质量互变规律[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 畅春玲;张运杰;于东;董云影;;建立在模糊逻辑上的模糊元胞自动机[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

6 王建芳;;逻辑在人工智能科学中的应用与前景[A];1994年逻辑研究专辑[C];1994年

7 闵珊华;贺仲雄;;金岳霖晚年对Fuzzy逻辑的认识[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年

8 陈图云;吴凤干;汤服成;;直觉模糊命题逻辑的广义拟重言式及其分类[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

9 袁正校;何向东;;关于真谓词的冗余论的若干问题[A];1998年逻辑研究专辑[C];1998年

10 陈自立;桂起权;;辩证逻辑公理系统DLA及DLB[A];1995年逻辑研究专辑[C];1995年

中国博士学位论文全文数据库 前1条

1 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

中国硕士学位论文全文数据库 前9条

1 蒋萍;模糊逻辑在风险投资决策中的应用[D];西南师范大学;2005年

2 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

3 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年

4 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

5 张琼;BL_△~*形式系统与NM（?）形式系统的研究[D];陕西师范大学;2010年

6 李海霞;逻辑代数中若干问题的研究[D];陕西师范大学;2008年

7 高李红;QBL代数与IMTL代数及系统的研究[D];陕西师范大学;2011年

8 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

9 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

  本文关键词：基于完备BR_0-代数的全蕴涵三I算法，由笔耕文化传播整理发布。

，

本文编号：262134