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

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

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.     

Constructive and axiomatic approaches to hesitant fuzzy rough set

Hesitant fuzzy set is a generalization of the classical fuzzy set by returning a family of the membership degrees for each object in the universe. Since how to use the rough set model to solve fuzzy problems plays a crucial role in the development of the rough set theory, the fusion of hesitant fuzzy set and rough set is then firstly explored in this paper. Both constructive and axiomatic approaches are considered for this study. In constructive approach, the model of the hesitant fuzzy rough set is presented to approximate a hesitant fuzzy target through a hesitant fuzzy relation. In axiomatic approach, an operators-oriented characterization of the hesitant fuzzy rough set is presented, that is, hesitant fuzzy rough approximation operators are defined by axioms and then, different axiom sets of lower and upper hesitant fuzzy set-theoretic operators guarantee the existence of different types of hesitant fuzzy relations producing the same operators.     

Generalized fuzzy rough sets determined by a triangular norm

The theory of rough sets has become well established as an approach for uncertainty management in a wide variety of applications. Various fuzzy generalizations of rough approximations have been made over the years. This paper presents a general framework for the study of T-fuzzy rough approximation operators in which both the constructive and axiomatic approaches are used. By using a pair of dual triangular norms in the constructive approach, some definitions of the upper and lower approximation operators of fuzzy sets are proposed and analyzed by means of arbitrary fuzzy relations. The connections between special fuzzy relations and the T-upper and T-lower approximation operators of fuzzy sets are also examined. In the axiomatic approach, an operator-oriented characterization of rough sets is proposed, that is, T-fuzzy approximation operators are defined by axioms. Different axiom sets of T-upper and T-lower fuzzy set-theoretic operators guarantee the existence of different types of fuzzy relations producing the same operators. The independence of axioms characterizing the T-fuzzy rough approximation operators is examined. Then the minimal sets of axioms for the characterization of the T-fuzzy approximation operators are presented. Based on information theory, the entropy of the generalized fuzzy approximation space, which is similar to Shannon’s entropy, is formulated. To measure uncertainty in T-generalized fuzzy rough sets, a notion of fuzziness is introduced. Some basic properties of this measure are examined. For a special triangular norm T = min, it is proved that the measure of fuzziness of the generalized fuzzy rough set is equal to zero if and only if the set is crisp and definable.     

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.     

模糊近似空间上的粗糙模糊集的公理系统

粗糙集理论是近年来发展起来的一种有效的处理不精确、不确定、含糊信息的理论，在机器学习及数据挖掘等领域获得了成功的应用．粗糙集的公理系统是粗糙集理论与应用的基础．粗糙模糊集是粗糙集理论的自然的有意义的推广．作者研究了模糊近似空间上的粗糙模糊集的公理系统，用三条简洁的相互独立的公理完全刻划了模糊近似空间上的粗糙模糊集，同时还把作者给出的公理系统与粗糙集的公理系统做了对比，指出了两者的区别．     

Minimization of axiom sets on fuzzy approximation operators

Axiomatic characterization of approximation operators is an important aspect in the study of rough set theory. In this paper, we examine the independence of axioms and present the minimal axiom sets characterizing fuzzy rough approximation operators and rough fuzzy approximation operators.     

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

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

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.     

基于强对称关系的广义粗糙集模型

粗糙集的公理化是该理论研究的重要课题之一。文中在分析对称关系下粗糙近似算子的特征公理基础上,提出强对称二元关系。对比等价关系的性质,讨论该二元关系的一些重要特征,给出对称关系成为强对称关系的充要条件,并研究其下广义粗糙集的性质,得到强对称关系下粗糙近似算子的公理化特征。利用相应的特征公理与精确集之间的联系,探讨一般二元关系下论域中精确集的一些重要特征,对拓广粗糙集理论及其应用提供一定帮助。     

覆盖粗糙集的公理化

粗糙集的公理系统是粗糙集理论与应用的基础.覆盖粗糙集是粗糙集理论的自然的有意义的推广.基于Xu等提出的新的覆盖粗糙集模型,研究了新模型的公理系统,用4条简洁且相互独立的公理刻画了覆盖粗糙集.这些研究有助于覆盖粗糙集理论研究的深入和完善.     

On axiomatic characterizations of three pairs of covering based approximation operators

Rough set theory is a useful tool for dealing with inexact, uncertain or vague knowledge in information systems. The classical rough set theory is based on equivalence relations and has been extended to covering based generalized rough set theory. This paper investigates three types of covering generalized rough sets within an axiomatic approach. Concepts and basic properties of each type of covering based approximation operators are first reviewed. Axiomatic systems of the covering based approximation operators are then established. The independence of axiom set for characterizing each type of covering based approximation operators is also examined. As a result, two open problems about axiomatic characterizations of covering based approximation operators proposed by Zhu and Wang in (IEEE Transactions on Knowledge and Data Engineering 19(8) (2007) 1131-1144, Proceedings of the Third IEEE International Conference on Intelligent Systems, 2006, pp. 444-449) are solved.     

On minimization of axiom sets characterizing covering-based approximation operators

