基于蕴涵算子族L-λ-Π的反向三Ⅰ支持算法  

Fuzzy reasoning reverse triple Ⅰ sustaining method based on the implication operator family L-λ-Π

作　　者：袁一丹 惠小静[1] 王前 YUAN Yidan;HUI Xiaojing;WANG Qian(College of Mathematics and Computer Science,Yan’an University,Yan’an 716000,China)

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000

出　　处：《延安大学学报(自然科学版)》2025年第1期80-88,共9页Journal of Yan'an University:Natural Science Edition

基　　金：国家自然科学基金项目(12261090,12301456)。

摘　　要：针对带参数蕴涵算子族L-λ-Π,运用反证法、分类讨论法给出了反向三Ⅰ FMP支持算法的上确界计算公式与反向三Ⅰ FMT支持算法的下确界计算公式,并给予了证明,进一步得到其一般化的α-反向三Ⅰ FMP(FMT)支持算法的上(下)确界的计算公式。研究结果对反向三I支持算法的理论进行了补充与推广。For the parameterized implication operator family L-λ-Π,the supremum calculation formulas of the reverse triple Ⅰ FMP sustaining method and the infimum calculation formulas of the reverse tripleⅠ FMT sustaining method are given by using the method of proof by contradiction and classification discussion,and the proofs are provided.Furthermore,the supremum(infimum)calculation formulas of the generalizedα-reverse tripleⅠ FMP(FMT)sustaining method are obtained.The research results supplement and generalize the theory of the reverse tripleⅠ sustaining method.

关 键 词：蕴涵算子族L-λ-Π 模糊推理 反向三Ⅰ支持算法 α-反向三Ⅰ支持算法 

分 类 号：O141[理学—数学]