面向R-蕴涵算子的FMT-泛三I*算法

针对模糊推理的FMT(fuzzy modus tollens)问题,作为三I*算法的推广与改进形式,研究了FMT-泛三I*算法。首先,分析了FMT-泛三I*算法的属性,提出了该算法的基本原则,改进了之前三I*算法的原则。其次,面向R-蕴涵算子,建立了FMT-泛三I*算法的统一形式的解,同时针对几类经典的R-蕴涵算子,分别获得了具体情形下的优化解。最后,证明了FMT-泛三I*算法的置换还原性,获得了良好效果。     

基于某些常见蕴涵算子的模糊推理反向三I约束算法

讨论了FMP，FMT问题的反向三I约束算法解的存在惟一性条件，分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I约束算法解的计算公式. 进而将问题一般化，给出了FMP与FMT问题的α^-反向三I约束算法解的存在惟一性条件，并得到了基于这些蕴涵算子的α^-反向三I约束算法相应的计算公式.     

模糊推理的模糊熵反向α-三I约束算法

讨论了FMP,FMT问题的模糊熵反向α-三I约束解的存在条件,研究了反向α-三I约束解与模糊熵反向α-三I约束解的关系,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的模糊熵反向α-三I约束解的计算公式．     

基于某些常见蕴涵算子的反向三I算法

讨论了FMP,FMT问题的反向三I支持算法解的存在性和惟一性条件,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I解的计算公式.进而将问题一般化,给出了FMP与FMT问题的α-反向三I支持算法解的存在惟一性条件,并得到了基于这些蕴涵算子的α-反向三I支持算法相应的计算公式.     

基于某些常见蕴涵算子的模糊推理反向三Ⅰ约束算法

讨论了FMP,FMT问题的反向三Ⅰ约束算法解的存在惟一性条件,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三Ⅰ约束算法解的计算公式.进而将问题一般化,给出了FMP与FMT问题的α-反向三Ⅰ约束算法解的存在惟一性条件,并得到了基于这些蕴涵算子的α-反向三Ⅰ约束算法相应的计算公式.     

基于某些常见蕴涵算子的模糊推理全蕴涵三Ⅰ约束算法

讨论了FMP,FMT问题的三Ⅰ约束算法的解的存在惟一性条件,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的三Ⅰ约束算法的计算公式.进一步,将问题一般化,给出了FMP问题与FMT问题的α-三Ⅰ约束算法的解的存在惟一性条件,并得到了基于这些蕴涵算子的α-三Ⅰ约束算法相应计算公式.     

模糊推理的模糊熵反向α-三Ⅰ约束算法

讨论了FMP，FMT问题的模糊熵反向α-三Ⅰ约束解的存在条件，研究了反向α-三Ⅰ约束解与模糊熵反向α-三Ⅰ约束解的关系，分别给出了几个常见蕴涵算子的FMP问题与FMT问题的模糊熵反向α-三Ⅰ约束解的计算公式．     

基于某些常见蕴涵算子的反向三Ⅰ算法

讨论了FMP，FMT问题的反向三Ⅰ支持算法解的存在性和惟一性条件，分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I解的计算公式．进而将问题一般化，给出了FMP与FMT问题的α-反向三Ⅰ支持算法解的存在惟一性条件，并得到了基于这些蕴涵算子的α-反向三Ⅰ支持算法相应的计算公式．     

基于Lukasiewicz蕴涵算子的α-三I约束算法

在Lukasiewicz蕴涵算子（RL）下讨论FMP模型和FMT模型的三I约束算法,并给出FMP模型和FMT模型解的计算公式．     

三I算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表达;指出在G del的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α 三I算法的统一形式,得到了关于FMP和FMT而言的α 三I算法的对偶性结论.     

三Ⅰ算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、Godel算子、乘积算子和R0-算子都是正则蕴涵算子-针对这种正则蕴涵算子建立了FMP和FMT的三Ⅰ算法的统一形式,相应地三Ⅰ解可用一般的伴随对((×),R)中的左连续三角模(×)和正则蕴涵算子R统一表达;指出在Godel的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α-三Ⅰ算法的统一形式,得到了关于FMP和FMT而言的α-三Ⅰ算法的对偶性结论.     

模糊推理的反向三I约束算法

提出了基于蕴涵算子R0的反向三I约束算法的理论，分别得到了α－反向三I约束算法的FMP的下确界与FMT的上确界的一般计算公式。     

基于剩余型蕴涵算子的α-三I算法

三I算法是针对模糊推理FMP与FMT模型的一种新的推理方法.剩余型蕴涵算子是一类广泛的蕴涵算子,具有较好的性质.讨论了剩余型蕴涵算子之下FMP与FMT模型的α-三I算法,对三I算法作了进一步的推广,得到了相应的表达形式.     

基于含参量蕴涵算子的三I约束算法

针对Hα系统中的蕴涵算子给出了FMP和FMT问题的三I约束算法计算公式.     

基于含参量蕴涵算子的反向三Ⅰ约束算法

针对王国俊教授提出的Hα系统中的蕴涵算子给出FMP问题的反向三I约束算法计算公式和FMT问题的反向三I约束算法计算公式.     

模糊推理的FMT问题研究

对FMT问题的3种不同形式进行了研究,分析了最常用CRI算法和三Ⅰ算法求解这3种形式的FMT问题得到的解的统一解形式,并证明了在何种情况下这3种解是等价的.这种研究提供了将FMT问题转化为FMP问题的可能性,在一定程度上对FMT问题的求解起到了简化作用.     

基于蕴涵算子族NMp的α-三I算法及约束度理论

研究了基于蕴涵算子NMp模糊推理的三I算法的约束度理论,分析了约束度的性质,给出了α-三I算法的FMP(FMT)上(下)确界的计算公式.     

模糊推理的反向三I约束算法

提出了基于蕴涵算子R0的反向三I约束算法的理论,分别得到了α-反向三I约束算法的FMP的下确界与FMT的上确界的一般计算公式.     

关于伴随对和FMP(FMT)问题

定义了与反三角范数相对应的蕴涵算子■,指出了伴随对(,■)为(,→)的对偶伴随对,在此基础上进一步研究了FMP和FMT问题,表明通过(,■)和(,→)的相互转换,可以得到相应三IM算法和三■算法的相互转换。     

基于含参量蕴涵算子的反向三Ⅰ算法

针对Hα系统中的含参量蕴涵算子给出FMP问题的反向三I算法上确界计算公式和FMT问题的反向三Ⅰ算法下确界计算公式,并进一步将问题一般化,给出了α-反向三Ⅰ支持算法相应的计算公式.