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算法

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