Rough set theory was proposed by Pawlak to deal with the vagueness and granularity in information systems. The classical relation-based Pawlak rough set theory has been extended to covering-based generalized rough set theory. The rough set axiom system is the foundation of the covering-based generalized rough set theory, because the axiomatic characterizations of covering-based approximation operators guarantee the existence of coverings reproducing the operators. In this paper, the equivalent characterizations for the independent axiom sets of four types of covering-based generalized rough sets are investigated, and more refined axiom sets are presented.     

基于剩余格L模糊粗糙近似算子公理集的极简化

公理化方法是粗糙集理论研究的重要组成部分,利用公理化方法定义了基于剩余格的L模糊粗糙近似算子,并给出了描述L模糊粗糙近似算子公理集的极简形式。     

General type-2 fuzzy rough sets based on \alpha -plane Representation theory

Rough sets theory and fuzzy sets theory are mathematical tools to deal with uncertainty, imprecision in data analysis. Traditional rough set theory is restricted to crisp environments. Since theories of fuzzy sets and rough sets are distinct and complementary on dealing with uncertainty, the concept of fuzzy rough sets has been proposed. Type-2 fuzzy set provides additional degree of freedom, which makes it possible to directly handle highly uncertainties. Some researchers proposed interval type-2 fuzzy rough sets by combining interval type-2 fuzzy sets and rough sets. However, there are no reports about combining general type-2 fuzzy sets and rough sets. In addition, the $\alpha $ -plane representation method of general type-2 fuzzy sets has been extensively studied, and can reduce the computational workload. Motivated by the aforementioned accomplishments, in this paper, from the viewpoint of constructive approach, we first present definitions of upper and lower approximation operators of general type-2 fuzzy sets by using $\alpha $ -plane representation theory and study some basic properties of them. Furthermore, the connections between special general type-2 fuzzy relations and general type-2 fuzzy rough upper and lower approximation operators are also examined. Finally, in axiomatic approach, various classes of general type-2 fuzzy rough approximation operators are characterized by different sets of axioms.     

On the generalization of fuzzy rough sets

Rough sets and fuzzy sets have been proved to be powerful mathematical tools to deal with uncertainty, it soon raises a natural question of whether it is possible to connect rough sets and fuzzy sets. The existing generalizations of fuzzy rough sets are all based on special fuzzy relations (fuzzy similarity relations, T-similarity relations), it is advantageous to generalize the fuzzy rough sets by means of arbitrary fuzzy relations and present a general framework for the study of fuzzy rough sets by using both constructive and axiomatic approaches. In this paper, from the viewpoint of constructive approach, we first propose some definitions of upper and lower approximation operators of fuzzy sets by means of arbitrary fuzzy relations and study the relations among them, the connections between special fuzzy relations and upper and lower approximation operators of fuzzy sets are also examined. In axiomatic approach, we characterize different classes of generalized upper and lower approximation operators of fuzzy sets by different sets of axioms. The lattice and topological structures of fuzzy rough sets are also proposed. In order to demonstrate that our proposed generalization of fuzzy rough sets have wider range of applications than the existing fuzzy rough sets, a special lower approximation operator is applied to a fuzzy reasoning system, which coincides with the Mamdani algorithm.     

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.     

The axiomatic characterizations on L-generalized fuzzy neighborhood system-based approximation operators

The rough sets based on L-fuzzy relations and L-fuzzy coverings are the two most well-known L-fuzzy rough sets. Quite recently, we prove that some of these rough sets can be unified into one framework—rough sets based on L-generalized fuzzy neighborhood systems. So, the study on the rough sets based on L-generalized fuzzy neighborhood system has more general significance. Axiomatic characterization is the foundation of L-fuzzy rough set theory: the axiom sets of approximation operators guarantee the existence of L-fuzzy relations, L-fuzzy coverings that reproduce the approximation operators. In this paper, we shall give an axiomatic study on L-generalized fuzzy neighborhood system-based approximation operators. In particular, we will seek the axiomatic sets to characterize the approximation operators generated by serial, reflexive, unary and transitive L-generalized fuzzy neighborhood systems, respectively.     

Measures of general fuzzy rough sets on a probabilistic space

Fuzzy rough set is a generalization of crisp rough set, which deals with both fuzziness and vagueness in data. The measures of fuzzy rough sets aim to dig its numeral characters in order to analyze data effectively. In this paper we first develop a method to compute the cardinality of fuzzy set on a probabilistic space, and then propose a real number valued function for each approximation operator of the general fuzzy rough sets on a probabilistic space to measure its approximate accuracy. The functions of lower and upper approximation operators are natural generalizations of the belief function and plausibility function in Dempster-Shafer theory of evidence, respectively. By using these functions, accuracy measure, roughness degree, dependency function, entropy and conditional entropy of general fuzzy rough set are proposed, and the relative reduction of fuzzy decision system is also developed by using the dependency function and characterized by the conditional entropy. At last, these measure functions for approximation operators are characterized by axiomatic approaches.     

Generalized rough sets over fuzzy lattices

This paper studies generalized rough sets over fuzzy lattices through both the constructive and axiomatic approaches. From the viewpoint of the constructive approach, the basic properties of generalized rough sets over fuzzy lattices are obtained. The matrix representation of the lower and upper approximations is given. According to this matrix view, a simple algorithm is obtained for computing the lower and upper approximations. As for the axiomatic approach, a set of axioms is constructed to characterize the upper approximation of generalized rough sets over fuzzy lattices.