区间值模糊推理反向三I约束算法的鲁棒性

给出了区间值模糊推理FMP、FMT反向三I约束算法解的一般表达形式,基于Moore距离证明了区间值反向三I约束算法的鲁棒性。得到了基于区间值Lukasiewicz蕴涵的反向三I约束算法解的灵敏度。     

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

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

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

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

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

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

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

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

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

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

模糊推理三Ⅰ算法的还原性

模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三角模时,给出了FM P问题三I算法具有还原性的充要条件;其次,当蕴涵算子为连续的正则蕴涵算子时,给出了FM T问题的三I算法具有还原性的充要条件;最后,当正则蕴涵算子关于补运算满足对合律时,给出了FM T问题三I算法满足还原性的一个充分条件。     

模糊推理全蕴涵算法及其还原性

模糊推理是模糊控制的逻辑基础,然而通用的模糊推理CRI算法却缺乏严格的逻辑依据,近期问世的模糊推理全蕴涵三I算法有效地改进了CRI算法。本文研究了全蕴涵三I算法的一般计算公式及其还原性问题,并且得到了一些新的算法,也提出了一些新的观点,文献中已有的结果大多数是本文结果的特例。从而为模糊推理提供了一种新方法。     

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

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

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

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

基于蕴涵算子θp模糊推理的三I与反向三I算法的约束度分析

研究基于蕴涵算子θp模糊推理的三I算法与反向三I算法的约束度理论, 分析约束度的性质,得到α-三I算法的FMP(FMT)上(下)确界计算公式与α-反向三I算法的FMP(FMT)下(上)确界的计算公式.     

一般全蕴涵模糊推理方法

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

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

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

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

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三I算法是与B(?)*系统相匹配的模糊推理方法．     

完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

模糊推理三I约束算法的一般表示

讨论模糊推理三I约束算法的表示问题.首先,改进FMP及FMT问题的三I约束原则,进而,为使更多的蕴涵算子纳入统一的算法表示之下,基于较弱的条件建立三I约束算法的一般表示.如此,现有的三I约束算法的统一表示被推广到一种新的形式.     

模糊推理的α-三I算法

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

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

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应用于$R_0$-单位区间$\overline{W}$,不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法.     

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

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

区间值模糊推理三Ⅰ约束算法

基于区间值模糊集讨论了区间值模糊推理三Ⅰ约束算法,给出了ⅠFMP、ⅠFMT问题的区间值模糊推理三Ⅰ约束算法解的表达形式,并且针对三种具体的蕴涵算子,获得了相应的区间值模糊推理三Ⅰ约束算法的解。