零级泛与运算模型的单调性.pdfVIP

第 22卷第 5期 模 糊 系 统 与 数 学 V01．22，No．5 2008年 1O月 FuzzySystemsandMathematics 0ct．．2008 文章编号 ：1001—7402(2008)05—0027—05 零级泛与运算模型的单调性 罗敏 霞 (中国计量学院 理学院，浙江 杭州 310018) 摘 要 ：泛逻辑的零级泛与运算模型是一个三角范数谱 系，本文讨论泛逻辑 的零级泛与运算模型的单 调性，证明了T(x，Y，h)(，l∈[O，1])关于h单调递增。进一步讨论Hamacher三角范数谱 系的单调性， 证明 了Hamacher三角 范数谱 系 H ^)(z，)关于 单调递减，且 7 (，)≤ 丁 (，)≤ h，(^)(，y)≤ 2P(，)。 关键词 ：泛与运算模型；三角范数 ；Lukasiewicz三角范数 ；乘积三角范数 中图分类号：0141 文献标识码 ：A 1 引言 近年来，三角范数理论在模糊逻辑的研究中起到越来越重要的作用，Hajek提出基于连续三角范数 的基本逻辑系统 BL系统Ⅲ，在此基础上又提出三类基本的逻辑 ：Lukasiewicz逻辑、Godel逻辑和乘积 逻辑，它们是分别基于 Lukasiewicz三角范数、Godel三角范数与 Product三角范数的逻辑系统叫。当前 影响人工智能深入发展的理论难题是机器学习、专家经验知识和常识推理 ，他们都存在不确定性和演 化，需要能包容各种不确定性和演化的柔性逻辑学作为理论基础。文[2]作者为了探索逻辑的一般规 律 ，提出建立能包容各种逻辑形态和推理模式 的泛逻辑学理论。泛逻辑学给出了零级二元泛命题联结 词的运算模型如下 ： T(x，Y，^)= ite{．7C一0或 Y一 0；(max(O，z +Y 一 1)) ) 5(z，Y，)一 {1I 一 1或 Y一 1；1一 (max(O，(1一z) + (1一 ) 一 1))“) I(x，Y，^)一 ite{1I≤ Y；0Im≤ 0且 Y一 0且 z≠0；(1一z +Y )“} 其中， =(3—4h)／(4h(1--h))，m∈R，hE[O，1]。S=ite{flIa；7}是条件表达式，表示 “如果a为真， 贝ⅡS— ；否贝Ⅱ5=)，”。 定义 1．1[。 设71是[o，1]上的二元运算， ：[0，1]。一[o，1]，任意z，Y，∈[o，1]，如果满足下列 条件 ： (丁1) T(x，)一丁(．y，z) (丁2) T(x，T(y，))一丁(丁(z，．))『，) (丁3) 当 ≤ 时，T(x，)≤T(x，) (7’4) T(z，1)=z ． 则称丁是一个三角范数。 ·收稿 日期 ：2007—05—16；修订 日期 ：2007—11-11 基金项 目：中国计量学院科研启动基金资助项 目 作者简介 ：罗敏霞 (1964一)，女，中国计量学院教授 ，研究方 向：人工智能基础理论与应用，泛逻辑学。 28 模 糊 系 统 与 数 学 2008焦 设 是[0，1]上的二元运算， ：[O，1]。一[O，1]，任意z，，zEEo，1J，如果满足(T1)，(2)，(丁3)， 且满足 (54) S(z，O)一z 则称S是一个三角余范。 对于泛逻辑零级泛与运算模型和泛或运算模型，当h取几个特殊数值时有以下情形[2]： 当 h一0时，T(x，y，O)一7’D(z，)=r／e{min(，)jmax(z，)一1；0)， (z，y，0)一SD(z，)一／re {max(x，)Imin(x，)一O；1) 当h一0．5时，T(x，Y，0．5)一丁L(，)一max(z+ 一1，O)， (，y，0．5)=：=SL(z，)=min(+ ，1) 当 一0．75时，T(x