基于形式概念的粗糙近似

证明了对象(属性)概念的外延(内涵)是构成概念外延(内涵)的基本单位,由此提供了通过外延(内涵)基本元来构造形式概念的方法.定义了几种基于外延基本元和内涵基本元的上、下近似,给出了近似算子的性质,并讨论了这些近似算子之间的相互关系.     

一般模糊近似算子的公理化刻画

给出无限双论域上一般模糊近似算子的构造性定义,叙述一般模糊近似算子的基本性质。引入邻域有限模糊关系的概念,利用上、下模糊粗糙近似的截集性质,给出一个刻画模糊近似算子的新公理,得到不同于以往的刻画模糊近似算子的公理集。     

一类广义区间值模糊粗糙集的公理化刻画

首先在一般区间值模糊关系上定义了两个论域上的一类广义区间值模糊粗糙集.借助区间值模糊集的截集给出区间值模糊粗糙上、下近似算子的一般表示.讨论了各种特殊的区间值模糊关系与区间值模糊近似算子性质之间的等价刻画.最后利用公理化方法刻画区间值模糊粗糙集.描述区间值模糊上、下近似算子的公理集保证了生成相同近似算子的区间值模糊关系的存在性.     

模糊粗糙集的模糊邻域算子刻画

在模糊集合的公理化定义及其直积的基础上，提出基本模糊点的模糊邻域算子概念。用模糊邻域算子来定义模糊集的上近似和下近似。可以用模糊集的上、下近似来刻画模糊关系的自反性、对称性和传递性等性质。在模糊粗糙集的模糊邻域算子定义下，模糊粗糙集与粗糙模糊集可以统一起来。     

基于区间值模糊剩余蕴含算子的广义区间值模糊粗糙集模型

把粗糙集理论和区间值模糊集理论结合起来,利用粗糙集理论的构造性方法,提出了一种广义区间值模糊粗糙集理论模型。首先,利用区间值模糊剩余蕴含算子和它的对偶算子,定义了一种广义上下区间值模糊粗糙集近似算子。然后,利用该蕴含算子的性质,讨论了该模型上下近似算子的一系列性质。最后,确立了一些特殊的区间值模糊关系和区间值模糊粗糙集近似算子的联系。     

模糊粗糙近似算子的拓扑性质

考虑论域上一二元关系所决定的模糊粗糙近似算子的拓扑性质,证明了任一自反二元关系可以决定一模糊拓扑.并且,当二元关系自反对称时,该模糊拓扑中的元是开集当且仅当它是闭集;当二元关系自反传递时,该模糊拓扑的闭包与内部算子恰为模糊粗糙上、下近似算子.     

剩余型直觉模糊蕴涵算子的统一形式

对直觉三角模和直觉三角余模的性质进行研究,提出由此生成的直觉伴随对和直觉余伴随对的概念,讨论它们在直觉模糊区域上的性质,给出与直觉三角模相伴随的剩余型直觉蕴涵算子一种统一形式,最后根据直觉模糊蕴涵算子与模糊蕴涵算子的关系给出四类直觉模糊蕴涵算子的具体形式.     

多粒度模糊粗糙集研究

本文研究了模糊粗糙集中属性约简问题.利用模糊粗糙集和多粒度粗糙集各自优点的结合,提出了两类多粒度模糊粗糙集模型,使得两类粗糙集中的上下近似算子关于负算子对偶.同时研究了多粒度模糊粗糙集的性质及与单粒度模糊粗糙集的关系.并通过构造区分函数的方法提出了一类多粒度模糊粗糙集模型的近似约简方法.最后用一个实例核对了该类多粒度模糊粗糙决策系统近似约简方法的有效性.     

基于包含度的模糊随机粗糙集模型

针对随机性与模糊性同时存在的情形,提出了建立在模糊随机近似空间上的基于包含度的模糊随机粗糙集模型.首先给出了模糊随机近似空间的概念,然后利用包含度提出了模糊随机近似空间上的一种基于模糊随机集的粗糙近似算子.最后讨论了这种近似算子的一些性质.     

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

