模糊关系的若干传递性质之间的关系.pdfVIP

第 21 卷第 4 期 2007 年 8 月 模糊系统与数学 Fuzzy Syste吁ns afTd Mathernatics 文革E编每. 1001~7402 (2007)04-0095-05 模糊关系的若干传递性质之间的关系. 彭育成1 ，徐小湛2 ，吴守宪l (1.西南民族大学计算机科学与技术学院，四川成都 610041. 2. 阴川大学数学学院，四川成都 610064) Vol. 21 , No.4 Aug. .2007 摘 要 g讨论模糊是革的:lI-千恃递性质或闭的提单.指出:t融[IJ 中措干布是传退位膛的 ::r; i且确的命题， 提出 T优选些命题成血的叫个比较叩般的血命串仲. 提键诩，1 模， 1 帝模，0. Morgan 五元组;传递性，直传递性 e丰传遇性，F町rers 性 s模糊*革 中阁分类号，0159 :It献标识码，A 1 ~I 官 在模糊偏好模型[IJ中涉及到由 t 模T 和 t 余模 sm如j丽的一些与传递做有关的做质，如 T传递 性、s ffi.传递性、T-8 Ferr盯S 役和 T-8 ~萨传递蚀。在模糊偏好模型中，这些性质被用来定义各种序 结构，如线攸序、弱序、半序和18:问 11. 本文讨论以上性质之间的相互缀涵关系.我们用反例指出文 献[1]中的几个结论不成立，然后引人一个世在这几个结论成立的充分条件(条件1).由于一些常用 和重要的 t 模和 t 余模都满足条件 1，因此本文的结果具有较为广泛的实用性。 2 基本定义 2.1 t 楼与 t 余模 在本文中，我们分别用 T 和 S表示 t 模和 t 余模 ，N 表示非 ，N， 表示标准非(N， (x)=1…x(V X E[O ， I]))。有关 t 模、t 余槟和非的j;è义和性质，请参fj!J文献[1] ， [2J ， [3J. 设 T 是一个 t 模，8 是一个 t 余馍 ， N~是一个严格斗在 (NP N ， [O.IJ→[O.IJ是一个严格单调减少 的逐续函数且满足边界条件 ， N(O) 酬 1.N(l )=O.) ，且满足条件 E N(T(x ，y)) 皿 8(N(x) ， N(y门， V x ,y E [O , IJ 则称〈γ.8 ， N)是一个De Morgan =:元缀. 几个常用的De Morgan 三元组包括: (l )Zadeh 兰兰元锁 (min ， max ， N，); (2) =:元继 (γP儿， lv，) (其中 Tp(x ，y) 皿 xy(乘积 ) ， 8p (x ， y) 皿2十y…xy(概率犯))以3)Luk幽?ew?cz 三元组 (W ， W ， N，) (其中 W(x ， y)嚣 max(.r十y-l.们 ， W(x ， y) 骂骂 mìn(x十y ， l)) 。 设j? [O ， l]呻 [O ， IJ是单位区闵上的自闵掏(邸伊忿严格局主i剧增加的连续函数且满足条件叭。) ·收稿日期， 2006-04-08，倍订日期， 2006-06-19 矗盘项目 B 闺星臣民盖骨院校重点科创项目 (234140) ，西南民族大学重点科研项目 (05N2001) 11膏简介 e罪宵威(1945-).j哥.问川成都人，西南民B最大学 11气挥自L科学『位准学院教授.研究:!?向 t模糊勤学，拓外学 z揄小梅 (1956斗，舅，问川泸州人.四川大学戴学学院辑授，研究方向 z模糊数学，提守宪 (1954少，宜，四川成都人.四南民跟大学计算机科学 与就准学院副敬役，制究方向 E模糊数学. 96 模糊系统与散学 =0，以1) =1.). 令 W，(x ， y)时伊;-1(W(伊(川 ，tp(y))) =9-1 (max( tp( x) +tp(y) …1,0)) W，(x.y)出扩(W(伊(x) ?以y)))盟扩1 (min(tp(x)+伊(y). l)) N ,(x) =9-1 (1… tp(x) ) 2007 年 则 (W..W ， .N.)是一个自 Lukasiewicz 三元组(W ， W ，N，)诱导的De Morgan 三元绍，称为为强De Morgan 三元级. 2.2 模糊关系的性质 本文中 ，A 我添…个集合 ，R 表示定义夜 A 上的一个模糊关系副 V a ,bE A. R(a ,b) (O;;R(a.h) ;;1)表示和 b 有关系 R 的稳度。 定义 2.1 设 R Jll: A 上的模糊关系 ，T 和 S 分别是 t 模和 t 余模.定义以下性质(1..4] : (51) R 朵白 f史的，如果只ω.a)=1 ， (Tl) R 是非自反的，如泉 R(a ，a)=O; (S2) R 是 S 强完全的，如果以R归 ，b) ， R怡 .a))础 1 ， (TZ) R ~是