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

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

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

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

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

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

3I方案下的Fuzzy推理算法

讨论3I方案下的Fuzzy推理算法，包括FMP3I方案，FMAα－3I方案，Zadeh型FMP3I算法，θ0－型FMP3I算法，θ0－型FMT3I算法θ0－型FMPα－3I算法，θ0－型FMTα－3I算法。     

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

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

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

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

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

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

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

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

模糊推理的反向对称蕴涵算法

综合考虑推理模型与逻辑系统,提出反向对称蕴涵算法,建立反向对称蕴涵原则,通过探究其解的性质验证其合理性,改进以前的反向三Ⅰ算法的原则。以经典的Lukasiewicz蕴涵算子为对象,针对FMP(fuzzy modus ponens)和FMT(fuzzy modus tollens)问题分别获得其优化解。面向FMP和FMT问题分别证明反向对称蕴涵算法的还原性。     

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

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

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

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

三I算法的统一形式

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

模糊推理的FMT问题研究

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

三Ⅰ算法的统一形式

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

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

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

基于格值命题逻辑系统LP(X)的不确定性推理

讨论了基于格值命题逻辑系统LP（X）的不确定性推理，证明了FMP和FMT等不确定推理规则，为进一步讨论语言值逻辑推理提供逻辑基础。     

模糊推理三I方法的R L型约束度分析

研究了基于蕴涵算子RL的模型推理的三I方法的约束理论，分析了约束度的性质，得到了一般化的α－三I FMP（模糊取代）最大解计算公式与α－三I FMT(模糊拒取式）最小解计算公式。     

基于正则蕴涵算子的约束度分析

采用正则蕴涵算子进行探讨,提出三I算法的约束度理论,并给出 -三I FMP上确界与 -三I FMT下确界的计算公式。     

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

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

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

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