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

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

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.     

L-模糊上近似的唯一公理刻画

利用L-模糊集内积的概念分别给出了由L-模糊关系、反身、对称的L-模糊关系生成的L-模糊上近似的唯一公理刻画。     

拟阵下的覆盖模糊粗糙集

拟阵是一种图和矩阵的同时推广的概念,而覆盖粗糙集是经典粗糙集的推广。利用拟阵理论研究覆盖模糊粗糙集,从而将两者进行了融合,提出了拟阵覆盖模糊粗糙集的概念,定义了拟阵覆盖近似空间的上下近似。分析了拟阵覆盖模糊粗糙集的相关性质,定义了拟阵覆盖粗糙集下的粗糙度,并通过它来衡量不确定程度,这也进一步推广了粗糙度。     

基于覆盖的粗糙近似算子

研究Bonikowski覆盖近似算子。借助覆盖近似空间的代表元,证明了下近似算子保交、上近似算子保并、以及上近似算子单调等是相互等价的,另外给出了上、下近似算子对偶的等价条件。     

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.     

自反、对称关系下近似算子的拓扑性质

研究一般论域下粗糙近似算子的基本性质,借助自反、对称关系下的近似算子构造了粗糙拓扑空间,并讨论了它与满足公理（clop）的拓扑空间的关系。     

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.     

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

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

粗糙集代数与BL代数

讨论粗糙集代数与BL代数的关系以及由粗糙集代数构造BL代数的方法。粗糙集代数本身具有格结构,证明了在适当选取蕴涵算子之后,粗糙集代数就成为BL代数。     

完备剩余格上的蕴涵闭包算子

利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。     

一类格EQ-代数的构造

V.Novak引入EQ-代数作为模糊型理论的真值代数。通过引入剩余格上的含幺完全L-模糊同余来构造一类格EQ-代数,并对其性质进行研究。     

Boole环上的粗糙近似算子

从定义Boole环上的偏序关系入手,研究了Boole环上闭算子和内部算子的性质,由此引入了同余近似空间和同余近似空间中上近似和下近似算子的定义,研究了上近似算子和下近似算子的性质。     

覆盖近似空间的约简理论

覆盖近似空间是对Pawlak的近似空间的一种扩展,Bonikowski研究了覆盖近似空间下的Rough近似及其性质,William提出了覆盖近似空间下的绝对约简,该约简能够在保持近似空间的知识不减的情况下简化近似空间。定义了覆盖近似空间下的相对约简,该约简旨在得到支持度最大的分类知识,并且发现在约简前后覆盖近似空间的分类能力保持不变。基于此提出了覆盖近似空间的知识约简框图及算法,该算法能够去除近似空间中的绝对冗余知识和相对冗余知识。     

基于集值映射的拟划分近似空间中近似算子

在含有缺省值的不完备性信息系统中,一部分对象无法确定的归入特定的类中,此时论域的邻域系统对于论域无法形成覆盖,只能形成论域的不完全划分。从概念上讲,对论域的不完全划分与对论域的覆盖都是对论域的拟划分的两个特例。作为基于覆盖的粗糙集模型的一种推广,将讨论基于拟划分的粗糙集模型中上下近似算子的若干性质,并且讨论了这个模型下近似算子的表示问题。     

基于覆盖的粗糙模糊集模型研究

在研究覆盖粗糙集模型中,发现对覆盖粗糙集上近似的定义并不一致．简述了各个模型的区别,并在一个较合理的覆盖粗糙集上近似定义上,结合覆盖约简理论,重新定义了基于覆盖的粗糙集模型。讨论了它的一些性质．另外,将模型进行推广,定义了基于覆盖的粗糙模糊集模型,证明了它具有一些较好的性质。     

覆盖粗糙近似的一致性研究

经典粗糙集理论知识的表现形式为论域上的划分,覆盖是比划分更一般的知识表现形式。为了扩展粗糙集理论的应用领域,有必要将粗糙集理论扩展到覆盖近似空间。覆盖近似空间下的概念近似是基于覆盖近似空间知识获取的关键。针对精确概念和模糊概念,研究者定义了不同的近似方法。通过对当前的近似算子进行研究,发现了它们的不一致,并从两个角度对近似算子的定义进行了修正,从而使得它们分别与原有的算子保持一致。所得结论为覆盖近似空间下的概念近似提供了新的研究途径。     

粗集公理组的极小化

粗集公理化是粗集理论研究的一个重要部分，它的目标是获得可靠和极小的粗集公理组，以往文献在这一研究中取得了有意义的进展，给出了若干组粗集公理，但是，它们在粗集公理的表示形式，粗集公理组的极小化以及粗集公理组的可行性证明中，尚未达到粗集公理化的理想目前，该文在以往文献的基础上，研究了粗集公理组的极小化，首先，去除了现有的粗集公理组中稳含着沉余性，得到了更为精练的两组粗集公理，并证明了它们的可靠性，其次，定义了极小粗集公理组概念，并证明了给了的两组粗集公理是极小的，最后，讨论了一个典型粗集公理组S5，并证明了它的可靠性和极小化。     

Invertible approximation operators of generalized rough sets and fuzzy rough sets

This paper studies the classes of rough sets and fuzzy rough sets. We discuss the invertible lower and upper approximations and present the necessary and sufficient conditions for the lower approximation to coincide with the upper approximation in both rough sets and fuzzy rough sets. We also study the mathematical properties of a fuzzy rough set induced by a cyclic fuzzy relation.     

变精度下近似算子与程度上近似算子的逻辑与运算模型

基于精度与程度的逻辑与需求,提出了变精度下近似算子与程度上近似算子的逻辑与运算模型。在该模型中,得到了变精度下近似算子与程度上近似算子的逻辑与运算的精确描述与基本性质,提出了宏观算法与微观算法,进行了算法分析与比较,得到了微观算法更具空间优势的结论。最后用医疗实例对模型与算法进行了说明。变精度下近似算子与程度上近似算子的逻辑与运算模型,部分拓展了变精度粗糙集模型、程度粗糙集模型和经典粗糙集模型,并在这些模型中得到了近似算子的相应性质。