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

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

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

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

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

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

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

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

基于含参量蕴涵算子H_（p,λ）的多种三I算法

基于新的带参数的蕴涵算子H（p,λ）给出粘了FMP问题的三I支持算法公式、α-三I支持算法公式以及α-三I约束算法公式。并详细证明了这些算法的正确性。     

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

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

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

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

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

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

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

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

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约束算法相应的计算公式.     

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

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

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

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

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

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

Reverse three I Algorithm Based on Regular Implication

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

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

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

基于完备余剩余格的反向三I算法

提出了一般余剩余格中的反向三I算法规则,给出了基于完备余剩余格的反向三Iα-MIFMP算法和反向三Iα-MIFMT算法,证明了CRL-型反向三IMIFMP算法和CRL-型反向三IMIFMT算法是P-还原算法,并基于Lukasiewicz余伴随对和R0余伴随对中的Θ算子给出了FMP问题和FMT问题关于反向三IMIFMP规则和反向三IMIFMT规则的解法.     

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

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

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

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

基于一类蕴涵算子的三I算法的统一形式

首先提出了伪伴随对的概念,基于此给出了基于一类蕴涵算子或带参数的蕴涵算子的FMP三I算法的统一形式;然后给出了基于两族蕴涵算子的三I算法的具体表达式;最后进一步给出了基于一类蕴涵算子或带参数的蕴涵算子α-FMP三I算法的统一形式.