粗糙近似算子的公理化刻画:综述

从近似空间导出的一对下近似算子与上近似算子是粗糙集理论研究与应用发展的核心基础,近似算子的公理化刻画是粗糙集的理论研究的主要方向.文中回顾基于二元关系的各种经典粗糙近似算子、粗糙模糊近似算子和模糊粗糙近似算子的构造性定义,总结与分析这些近似算子的公理化刻画研究的进展.最后,展望粗糙近似算子的公理化刻画的进一步研究和与其它数学结构之间关系的研究.     

基于对象的广义粗糙近似算子的拓扑性质

粗糙集理论是一种处理不确定性问题的数学工具。近似算子是粗糙集理论中的核心概念，基于等价关系的Pawlak近似算子可以推广为基于一般二元关系的广义粗糙近似算子。近似算子的拓扑结构是粗糙集理论的重点研究方向。文中主要研究基于对象的广义粗糙近似算子诱导拓扑的性质，证明了广义近似空间中所有可定义集形成拓扑的充分条件也是其必要条件，研究了该拓扑的正则、正规性等拓扑性质；给出了串行二元关系与其传递闭包可以生成相同拓扑的等价条件；讨论了该拓扑与任意二元关系下基于对象的广义粗糙近似算子所诱导拓扑之间的相互关系。     

区间值Fuzzy集分解定理上的近似算子研究

将广义粗糙模糊下、上近似算子拓展到区间上,并利用区间值模糊集分解定理给出一组新的广义区间值粗糙模糊下、上近似算子,证明二者在由任意二元经典关系构成的广义近似空间中是等价的,最后讨论了在一般二元关系下,两组近似算子的性质。     

三种近似算子之间的关系

在广义近似空间中,可以从对象、知识粒以及子系统的角度构造3种不同类型的广义粗糙近似算子。文中研究了这些近似算子的基本性质与相互关系,给出了3类近似算子相同的充要条件。另外,不同的近似空间可能生成相同的基于知识粒及基于子系统的近似算子,文中给出了不同二元关系生成相同近似算子的一些充要条件。     

广义粗糙近似算子的拓扑性质

粗糙集理论是一种处理不确定性问题的数学工具.粗糙近似算子是粗糙集理论中的核心概念,基于等价关系的Paw-lak粗糙近似算子可以推广为基于一般二元关系的广义粗糙近似算子.近似算子的拓扑结构是粗糙集理论的重点研究方向.文中主要研究基于一般二元关系的广义粗糙近似算子诱导拓扑的性质,给出了基于粒和基于子系统的广义粗糙近似算子诱...     

粗糙模糊集的构造与公理化方法

用构造性方法和公理化研究了粗糙模糊集．由一个一般的二元经典关系出发构造性地定义了一对对偶的粗糙模糊近似算子,讨论了粗糙模糊近似算子的性质,并且由各种类型的二元关系通过构造得到了各种类型的粗糙模糊集代数．在公理化方法中,用公理形式定义了粗糙模糊近似算子,各种类型的粗糙模糊集代数可以被各种不同的公理集所刻画．阐明了近似算子的公理集可以保证找到相应的二元经典关系,使得由关系通过构造性方法定义的粗糙模糊近似算子恰好就是用公理化定义的近似算子。     

双论域上的广义直觉模糊概率粗糙集模型及其应用

已有的双论域直觉模糊概率粗糙集模型通过设置两个阈值${\lambda _1}$、${\lambda _2} $,讨论了经典集合在直觉模糊二元关系下的概率粗糙下上近似。该模型不能计算直觉模糊集合在直觉模糊二元关系下的概率粗糙下上近似,这在一定程度上限制了该模型的应用。首先给出了直觉模糊条件概率的定义。在直觉模糊概率空间下构造了双论域广义直觉模糊概率粗糙集模型,讨论了模型的主要性质。最后,将模型应用到临床诊断系统中。与其他模型相比,所提出的广义直觉模糊概率粗糙集模型进一步丰富了概率粗糙集理论,更适合于实际应用。     

无限论域中的粗糙近似空间与信任结构

在粗糙集理论中存在一对近似算子：下近似算子和上近似算子.而在Dempser-Shafer证据理论中有一对对偶的不确定性测度：信任函数与似然函数.集合的下近似和上近似可以看成是对该集合所表示信息的定性描述,而同一集合的信任测度和似然测度可以看成是对该集合的不确定性的定量刻画.针对各种复杂系统中不确定性知识的表示问题,介绍了无限论域中经典和模糊环境下信任结构及其导出的信任函数与似然函数的概念,建立了Dempser-Shafer证据理论中信任函数与似然函数和粗糙集理论中下近似与上近似之间的关系.阐述了由近似空间导出的下近似和上近似的概率生成一对对偶的信任函数和似然函数;反之,对于任何一个信任结构及其生成的信任函数与似然函数,必可以找到一个概率近似空间,使得由近似空间导出的下近似和上近似的概率分别恰好就是所给的信任函数和似然函数.最后,指出了主要理论成果在智能信息系统的知识表示和知识获取方面的潜在应用.     

合成信息系统与子信息系统

本文给出了对象合成信息系统、属性合成信息系统、对象子信息系统及属性子信息系统的定义,分别讨论了它们的上下近似算子与原信息系统的上下近似算子之间的关系．并给出了它们的一些实际应用。     

变精度粗糙集模型及其应用研究

