关于满足I（x,n（x））=n（x）的D-蕴涵的刻画.pdfVIP

第 24卷第 1期 模 糊 系 统 与 数 学 Vo1．24，No．1 Z010年 2月 FuzzySystemsandMathematics Feb．，2010 文章编号 ：1001—7402(2O10)O1一OO71一O7 关于满足 I(x，())一 (z)的D一蕴涵的刻画 李伟才h。，覃 锋 ，张莉佳。，杭海霞 (1．石家庄学院数学与信息科学系，河北 石家庄 050035； 2．江西师范大学 数学与信息科学学院，江西 南 昌 330022； 3．河北师范大学 汇华学院，河北 石家庄 050091； 4．江西应用技术职业学 院 基础教学部 ，江西 赣州 341000) 摘 要 ：研 究 I(x，(z))一”()，其 中 为由连续三 角模 T、连续三 角余模S和强否定 生成的D一蕴涵， 即l(x，)=S(丁(()，(3，))，)，给 出了满足 I(x，())= )的充要条件。 关键词 ：模糊 集；三角模 ；三角余模 ；强否定；D一蕴涵 ；函数方程 中图分类号 ：0159 文献标识码 ：A 1 前言 模糊集理论是 由LotfiA．Zadeh于 1965年在名为 “模糊集合”的开创性的文章中提出的。此后模糊 集理论已经在众多领域 ，特别是在模糊控制中得到了成功的应用 ，然而模糊集理论本身却不够完善。尽 管这样 ，仍有很多学者致力于这一新领域的研究，得出了很多成果 l【q]。 人们对模糊集理论的研究，一方面就是致力于它们之间运算的研究。模糊集之间的运算取决于论域 X上的模糊集族 [O，1] 上模糊交、模糊并、模糊补的选取 。即取决于理论 ([0，1]，T，S，)中的丁，S，， 其中丁为三角模、S为三角余模、 为强否定算子。在等价的意义下，人们通常在标准理论 ([O，1]，T， ．S，)中讨论模糊集的运算[2]。虽然模糊集是经典集的推广 ，但是模糊集间的运算并不一定满足经典集 (布尔代数)中运算律。如AnA—A在布尔代数中成立，在标准理论 ([0，1]，T，S，)中与之对应的运 算律T(a，n)一a却不一定成立 。事实上 ，根本不存在满足所有布尔代数中运算律的标准理论 。因此 ，人 们常常要讨论某些布尔代数 中运算律在标准理论中是否仍然成立。Trillas等在文[4]对 ( ^ )一 V ( A )函数方程进行 了研究。Alsina等在文[2]研究了函数方程 T(S(a，a)，N(T(a，a)))一0， max(a，6)一S(min(口，6)，T(max(a，6)，N(min(a，6))))，S(S(a，b，6)，T(a，6，6))=S(a，6)成立的等价 条件。Shi等在文[5]研究基于布尔迭代式P— q三P一 (户一q)，讨论了函数方程 I(x，)一I(x，I(x， ))，其中 为R一蕴涵、S一蕴涵、Q 一蕴涵 ，对该方程进行了刻画。基于B—K指示函数满足S—D公理研究 的需要，Bu~tince在文[6]研究了函数方程I(x，n(x))一 (z)， ∈[0，1]，其中，为S一，QL一蕴涵。D一蕴 涵是一类重要的模糊蕴涵，文[7]、文[8]对它进行了研究。若把 解释为D一蕴涵，即 (，j，)一 ÷ 收稿 日期 ：2008—09一O4 基金项目：国家 自然科学基金资助项 目10726070)；江西省教育厅科学技术基金资助项 目(GJJO816O)；河北省教育厅科 研项 目(Z2009140) 作者简介；李伟才(1984一)，男，江西鄱阳人，石家庄学院助教，研究方 向：不确定性推理；覃锋 (1976一)，男，湖北鹤峰人，博士后，江 西师范大学副教授 ，研究方 向：不确定性推理；张莉佳(1984一)，女，河北鹿泉人 ．河北师范大学汇华学院助教 。 72 模 糊 系 统 与 数 学 (丁((z)，())，．y)，则等式 I(x，n(sc))一 ()简化 为 (丁((z)，z)，())一 (z)。事实上 ， (丁(，z(z)，z)，，z(z))===，z(z)是布尔代数中(_-7口^n)V__7口一-．7n在标准理论中的自然推广。