基于格蕴涵代数的模糊幂集

模糊幂集理论依赖于相应的模糊算子的选取,本文通过格蕴涵代数中的蕴涵算子讨论了L—型模糊集的幂集,为高阶格值逻辑的研究作了必要的准备。     

格值命题逻辑系统L（X）（I）

本文通过泛代数的概念与方法建立了以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ），并讨论了它的语义问题。     

基于模糊字符串的Mealy格值有限自动机及其最小化

提出取值为格半群的Mealy格值有限自动机的概念,进而得到基于模糊字符串的Mealy格值有限自动机的扩张模型,并较详细讨论了其性质. 同时定义了扩张的完备Mealy格值有限自动机的行为矩阵, 在此基础上给出了其最小化算法.     

有限可补格上的一阶格值逻辑几个性质

本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立.     

概念粒计算系统外延的判别定理

概念粒计算系统是基于两个完备格之间的外延内涵算子和内涵外延算子构成的模型系统,它包括经典概念格,L模糊概念格及变精度概念格等.本文以三种概念粒计算系统为模型研究了概念外延的特征及其相互关系,给出了外延为经典集、内涵为模糊集和外延为模糊集、内涵为经典集这两种概念粒计算系统的概念外延判别定理,并且讨论了几种模型概念之间的关系与性质.     

格值正则语言的性质

给出了格值正则文法与格值正则语言的定义.从文法的角度来研究语言的性质,讨论了格植正则语言关于正则运算的封闭性及其条件.     

模糊概念格与模糊推理

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

关于内射的格蕴涵代数

多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑,特别是真值基于格上的多值逻辑,文献「１」提出并提建立了格蕴涵代数这一逻辑代数结构,进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数,即内射的格蕴涵代数,深入探讨了这类代数和一些性质并给出了其特征结构的刻画。     

基于完备剩余格值逻辑的BCI-代数的三种模糊理想

通过完备剩余格值逻辑中一元模糊谓词，将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画，引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法，研究这三种l-值模糊理想的性质及关系，推广了经典模糊情形下相应的现有结论。     

模糊软格

将模糊软集的概念与格相结合,引入了模糊软格和模糊软格的模糊软子格的概念,给出了它们的若干代数性质.定义了格的模糊软同态概念,证明了模糊软格在格的一个模糊软同态下的像与原像仍为模糊软格的结论.     

模糊概念格

概念格是研究和处理概念内涵与外延确定性关系的数学方法 ,已成为一种有效的数据分析方法。本文进一步探讨概念内涵与外延的不确定关系的模糊映射 ,给出相应的隶属函数的一些基本数学性质 ,证明全体模糊概念构成一个完全格。     

模糊形式背景下的类近似算子

分别在形式背景和模糊形式背景下定义类下近似算子和类模糊下近似算子,并研究它们的性质.证明这两种算子分剐等价于形式背景和模糊形式背景下的*算子和模糊*算子.进一步给出类下近似算子与类模糊下近似算子的公理刺画.最后,对偶地讨论类上近似算子和类模糊上近似算子的定义和性质.     

Fuzzy Ideals and Fuzzy Distributive Lattices

Our main objective is to study properties of a fuzzy ideals(fuzzy dual ideals).A study of special types of fuzzy ideals(fuzzy dual ideals) is also furnished.Some properties of a fuzzy ideals(fuzzy dual ideals) are furnished.Properties of a fuzzy lattice homomorphism are discussed.Fuzzy ideal lattice of a fuzzy lattice is defined and discussed.Some results in fuzzy distributive lattice are proved.     

格蕴涵代数的反犹豫模糊滤子

本文研究了格蕴涵代数的反犹豫模糊滤子。将反犹豫模糊集应用于格蕴涵代数,提出反犹豫模糊滤子概念,得到了若干等价刻画;给出犹豫模糊集的反扩张定理,并讨论了反犹豫模糊滤子的像与原像的关系;最后定义了犹豫模糊集的反直积,研究了反犹豫模糊滤子与直积格蕴涵代数的反犹豫模糊滤子之间的关系,证明了乘积格蕴涵代数的犹豫模糊子集是反犹豫模糊滤子的必要条件。     

利用格蕴涵代数找出所有滤子的算法

格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构．本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法．并举例说明该方法的有效性、可行性．     

正则Fuzzy蕴涵代数

Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出正则 Fuzzy蕴涵代数的几个刻画 ,并且得到正则 Fuzzy蕴涵代数构成格的几个条件。     

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.     

单调概念格性质研究

概念格是知识表示和数据分析的重要工具,单调概念格是概念格的推广。本文就Deogun等提出的单调概念格进行了两方面的研究:一,指出Deogun等提出的单调概念格性质的错误并加以修正;二,证明单调概念格就是闭格,从而找到用拓扑闭包算子和拓扑交结构来表示单调概念格的两种格表示方法,并建立起单调概念格与有上界的拓扑交结构的范畴等价。本文所建立的单调概念格的拓扑表示方法将方便我们进一步研究单调概念格的构造算法、约简算法和实际应用,具有理论和实际的双重意义。     

Ir-开集及其应用

在L-模糊拓扑空间（L^X，δ）中，对L的素元r，引入了Ir-开集的概念，讨论它的基本性质，并用它刻画了LF连续映射；定义了一种层T2分离性，并用Ir-开集刻画了它的特征。