介绍了广义粗糙集模型和Ziarko变精度粗糙集模型,找出了它们的不足;借助引入的误差参数β(0≤β<0.5),给出了基于后继邻域的一般二元关系下变精度粗糙集模型的β上近似、β下近似、3边界和β负域的定义以及β近似质量和β粗糙性测度定义;详细讨论了β上、下近似算子的性质、该模型与其他粗糙集模型的关系以及一般二元关系下两种变精度粗糙集模型的关系;最后,举例说明了该模型在信息处理中的应用。     

An axiomatic characterization of a fuzzy generalization of rough sets

In rough set theory, the lower and upper approximation operators defined by a fixed binary relation satisfy many interesting properties. Several authors have proposed various fuzzy generalizations of rough approximations. In this paper, we introduce the definitions for generalized fuzzy lower and upper approximation operators determined by a residual implication. Then we find the assumptions which permit a given fuzzy set-theoretic operator to represent a upper (or lower) approximation derived from a special fuzzy relation. Different classes of fuzzy rough set algebras are obtained from different types of fuzzy relations. And different sets of axioms of fuzzy set-theoretic operator guarantee the existence of different types of fuzzy relations which produce the same operator. Finally, we study the composition of two approximation spaces. It is proved that the approximation operators in the composition space are just the composition of the approximation operators in the two fuzzy approximation spaces.     

Characterization of rough set approximations in Atanassov intuitionistic fuzzy set theory

The primitive notions in rough set theory are lower and upper approximation operators defined by a fixed binary relation and satisfying many interesting properties. Many types of generalized rough set models have been proposed in the literature. This paper discusses the rough approximations of Atanassov intuitionistic fuzzy sets in crisp and fuzzy approximation spaces in which both constructive and axiomatic approaches are used. In the constructive approach, concepts of rough intuitionistic fuzzy sets and intuitionistic fuzzy rough sets are defined, properties of rough intuitionistic fuzzy approximation operators and intuitionistic fuzzy rough approximation operators are examined. Different classes of rough intuitionistic fuzzy set algebras and intuitionistic fuzzy rough set algebras are obtained from different types of fuzzy relations. In the axiomatic approach, an operator-oriented characterization of rough sets is proposed, that is, rough intuitionistic fuzzy approximation operators and intuitionistic fuzzy rough approximation operators are defined by axioms. Different axiom sets of upper and lower intuitionistic fuzzy set-theoretic operators guarantee the existence of different types of crisp/fuzzy relations which produce the same operators.     

The minimization of axiom sets characterizing generalized approximation operators

In the axiomatic approach of rough set theory, rough approximation operators are characterized by a set of axioms that guarantees the existence of certain types of binary relations reproducing the operators. Thus axiomatic characterization of rough approximation operators is an important aspect in the study of rough set theory. In this paper, the independence of axioms of generalized crisp approximation operators is investigated, and their minimal sets of axioms are presented.     

On generalized intuitionistic fuzzy rough approximation operators

In rough set theory, the lower and upper approximation operators defined by binary relations satisfy many interesting properties. Various generalizations of Pawlak’s rough approximations have been made in the literature over the years. This paper proposes a general framework for the study of relation-based intuitionistic fuzzy rough approximation operators within which both constructive and axiomatic approaches are used. In the constructive approach, a pair of lower and upper intuitionistic fuzzy rough approximation operators induced from an arbitrary intuitionistic fuzzy relation are defined. Basic properties of the intuitionistic fuzzy rough approximation operators are then examined. By introducing cut sets of intuitionistic fuzzy sets, classical representations of intuitionistic fuzzy rough approximation operators are presented. The connections between special intuitionistic fuzzy relations and intuitionistic fuzzy rough approximation operators are further established. Finally, an operator-oriented characterization of intuitionistic fuzzy rough sets is proposed, that is, intuitionistic fuzzy rough approximation operators are defined by axioms. Different axiom sets of lower and upper intuitionistic fuzzy set-theoretic operators guarantee the existence of different types of intuitionistic fuzzy relations which produce the same operators.     

广义区间值模糊粗糙近似算子的构造研究

构造了一组新的广义模糊粗糙近似算子,将其拓展到区间上.在由任意的二元区间值模糊关系构成的广义近似空间中,证明了该组近似算子与区间化的广义Dubois模糊粗糙近似算子是等价的,最后在一般二元区间值模糊关系下对该组近似算子的性质进行了讨论.     

多粒化的粗糙集代数

众所周知,一个粗糙集代数是由一个集合代数加上一对近似算子构成的。一方面 ,在公理化的方法下对经典的多粒化粗糙集代数系统进行了讨论,可知经典的粗糙集代数没有很好的性质;另一方面,给出了单调等价关系的定义,并给出了基于单调等价关系的多粒化近似算子的概念,在此基础上讨论了粗糙集代数的性质,并得到了诸多结果。     

Topological properties of generalized approximation spaces

Rough set theory is a powerful mathematical tool for dealing with inexact, uncertain or vague information. The core concepts of rough set theory are information systems and approximation operators of approximation spaces. Approximation operators draw close links between rough set theory and topology. This paper concerns generalized approximation spaces via topological methods and studies topological properties of rough sets. Classical separation axioms, compactness and connectedness for topological spaces are extended to generalized approximation spaces. Relationships among separation axioms for generalized approximation spaces and relationships between topological spaces and their induced generalized approximation spaces are investigated. An example is given to illustrate a new approach to recover missing values for incomplete information systems by regularity of generalized approximation spaces.