模糊推理的α-三I算法

三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文借助蕴涵算子的性质,针对满足一定条件的较一般蕴涵算子,建立了FMP与FMT模型的α-三I算法,并讨论了算法的还原性。     

基于S蕴涵算子的区间值模糊推理的三I算法

针对S蕴涵算子讨论了FM P模型及FM T模型的区间值模糊集三I推理,借助S蕴涵算子的性质,给出相应的推理算法,并讨论了算法的还原性。     

参数Kleene系统的三Ⅰ算法与反向三Ⅰ支持算法

提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。     

正则蕴涵算子与左连续三角模的关系再探讨

证明了正则蕴涵算子与左连续三角模生成的剩余类蕴涵等价,且正则蕴涵算子和左连续三角一一对应,并给出了一种利用部分左连续三角模生成左连续三角模的方法.     

一类新的左连续三角模族及其伴随蕴涵算子族

给出一种构造带参数的左连续三角模的新方法,由此得到7种新的左连续三角模族及其伴随蕴涵算子族.证明其伴随蕴涵算子均满足正则性.     

满足I(x,I(y,x))=1的IT,N蕴涵的解

研究了I(x,I(y,x))=1,其中I为由强否定N和连续三角模T生成的IT,N蕴涵,即IT,N(x,y)=N(T(x,N(y))),x,y∈[0,1],给出了满足I(x,I(y,x))=1,x,y∈[0,1]的充要条件;最后,研究了由强否定N和一类不连续的三角模min0生成的Imin0,N蕴涵,给出了满足I(x,I(y,x))=1,x,y∈[0,1]的充要条件.     

基于蕴涵算子族L-λ-G的模糊推理三Ⅰ约束算法

提出了基于蕴涵算子族L-λ-G的模糊推理的思想,这将有助于提高模糊推理结果的效果. 针对蕴涵算子族L-λ-G给出了模糊推理的FMP模型及FMT模型的三I约束算法、α-三I约束算法.     

关于满足I(x,n(x))=n(x)的D-蕴涵的刻画

研究I(x,n(x))=n(x),其中I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵,即I(x,y)=S(T(n(x),n(y)),y),给出了满足I(x,n(x))=n(x)的充要条件。     

一般全蕴涵模糊推理方法

自王国俊教授在模糊推理中提出全蕴涵推理方法以来,对于这个推理方法的推广和完善,成为模糊推理研究的热点方向之一。特别地,最近有文献提出了五I推理方法。由于这个新推理方法中的蕴涵全部为同一种蕴涵,因此,本文将对这种推理方法进行改进,提出更一般的全蕴涵推理方法。同时分别对两个基本的推理模型FMP和FMT,给出新算法的统一表达式,并分别讨论改进方法在两个模型下算法的还原性和鲁棒性。     

基于蕴涵算子族L-λ-G的模糊推理三I支持算法

提出了基于蕴涵算子族L -λ-G的模糊推理的思想,这将有助于提高推理结果的效果.针对蕴涵算子族L-λ-G 给出了模糊推理的FMP模型及FMT模型的三I支持算法、α-三I支持算法.     

一些模糊推理方法的还原性

给出15个常用模糊蕴涵算子的三Ⅰ算法,在此基础上讨论由这15个蕴涵算子与CRI算法和三Ⅰ算法相结合生成的30种模糊推理方法的还原性。     

模糊推理α-反向三I支持算法的一般表示

讨论模糊推理α-反向三I支持算法的表示问题,基于正则蕴涵算子建立α-反向三I支持算法的一般表示。如此,现有的α-反向三I支持算法的统一表示被推广到一种新的形式。     

基于Lukasiewicz蕴涵算子的反向三I算法

三Ⅰ算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文针对Lukasiewicz蕴涵算子讨论FMP模型及FMT模型的反向三Ⅰ推理及反向α-三Ⅰ推理,借助该蕴涵算子的性质,给出相应的推理算法。     

对称蕴涵推理方法的鲁棒性分析北大核心CSCD

模糊推理方法已经被成功地应用于模糊控制器设计,模糊专家系统集成等诸多领域.作为对传统模糊推理方法的改进,我国学者提出了基于三Ⅰ方法的对称蕴涵推理方法.对于模糊推理方法性质的研究,尤其是对推理方法鲁棒性的研究是模糊逻辑领域的一个重要的研究方向.基于规范的Minkowski距离讨论对称蕴涵方法的鲁棒性,给出了针对不同蕴涵算子的四个算法的鲁棒性结论,为模糊推理方法的选择与应用提供科学依据.     

对称蕴涵推理方法的鲁棒性分析

模糊推理方法已经被成功地应用于模糊控制器设计,模糊专家系统集成等诸多领域.作为对传统模糊推理方法的改进,我国学者提出了基于三Ⅰ方法的对称蕴涵推理方法.对于模糊推理方法性质的研究,尤其是对推理方法鲁棒性的研究是模糊逻辑领域的一个重要的研究方向.基于规范的Minkowski距离讨论对称蕴涵方法的鲁棒性,给出了针对不同蕴涵算子的四个算法的鲁棒性结论,为模糊推理方法的选择与应用提供科学依据.     

基于一族蕴涵算子的对偶三I算法

三I算法是一种新的模糊推理方法,是传统的模糊推理方法的修改和补充. 三I表达式取最小值时的最优解算法(即对偶三I算法)是三I算法思想的延伸和完善.本文针对蕴涵算子族Ip,讨论了FMP和FMT问题的对偶三I算法,给出了相应的计算公式,从而也进一步促进了对三I算法的研究.     

基于剩余蕴涵算子族Lp的三Ⅰ支持算法

研究了基子剩余型蕴涵算子族Lp的模糊推理的三Ⅰ支持算法,给出了FMP模型与FMT模型的三Ⅰ算法的几种计算公式,并讨论了其还原性.     

FMT-泛三I算法的约束度理论

从先前提出的泛三I算法出发,面向FMT(fuzzy modus tollens)问题,提出模糊推理的FMT-泛三I约束算法。改进之前的三I约束FMT原则,给出泛三I约束解的存在条件,建立FMT-泛三I约束算法的统一形式的解。并且,针对9种具体的蕴涵算子,获得相应的泛三I约束解。最后,给出并改进FMT-三I约束算法的相关结论。     

三角模族T_(q,p)-LGN与逻辑系统LGN

首先, 给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)), 分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LGN三角模族的概念(基于此族的模糊逻辑系统等价于系统L,G与L*(或NM) 的所有定理的交LGN);最后,证明了左连续三角模族T(q,p)-LGN是LGN三角模族的一个子族.     

基于蕴涵算子族L-λ-R0的模糊推理反向α-三I约束算法

提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性.针对蕴涵算子族L-λ-R0给出了模糊推理的FMP模型及FMT模型的反向α-三I约束算法.