The axiomatic characterizations on L-fuzzy covering-based approximation operators

Axiomatic characterization is the foundation of L-fuzzy rough set theory: the axiom sets of approximation operators guarantee the existence of L-fuzzy relations or L-fuzzy coverings that reproduce the approximation operators. Axiomatic characterizations of approximation operators based on L-fuzzy coverings have not been fully explored, although those based on L-fuzzy relations have been studied thoroughly. Focusing on three pairs of widely used L-fuzzy covering-based approximation operators, we establish an axiom set for each of them, and their independence is examined. It should be noted that the axiom set of each L-fuzzy covering-based approximation operator is different from its crisp counterpart, with an either new or stronger axiom included in the L-fuzzy version.     

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.     

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

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

Fuzzy roughness of n-ary hypergroups based on a complete residuated lattice

This paper considers the relationships among L-fuzzy sets, rough sets and n-ary hypergroup theory. Based on a complete residuated lattice, the concept of (invertible) L-fuzzy n-ary subhypergroups of a commutative n-ary hypergroup is introduced and some related properties are presented. The notions of lower and upper L-fuzzy rough approximation operators with respect to an L-fuzzy n-ary subhypergroup are introduced and studied. Then, a new algebraic structure called (invertible) L-fuzzy rough n-ary subhypergroups is defined, and the (strong) homomorphism of lower and upper L-fuzzy rough approximation operators is studied.     

二型直觉模糊粗糙集

将二型直觉模糊集和粗糙集理论融合,建立二型直觉模糊粗糙集模型。首先,在二型直觉模糊近似空间中,定义了一对二型直觉模糊上、下近似算子,并讨论了二型直觉模糊关系退化为普通二型模糊关系和一般等价关系时,上、下近似算子的具体变化形式。然后,将普通二型模糊集之间包含关系的定义推广到了二型直觉模糊集,在此基础上研究了二型直觉模糊上、下近似算子的一些性质。最后,定义了自反的、对称的和传递的二型直觉模糊关系,并讨论了这3种特殊的二型直觉模糊关系与近似算子的特征之间的联系。该结论进一步丰富了二型模糊集理论和粗糙集理论,为二型直觉模糊信息系统的应用奠定了良好的理论基础。     

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.     

On characterization of intuitionistic fuzzy rough sets based on intuitionistic fuzzy implicators

This paper presents a general framework for the study of relation-based (I,T)-intuitionistic fuzzy rough sets by using constructive and axiomatic approaches. In the constructive approach, by employing an intuitionistic fuzzy implicator I and an intuitionistic fuzzy triangle norm T, lower and upper approximations of intuitionistic fuzzy sets with respect to an intuitionistic fuzzy approximation space are first defined. Properties of (I,T)-intuitionistic fuzzy rough approximation operators are examined. The connections between special types of intuitionistic fuzzy relations and properties of intuitionistic fuzzy approximation operators are established. In the axiomatic approach, an operator-oriented characterization of (I,T)-intuitionistic fuzzy rough sets is proposed. Different axiom sets characterizing the essential properties of intuitionistic fuzzy approximation operators associated with various intuitionistic fuzzy relations are explored.     

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

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

(?, T)-fuzzy rough approximation operators and the TL-fuzzy rough ideals on a ring

In this paper, we consider a ring as a universal set and study (?, T)-fuzzy rough approximation operators with respect to a TL-fuzzy ideal of a ring. First, some new properties of generalized (?, T)-fuzzy rough approximation operators are obtained. Then, a new fuzzy algebraic structure - TL-fuzzy rough ideal is defined and its properties investigated. And finally, the homomorphism of (?, T)-fuzzy rough approximation operators is studied.     

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.     

Algorithm and axiomatization of rough fuzzy sets based finite dimensional fuzzy vectors

Rough sets, proposed by Pawlak and rough fuzzy sets proposed by Dubois and Prade were expressed with the different computing formulas that were more complex and not conducive to computer operations. In this paper, we use the composition of a fuzzy matrix and fuzzy vectors in a given non-empty finite universal, constitute an algebraic system composed of finite dimensional fuzzy vectors and discuss some properties of the algebraic system about a basis and operations. We give an effective calculation representation of rough fuzzy sets by the inner and outer products that unify computing of rough sets and rough fuzzy sets with a formula. The basis of the algebraic system play a key role in this paper. We give some essential properties of the lower and upper approximation operators generated by reflexive, symmetric, and transitive fuzzy relations. The reflexive, symmetric, and transitive fuzzy relations are characterized by the basis of the algebraic system. A set of axioms, as the axiomatic approach, has been constructed to characterize the upper approximation of fuzzy sets on the basis of the algebraic system.     

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.     

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.     

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.     

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.     

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

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

可换双剩余格上的广义模糊粗糙集及其公理化

双剩余格是t-模、t-余模、模糊剩余蕴涵及其对偶算子的代数抽象,基于格的L-模糊关系是普通模糊关系的推广。作为Pawlak经典粗糙集及多种模糊粗糙集模型的共同推广,提出了一种基于可换双剩余格及L-模糊关系的广义模糊粗糙集模型,引入了正则可换双剩余格的概念,并给出了基于正则可换双剩余格的广义模糊粗糙上、下近似算子的公理系统,推广了多个文献中已有的结果。     

基于覆盖的直觉模糊粗糙集

通过直觉模糊覆盖概念将覆盖粗糙集模型进行推广,提出一种基于直觉模糊覆盖的直觉模糊粗糙集模型.首先,介绍了直觉模糊集、直觉模糊覆盖和直觉模糊逻辑算子等概念;然后,利用直觉模糊三角模和直觉模糊蕴涵,构建两对基于直觉模糊覆盖的下直觉模糊粗糙近似算子和上直觉模糊粗糙近似算子;最后,给出了这些算子的基本性质并研究了它们之间的对偶性.     

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

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

On fuzzy approximation operators in attribute reduction with fuzzy rough sets

Generally speaking, there are four fuzzy approximation operators defined on a general triangular norm (t-norm) framework in fuzzy rough sets. Different types of t-norms specify various approximation operators. One issue whether and how the different fuzzy approximation operators affect the result of attribute reduction is then arisen. This paper addresses this issue from the theoretical viewpoint by reviewing attribute reduction with fuzzy rough sets and then describing and proving some theorems which demonstrate the effects of the fuzzy approximation operators on the results of attribute reduction. First, we review some notions of attribute reduction with fuzzy rough sets, such as positive region, dependency degree and attribute reduction. We then present and prove some theorems which describe how and to what degree fuzzy approximation operators impact the performance of attribute reduction. Finally, we report some experimental simulation results which demonstrate the effectiveness and correctness of the theoretical contributions. One main contribution in this paper is that we have described and proven that each attribute reduction obtained using one type of fuzzy lower approximation operator always contains one reduction obtained using the other type of fuzzy lower approximation operator.