基于泛系理论的粒度计算研究.docVIP

基于泛系理论的粒度计算研究 　　摘要:该文从泛系理论辨异同出发,结合经典集合论与粗集理论,从横向和纵向探讨了粒度,讨论了粒度与辨异同的联系,及其粒度的层次,引入了粒度空间的概念,从而从哲理、数理等方面对粒度有了初步的认识。 　　关键词:泛系辨异同;粗集;绝对粒度;相对粒度;粒度空间 　　中图分类号:TP311 文献标识码:A 文章编号:1009-3044(2009)36-10579-02 　　Study of Granular Computing Based on Pansystems Theory 　　WANG Xiao-yan1, MA Ji2 　　(1.Shanxi Vocational and Technical College of Communications, Taiyuan 030031, China; 2.Shanxi Electric Power Exploitation Design Institute, Taiyuan 030001, China) 　　Abstract: The paper makes transverse and longitudinal discussion Combined with classical Set theory and Rough Set theory from the Pansystems view of difference and identity, and discusses connection between granularity and difference and identity, and also level of granularity. In this paper we import concept of granular space, so we have got certain preliminary cognition from philosophy and mathematical philosophy. 　　Key words: pansystems view of difference and identity; rough set; absolute-granularity; relative-granularity; granular space 　　自粒度计算诞生以来,粒度计算越来越成为当今世界关注的又一热门话题,主要研究集中在信息粒度领域。粒度本来是一个物理学概念,意指“微粒大小的平均度量”,现在多被借用做“信息粗细的平均度量”。物理粒度涉及对物理对象的细化划分,而信息粒度则是对信息和知识细化的不同层次的度量[1]。张钹和张铃提出了信息粒度的概念[2],并且作出了非常精辟和透彻的论述。 　　1 泛系辨异同 　　1.1 泛系异同观与泛序观 　　具有自反性、对称性(反对称性)、传递性或它们的泛化推广以及它们的某些析取、合取、复合或限定的二元关系均可作为广义的泛系同一(泛序:广义的次序)的数学模型。泛系同一性的否定即可作为泛系差异(辨异)性的数学模型。泛系数学已对自反性、对称性、反对称性、传递性作了许多推广与研究,因而形成异同关系与泛序关系的方案有许多种,并且均有泛系六性化的理法。泛系异同观与泛序观为对哲学、数学以及种种百科研究极为重要而基本的同一性、差异性、次序等与层次性或可分性范畴建立多种公理系统提出了方案,是公理系统的公理。[3] 　　1.2 泛系辨异同 　　定义1.2.1 辨异同:设U为非空有限论域,R?哿U2,R是U上的等价关系,┐ R是R相对于U2的补集,R和┐ R是成对出现的。∈R,意味着相对于R,x和y是相同的;∈┐ R,意味着相对于R,x和y是相异的。见图1。 　　图1中x和y在由R决定的同一个等价类中,说明x和y相对于R是相同的;图中x和y不在由R决定的同一个等价类中,说明x和y相对于R是相异的。[4] 　　定义1.2.2:辨异同的比较:给定一个论域U上的两个等价关系R1和R2,如果x和y相对于R1相同,那么x和y就相对于R2相同,即R1?哿R2,我们就称R2的求同能力比R1的求同能力强。如果x和y相对于R1相异,那么x和y就相对于R2相异,即R2?哿R1,我们就称R2的辩异能力比R1的辩异能力强。[4] 　　2 基于泛系辨异同横向分析粒度 　　2.1 从逻辑看泛系辨异同 　　在泛系理论中,逻辑值本质上是对命题或谓词的广义赋权,是一种泛权。当泛权空间W为布尔二值代数(或其影部)B2={0,1}或{真,假}时,相应的逻辑即为二值逻辑;当W多于二元或为非传统B2时,即为多值逻辑;当W=[0,1]时,即为乏晰逻辑;当W为格L时,即为L乏晰逻辑。另外,对每一种泛权逻辑的语义解