论文,基于直觉模糊三角模的直觉模糊粗糙集

  • 格式:pdf
  • 大小:555.49 KB
  • 文档页数:18

Finally。some properties
of intuitionistic fuzzy rough
are
Key words:Intuitionistic fuzzy
t rian91e
norm;Rough sets;ResiduaI imp“cation
l引

地反映现实世界,从而成为粗糙集理论研究的热点. Atanassov直觉模糊集合¨矗](IFS)是对Zadeh 模糊集理论最有影响的一种扩充和发展.1FS增加
收稿日期:2007一06一06;修回日期:2007一07—30. 基金项目:陕西省自然科学基金项目(2006F18).
了一个新的属性参数——非隶属函数,进而还可以
描述“非此非彼”的“模糊概念”,更加细腻地刻画了 客观世界的模糊性本质∞].文献[7]在直觉模糊等价 关系的基础上,将模糊粗糙集模型进一步扩展为直 觉模糊粗糙集模型,具有重要的理论研究和应用价 值,但是没有研究直觉模糊集上T模的剩余蕴算 子,不便于进行直觉模糊粗糙理论研究. 本文研究了直觉模糊T模的剩余蕴涵的性质, 并推导了通用计算表达式.在此基础上,推导了直觉 模糊粗糙集模型,证明了模糊T粗糙集、粗糙模糊 集和PawIak粗糙集都是直觉模糊粗糙集的特殊情
作者简介:徐小来(1980一)。男.湖南宁乡人.博士生。从事智能信息处理与信息融合的研究;雷英杰(1956一).男。 陕西渭南人。教授,博士生导师,从事智能信息处理与智能决策等研究.
第8期
徐小来等:基于直觉模糊三角模的直觉模糊粗糙集
901
形,并证明了直觉模糊粗糙集的性质.
模;若三角模T满足丁(口,o)=口时.称为S模.并且 T模与S模统称为三角模. 定义5[83 设T是f=[o,1]上的下半连续丁
(4) (5)
设A和B是给定论域X上的直觉模
缈(z,y)一(S(z1,y1),T(T2,y2))・
糊子集,则有:
1)A
其中z,y∈【,.利用对偶性质可得
垂(z,y)=(T(工l,y1),1一T(1一z2.1一y2)), (6)
n B={(z,F^(z)^产B(z),卧(z)V c,B(z)>I V工∈X}; U B一{<z,p^(z)V∥B(z),%(z)^ £,B(z)>I V z∈X);
AR(X)(z)=
2)z≤L・y兮@(z,z)≤L-@(z,y); 3)z≤L-y净@(y。z)≤L・@(z,z);
4)@(z,y^名)=@(z,y)^@(z,z);
5)@(垂(z,y),z)一@(工,@(y,2)).
证明
inf臼(R(y,z),X(y)),z∈U,
,eu
(15)
1)由定义8可得
@(1L・,T)=
(10) (11) (12) (13) (14)
直觉模糊粗糙集模型及性质
定义9
剩余蕴涵@满足下列性质:设z,y,z∈L。,则:
1)@(1L・,z)=z.@(z,1L・)一1L・l
设R为论域L,上的一直觉模糊垂相似
关系,称(【,,R)是直觉模糊粗糙近似空间.对于任 意的X∈U,X关于近似空问(U,R)的下近似 丛R(X)和上近似A一(X),是定义在U上的一对直觉 模糊集,其隶属和非隶属函数定义为
(1.Missile Institute,Air Force Engineering University,Sanyuan 7 1 3800,China I 2.Shanxi Motorcycle Supervisal and
Ver.fication Center。Xi’an 710032,China.Correspondent:XU
因此定理成立.口 定理1将直觉模糊T模的剩余蕴涵与T模的剩 余蕴涵联系起来,这对直觉模糊粗糙集的应用研究 十分重要.
定理2
sup{“∈L。I圣(垂(z,j,),“)≤L-2}=…一 sup{“∈L‘l垂(y,“)≤≤L・@(.r,2)}=
@(y,@(z,:)),
所以式(14)成立.口

设中是L。上的下半连续T模,则中的
日=
@(z,y)^@(z,z)=@(工,y^z),
式(13)成立.同理可证y^z=(zI,yz)时,式(13) 成立. 5)由垂满足结合律可得
@(垂(z,y),z)=
(sup{zl∈,I((丁(zI,z1)≤j,1)^(丁(1一工2,z1)≤ 1~y2))}.inf(z2∈,I丁(1一z2,】一动)≤1一y2})= (口(工l,y1)^口(1一工2,1一y2)・1一口(1一z2,1一y2)).
定义2[53 质:
称护丁为丁的剩余蕴涵.下文将下标省去. J=[o,1]上的对偶T模和S模具有如下的性
S(口,6)=1一T(1一口,1—6),口,6∈,.(3)
定义6
L’)为
T和s是f=[o,1]上的对偶丁模和
S模。定义L。上的二元算子西和缈(L’×L’一
垂(z,y)=(T(zl,y1),S(z2,y2)),
3)结合律
T(T(n,6),f)=T(n,T(6。f)),口,6,f∈J;
4)单凋律 口≤f,6≤d净T(口,6)≤T(c,d).口,6。c,d∈I. 此外,若三角模T满足T(口,1)=口时,称为丁
902