讨论基于覆盖理论的模糊粗糙集模型。给出了模糊集的粗糙上、下近似算子,讨论了算子的基本性质,证明了覆盖粗糙集模型下所有模糊集的下近似构成一个模糊拓扑,并得到了覆盖模糊粗糙集模型的公理化描述。     

Block relations in formal fuzzy concept analysis

One of the main problems in formal concept analysis (especially in fuzzy setting) is to reduce a concept lattice of a formal context to appropriate size to make it graspable and understandable. A natural way to do it is to substitute the formal context by its block relation which is equivalent to factorization of the concept lattice by a complete tolerance. We generalize known results on the correspondence of block relations of formal contexts and complete tolerances on concept lattices to fuzzy setting and we provide an illustrative example of using block relations to reduce the size of a concept lattice.     

基于格值逻辑的模糊概念格

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法.格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具.     

On universal formal power series

The point source of this work is Seleznev's theorem which asserts the existence of a power series which satisfies universal approximation properties in C^∗. The paper deals with a strengthened version of this result. We establish a double approximation theorem on formal power series using a weighted backward shift operator. Moreover we give strong conditions that guarantee the existence of common universal series of an uncountable family of weighted backward shift with respect to the simultaneous approximation. Finally we obtain results on admissible growth of universal formal power series. We especially prove that you cannot control the defect of analyticity of such a series even if there exist universal series in the well-known intersection of formal Gevrey classes.     

基于区间直觉梯形模糊数的改进TOPSIS多属性决策方法

研究了属性权重完全未知的区间直觉梯形模糊数的多属性决策问题,结合TOPSIS方法定义了相对贴近度及总贴近度公式.首先由区间直觉梯形模糊数的Hamming距离给出了每个方案的属性与正负理想解的距离,基于此,给出了相对贴近度矩阵,根据所有决策方案的综合贴近度最小化建立多目标规划模型,从而确定属性的权重值,然后根据区间直觉梯形模糊数的加权算数平均算子求出各决策方案的总贴近度,根据总贴近度的大小对方案进行排序;最后,通过实例分析说明该方法的可行性和有效性.     

Fuzzy sets and Boolean-valued universes

A connection between fuzzy sets and Boolean-valued universes is made by developing a formal axiomatic system for fuzzy sets among whose models are suitably interpreted Boolean-valued universes. The formal system is an independent first-order axiomatization of fuzzy set theory which parallels the Zermelo-Fraenkel development of classical set theory.     

Axiomatics for fuzzy rough sets

A fuzzy T-rough set consists of a set X and a T-similarity relation R on X, where T is a lower semi-continuous triangular norm. We generalize the Farinas-Prade definition for the upper approximation operator of a fuzzy T-rough set (X, R); given originally for the special case T = Min, to the case of arbitrary T. We propose a new definition for the lower approximation operator of (X,R). Our definition satisfies the two important identities and , as well as a number of other interesting properties. We provide axiomatics to fully characterize those upper and lower approximations.     

ON THE RELIABILITY OF MEDIUM LOGIC(ML)

Medium logic (ML) is set up for the common theoritical foundation of the classical mathematics and fuzzy mathematics. It has been formalized as a new theory of logic. See note (1) and note (2). As mathematical logic the ML's construct reches the study of the informal deductive inference by means of studying the formal inference in it, and it demands the formal inference of ML reliable reflected the deductive inference. For this reason, this paper deals with its reliability. The result shows that the formal inference of M L consists with deductive inference, and that ML reliably reflects the deductive inference.     

模糊概念格与模糊推理

基于伽罗瓦连接,分别在交换伴随对与对合剩余格条件下,讨论了模糊概念格的四种定义形式。并证明了在对合剩余格上,对偶性成立,四种模糊算子将具有与经典意义下一致的相互关系。最后我们提出了一种基于模糊概念格的模糊推理规则,并证明了其还原性。     

强正则剩余格值逻辑系统L~N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

模糊相似关系传递核获取算法

针对模糊相似关系传递核的获取问题进行研究.首先给出模糊相似关系传递核的一些基本性质.之后,利用这些性质构造了三个算法来获取可能为传递核的模糊等价关系.最后,通过实验比较并分析这三种算法在获取传递核时的能力.