基于Schweizer-Sklar T-范数的模糊逻辑系统

• 作 者: 张小红 何华灿 徐扬
• 机 构: 宁波大学理学院,宁波,315211西北工业大学计算机学院,西安,710072;西北工业大学计算机学院,西安,710072;西南交通大学应用数学系,成都,610031
• 出 处: 中国科学 E辑 信息科学
• 发表日期: 2005年12期
• 关键词: T-范数 模糊逻辑系统UL*完备性 模糊逻辑系统MTL 近似推理

基于Schweizer-Sklar T-范数,提出了一个新的模糊逻辑形式系统UL*,证明了系统UL*的可靠性和完备性,并指出著名的SBL～系统是UL*的语义扩张,而IMTL△系统是UL*当两个“非”运算重合时的特例.最后分析了UL*系统与其他模糊逻辑形式系统的关系,并从Yager的“与度”、Whalen的“模糊规则交互作用的强度”概念出发,说明了系统UL*中参数p的含义及其在近似推理中的应用.