l—z2),l一口(1一z2,1一z2)),
第23卷
从上式可以看出,在保证2。+≈≤1的前提下,对z 求上界。等效于对z-求上界和对2:求下界.为保证 z。+2:≤1,在z-增加一项加以约束,即
sets
sets
is deduced,and the proposition that fuzzy丁rough sets,rough
sets
fuzzy
and Pawlak rough
sets sets
special proved.
cases
of intuitionistic fuzzy rough
is proved.

L‘一{(zl,z2)I zl+z2≤1,(z1.z2)∈[o,1]2, 且有(工l,z2)≤L‘-(yl,y2)茸zl≤yl^z2≥y2, V(z。,z2),(y。,yz)∈L。,则称(L。,≤L・)为完备 格. 显然,对于论域【,上的直觉模糊集合A可等价
R(z,y))≤L・R(z,y))的. 定义8 设圣是L’上的下半连续T模,定义二
y,z,y∈L。},
(8)
3直觉模糊三角模源自定义4则称吼为中的剩余蕴涵.为简便起见,下标省去.
定理l 设垂是L’上的丁模,口为丁模的剩余 蕴涵,则①的剩余蕴涵为
@(z,y)=(口(工l,y1)^口(1一工2,1一y2), 1一日(1一z2,1一y2)),工,y∈L。.
(9)
记J=[o,1],映射T:J×I一¨_尔为
第23卷第8期
V01.23 No.8

口门d
2008年8月
Au g.2008
文章编号:1001一0920(2008)08一0900—05
基于直觉模糊三角模的直觉模糊粗糙集
徐小来1,雷英杰1,谭巧英2
(1.空军工程大学导弹学院,陕西三原713800;陕西摩托车质量监督检验中心。西安710032)
摘 要:提出一种基于直觉模糊三角模的直觉模糊粗糙集.首先,定义了直觉模糊集上的T模及其剩余蕴涵,研究了
T(口.f)≤≤6},日,6∈I。
(2)
2直觉模糊集
定义l[t3
设X是一个给定论域,则X上的一
个直觉模糊集为 A={<z,口^(T),£,A(z)>I z∈X},
(1)
模,定义J上的二元算子口r:J×j.一J如下:
占r(口,6)一sup{f∈J
其中脚(z):X一[o,1]和uA(z):X一[o,1]分别代 表A的隶属函数和非隶属函数。且对于A上的所有 z∈X,o≤朋(z)+%(z)≤1成立.直觉模糊集A 可简记为A=<z。口^(z),%(工)>.显然,每一个一般 模糊子集对应于下列直觉模糊集A={(z,朋(z),l 一卢A(z)>I z∈X}. 对于X中的每一个直觉模糊子集,称砜(z)= 1一M(z)一£,A(z)为A中z的直觉指数,它是z对 A的犹豫程度的一种测度.
AR(X)(z)= sup垂(R(y,z),X(,)),z∈【,, (16)
sup{z∈L。l垂(1L・,2)≤L・z}= sup{z∈L’l z≤L・z}=z. 后半部分可用相似的方法证明.所以式(10)成立. 2)令“一@(z,T),则有 西(g。“)≤L-z≤L-y. 由定义可得“≤t,@(z,y),所以式(11)成立. 3)令“一曰(y,。),则有 多(y,“)≤z; 由单调律得 圣(z,“)≤垂(y-口)≤z; 则有
粗糙集理论是一种处理不精确、不确定与不完 全数据的新的数学理论.由于它在人工智能、知识发 现、数据挖掘、决策支持与分析等方面的广泛应用, 近年来得到各国学者的广泛研究.Pawlak粗糙集模 型是由经典集合基于论域U上的等价关系而得出 的近似[1],对论域U进行硬划分,可把每个概念严 格地划分到某类知识中,具有“非此即彼”的“分明概 念”,因此这种划分的类别界限是分明的.Dubois模 糊粗糙集模型由模糊集合基于论域L,上的模糊T 相似关系而得出的近似[2矗],对论域U进行模糊划 分,得到了概念属于各类知识的不确定性程度,表达 了概念类属的“亦此亦彼”的“模糊概念”,即建立起 了概念对于各类知识的不确定性的描述,能更客观
2)A
缈(工,y)=(1一T(1一Tl,1一y1),T(z2,弛)).
(7)
3)A—A‘={<z,%(z),卢^(z)>I z∈X}; 4)A∈B甘V工∈X,[弘A(z)≤ ∥B(z)^£,^(z)≥£,B(z)].
定义3[9]
容易验证,丁(zl,yI)+1一丁(1一丁:.1一y2)≤ 1,垂和皿都满足两极律、交换律、结合律和单调律, 并且有①(1L・,y)=y,9(OJ.-,y)=y.因此①和缈 分别称为L。(直觉模糊集合)上的T模和S模,统称 为L。上的三角模. 定义7 设垂是L’上的下半连续丁模,有限论 域【,上的二元直觉模糊关系尺称为直觉模糊垂相似 关系,若R是自反对称和圣传递(即①(R(z,z),