泛系二元关系除法与粗集约简算法.pdf

计算机科学2004Vo1.31N0.10A 泛系二元关系除法与粗集约简算法 PansystemsDivisionofDualisticRelationshipandRoughSetsReduceAlgorithm 李永礼 ‘陈 娜2林 和 ‘李小伟 ‘蒙应杰 ‘ (兰州大学信息科学与工程学院 兰州730000) (石家庄铁道学院计算机系 石家庄050043)2 Abstract BasedonRoughSetstheory,weintroducethedefinitionofdivisionofdualisticrelationshipfromthe viewofPansystemsMathematics.Andwecombinethedivisionandreducealgorithminordertoattainmoreterse rules.Andwefindtherelationofgridamongthequotientsystemofknowledgebase. KeywordsDivisionofdualisticrelationship,Reducealgorithm,Grid 由于。EE(A)为等价关系，则A;是互斥的，即 1 引言 Am门A=拭min)，因此f。实际为一映射，即 泛系理论中的二元关系除法运算，体现了集合 f,:A-A/E=f,(A)。 之间、二元关系之间在交、并、复合、除法等运算过程 2.3 二元关系的除法 中所满足的某些特性。当我们将二元关系特化为等 若A=UA;(d8)=UA,(d@)，定义f,,=((A;, 价关系时，这些特性为我们提供了一种研究粗集理 A;)}A;自A;7}=$)。如果8C6,8EE(A)，则f、为一映 论约简算法的新途径。 射即fa=A邝-A/6。此时fafaEE(A/8),fa(A/ !本文从二元关系除法的角度，讨论在粗集理论 8)X(A/9)。定义二元关系的除法为:8/8=fa-L?f 约简算法得到的可行解中，如何再次选择较优的解， =U[UA;(A;nA;=A$)T。 从而获得更为简洁的规则。同时从偏序关系的角度 例如A=(1,2,3),A的两个划分Al=(0,2}, 讨论了知识库商系统之间的关系乡 (3)},A2二{(1}，{2}，{3}}。即A二{1,2)U(3} (d6),A=(1)U(2}U(3)(d8),8CO，则存在映射fa 2 二元笑系的除法 :{1}一 (1,2}，(2}一{1,2}，{3}- {3},6/8=f),·f分 2.飞 等价关系。偏序关系 =U U〔Ai(A;nA,并$)]2= {({1}，{2)}，{{3}}}。 设A为给定的集合，则对角线关系定义为:I=I (A)=((x,x)}xEA)。包含对角关系的二元关系 3 粗集理论 ·二元关系 称为具有自反性，此类二元关系记为R(A)=(f}I 在粗集理论的知识表达系统中，对于给定的论 Cf,fCA2或fEP(AZ)}。 域及其上的二元关系，我们可以得到多个知识库。显 若f=f-，则称此类二元关系具有对称性，记为 然这些知识库在表示同论域的某个子集时，所表现 S(A)=川f=f-}。具有反对称性的二元关系的集 出的“能力”是相异的。有的知识库可以确定地表示 合记作:S,(A)={f}f门f-CI).具有传递性的二 该子集，有的知识库无法确定地表示该子集。在表示 元关系集合记作:T(A)=(fIfCf}, 该子集过程中显现相同