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.

基于剩余型蕴涵算子的三Ⅰ还原算法

三Ⅰ算法是针对模糊推理的FMP与FMT模型的一种新的推理方法.本文借助剩余格上的剩余型蕴涵算子的性质,讨论FMP与FMT模型三Ⅰ算法及其P-还原性.

FMP问题的构造性方法

研究了全蕴涵三I算法及几种常用蕴涵的三I MP解的还原性.利用新构造的函数Ψx(t)=(A(x)→B(y))→(A*(x)→t),将三I MP规则给予定量描述,得到了FMP(Fuzzy ModusPonens)问题的构造性方法.给出Zadeh型三I MP解,修正了已有结果.将这一构造性方法推广,得到α-三I MP问题的构造性方法,并给出R0型、Lukasiewicz型和Zadeh型三I MP解具有还原性的充要条件.