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

三Ⅰ算法是针对模糊推理的FMP及FMT模型的一种推理方法,在此基础上,提出了基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算θp的α-反向三Ⅰ支持算法理论,得到了α-反向三Ⅰ支持算法的计算公式,这将有助于提高模糊推理结果的可靠性.     

基于蕴涵算子族L-λ-G的反向FMT模型三Ⅰ支持算法

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

基于蕴涵算子族L-λ-G的FMP模型反向三Ⅰ支持算法

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

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

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

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

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

基于蕴涵算子族L-λ-G的反向FMT模型三I支持算法

提出了基于蕴涵算子族L—λ—G的模糊推理的思想，这将有助于提高推理结果的可靠性．针对蕴涵算子族L-λ-G给出了模糊推理的FMT模型的反向三I支持算法、a-反向三I支持算法．     

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

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

推广形式下的三I算法

对模糊推理的全蕴涵三Ⅰ算法作了进一步推广，给出了蕴涵算子为剩余型蕴涵的三Ⅰ算法、α－三Ⅰ算法的表达式，简化了R0型三ⅠMT算法、R0型α－三ⅠMT算法的表达式。讨论了RLu型三ⅠMT算法以及RLu型α－三ⅠMT算法，并且给出了这些算法为P还原的充分条件。     

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

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

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

提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族L-λ-R0模糊推理的三Ⅰ支持算法,这将有助于提高推理结果的可靠性.     

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

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

IL型三I算法及其还原性

基于模糊推理的全蕴涵三I算法，给出了当蕴涵算子→为蕴涵格中的蕴涵算子（称为IL型蕴涵）时的三I算法和α-三I算法的表达式，并进一步讨论了IL型三IMT算法．给出了IL型三I算法、三IMT算法具有P-还原性的充分条件．证明了IL型三I算法是P-还原的，如果存在a∈X，使A（a）=1；IL型三IMT算法是P-还原的，如果存在b∈Y，使B（b）=0．     

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

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

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

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

二型模糊推理的三Ⅰ算法及其应用

给出了二型模糊t模和二型模糊蕴涵的概念,并将三Ⅰ算法推广到了二型模糊推理,讨论了二型模糊推理的取式问题和拒式问题,给出了这两类问题的三Ⅰ解.最后将二型模糊推理的三Ⅰ算法应用到了决策建模问题中,通过实例表明了算法的有效性.     

三Ⅰ算法的统一形式

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

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

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

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

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

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

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

基于正则蕴涵算子的反向三Ⅰ算法

讨论了基于常见正则蕴涵算子的反向三Ⅰ算法,给出了计算公式.