基于一般二元关系粗糙近似算子的格结构研究

1

作者 王豪 刘银山 秦克云 《西华大学学报（自然科学版）》 2024年第1期97-102,共6页

刻画了基于一般二元关系及悲观多粒度粗糙近似算子的完备格结构,证明了在选取蕴涵算子之后,基于一般二元关系的粗糙近似算子构成MV、R0与布尔代数。

关键词 一般二元关系 近似算子 完备格 剩余格

在线阅读 下载PDF 职称材料

格蕴涵代数的超滤 被引量：23

2

作者 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 1999年第1期51-54,共4页

通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。

关键词 超滤 格 滤子 格蕴涵代数 蕴涵代数

在线阅读 下载PDF 职称材料

粗糙集代数与格蕴涵代数 被引量：16

3

作者 秦克云 涂文彪 《西南交通大学学报》 EI CSCD 北大核心 2004年第6期754-757,共4页

讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为格蕴涵代数.

关键词 格蕴涵代数 粗糙集 粗糙集代数

在线阅读 下载PDF 职称材料

决策表的正域约简及核的计算 被引量：7

4

作者 秦克云 高岩 《西南交通大学学报》 EI CSCD 北大核心 2007年第1期125-128,共4页

为降低计算的复杂度,基于正域约简的定义,研究了决策表的约简方法及核的计算方法,构造了关于决策表对象的区分条件.探讨了该条件下正域约简与区分属性集合的关系,借助区分矩阵与区分函数提出了一种完备的约简方法,并且区分矩阵的构成无... 为降低计算的复杂度,基于正域约简的定义,研究了决策表的约简方法及核的计算方法,构造了关于决策表对象的区分条件.探讨了该条件下正域约简与区分属性集合的关系,借助区分矩阵与区分函数提出了一种完备的约简方法,并且区分矩阵的构成无需计算正域,可直接由决策表产生. 展开更多

关键词 粗糙集 决策表 d约简 d核

在线阅读 下载PDF 职称材料

基于广义不可区分关系的决策表约简 被引量：3

5

作者 秦克云 赵华 裴峥 《西华大学学报（自然科学版）》 CAS 2013年第4期1-4,36,共5页

研究决策表的正域约简及分配约简理论。针对具有自反性的广义不可区分关系,提出了决策表的正域约简及分配约简理论,借助区分函数给出了正域约简及分配约简的计算方法。对Skowron的区分条件进行了改进,在一定意义上为正域约简及分配约简... 研究决策表的正域约简及分配约简理论。针对具有自反性的广义不可区分关系,提出了决策表的正域约简及分配约简理论,借助区分函数给出了正域约简及分配约简的计算方法。对Skowron的区分条件进行了改进,在一定意义上为正域约简及分配约简提供了一般理论框架。 展开更多

关键词 粗糙集 不可区分关系 正域约简 分配约简

在线阅读 下载PDF 职称材料

广义扩张原理及其基本性质 被引量：4

6

作者 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 1995年第4期429-433,共5页

Ｚａｄｅｈ扩张原理是模糊集合论的主要工具之一。本文针对一般的模糊关系提出了一种广义扩张原理并讨论了它的基本性质，为进一步研究模糊集合论提供了一种方法。

关键词 模糊关系 扩张原理 广义 α水平集 模糊集合论

在线阅读 下载PDF 职称材料

关于格蕴涵代数的几点注记 被引量：3

7

作者 秦克云 陈志国 《西南交通大学学报》 EI CSCD 北大核心 2003年第1期1-3,共3页

给出了一般(2,1,0,0)型代数(L,→, ,0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴涵代数的结构提供了条件.

关键词 格蕴涵代数 有限链 T型代数 非全序四元格 格值逻辑系统 真值

在线阅读 下载PDF 职称材料

格蕴涵代数的模型论性质 被引量：1

8

作者 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2000年第5期546-550,共5页

讨论有关格蕴涵代数结构的模型论性质 ,证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态 ,理论T不是完备的、也不是模型完备的 ,因而不存在内在Skolem函数。另外 ,文中借助于超滤概念提出了格蕴涵代数簇的超积及格蕴涵... 讨论有关格蕴涵代数结构的模型论性质 ,证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态 ,理论T不是完备的、也不是模型完备的 ,因而不存在内在Skolem函数。另外 ,文中借助于超滤概念提出了格蕴涵代数簇的超积及格蕴涵代数中模糊子集的模糊超积 ,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。 展开更多

关键词 格蕴涵代数 模型完备 模糊超积

在线阅读 下载PDF 职称材料

模糊格蕴涵代数范畴 被引量：1

9

作者 秦克云 徐扬 《应用数学》 CSCD 1998年第3期13-16,共4页

本文提出了模糊格蕴涵代数范畴FLC的概念，讨论了它的一些基本性质并指出了它与范畴LC的关系．

关键词 模糊格蕴涵代数 范畴 函子

在线阅读 下载PDF 职称材料

多源形式背景的信息融合

10

作者 秦克云 李双伶 《西华大学学报（自然科学版）》 CAS 2020年第4期18-24,共7页

多源数据的知识发现是当今大数据分析领域中的重要课题。文章研究多源形式背景的信息融合方法。借助剩余格理论提出了一种将多源同域形式背景融合为一个L模糊形式背景的方法;刻画了融合形式背景中的L模糊概念与相应的单源形式背景中的... 多源数据的知识发现是当今大数据分析领域中的重要课题。文章研究多源形式背景的信息融合方法。借助剩余格理论提出了一种将多源同域形式背景融合为一个L模糊形式背景的方法;刻画了融合形式背景中的L模糊概念与相应的单源形式背景中的形式概念之间的关系,给出了形式概念之间的相互诱导方法。 展开更多

关键词 多源形式背景 概念格 模糊概念格 剩余格

在线阅读 下载PDF 职称材料

基于有限格蕴涵代数的格值命题逻辑语法系统 被引量：17

11

作者 马骏 高雅 +1 位作者 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2004年第1期90-94,共5页

以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.

关键词 多值逻辑 逻辑代数 格蕴涵代数 语法系统 格值命题逻辑

在线阅读 下载PDF 职称材料

模糊格蕴涵代数 被引量：37

12

作者 徐扬 秦克云 《西南交通大学学报》 EI CSCD 北大核心 1995年第2期121-127,共7页

本文将模糊集合论应用于格蕴涵代数，给出了模糊格蕴涵代数的概念，并讨论了它们的一些基本性质。

关键词 模糊蕴涵 格蕴涵代数 模糊格蕴涵代数

在线阅读 下载PDF 职称材料

基于有限格蕴涵代数的格值命题逻辑语义系统 被引量：3

13

作者 马骏 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2002年第5期557-560,共4页

以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”

关键词 有限格蕴涵代数 多值逻辑 逻辑代数 格值命题逻辑语义系统 数理逻辑

在线阅读 下载PDF 职称材料

基于剩余蕴涵的模糊概念格构造方法 被引量：5

14

作者 孙士保 秦克云 《西南交通大学学报》 EI CSCD 北大核心 2006年第2期259-263,共5页

介绍了由下半连续三角模生成的剩余蕴涵.建立了关于模糊形式背景的模糊概念格,并讨论了其层次结构、由模糊集生成的模糊概念以及W ille算子的不动点.用模糊关系实例说明了基于Godel剩余蕴涵的模糊概念格的构造方法.

关键词 模糊概念 格 形式背景 构造 剩余蕴涵

在线阅读 下载PDF 职称材料

不协调决策表几种约简标准及其关系分析 被引量：4

15

作者 杜卫锋 秦克云 《电子学报》 EI CAS CSCD 北大核心 2011年第6期1336-1340,共5页

叶东毅教授在文中指出Hu Xiaohua等学者提出的约简方法在某些情况下会给出错误的结果,本文通过分析得出叶的方法实际上就是正域约简,而Hu的方法实质上保持边界域划分不变,与叶东毅教授提出的约简方法只是标准不同,而无所谓对错问题.在... 叶东毅教授在文中指出Hu Xiaohua等学者提出的约简方法在某些情况下会给出错误的结果,本文通过分析得出叶的方法实际上就是正域约简,而Hu的方法实质上保持边界域划分不变,与叶东毅教授提出的约简方法只是标准不同,而无所谓对错问题.在此基础上,阐明了决策表各种约简标准的关系,并给出了当两个约简标准存在强弱关系时,其约简结果之间的关系. 展开更多

关键词 粗糙集 决策表 约简标准 区分函数

在线阅读 下载PDF 职称材料

基于赋范格H蕴涵代数的性质 被引量：2

16

作者 赖家俊 徐扬 秦克云 《数学物理学报（A辑）》 CSCD 北大核心 2010年第6期1465-1473,共9页

首先,在范数的条件下将格H蕴涵代数进行了扩充(即赋范格H蕴涵代数),并讨论了它的性质.其次,在赋范格H蕴涵代数中定义了蕴涵距离d→,∨-距离d_∨,∧-距离d_∧,讨论了它们之间的性质,并通过两个赋范格H蕴涵代数L_1和L_2定义了赋范蕴涵满... 首先,在范数的条件下将格H蕴涵代数进行了扩充(即赋范格H蕴涵代数),并讨论了它的性质.其次,在赋范格H蕴涵代数中定义了蕴涵距离d→,∨-距离d_∨,∧-距离d_∧,讨论了它们之间的性质,并通过两个赋范格H蕴涵代数L_1和L_2定义了赋范蕴涵满射、赋范格H蕴涵同态、赋范格H蕴涵同构以及赋范同构,随后研究了它的性质.最后,探讨了收敛数列的有界性,得到了数列运算(即,,∨,∧,→)对于蕴涵距离是有界的结论. 展开更多

关键词 赋范格H蕴涵代数 蕴涵距离 赋范蕴涵同态 赋范同构 有界性

在线阅读 下载PDF 职称材料

格H蕴涵代数与格蕴涵代数类 被引量：16

17

作者 徐扬 秦克云 《河北工程大学学报（自然科学版）》 CAS 1992年第3期139-143,共5页

本文研究了格H蕴涵代数的性质,给出了它的一些等价条件,讨论了格蕴涵代数类的真类问题和基数问题。

关键词 格蕴涵代数 格H蕴涵代数

在线阅读 下载PDF 职称材料

幂拓扑分子格范畴及其乘积运算 被引量：1

18

作者 姜保庆 王伟 秦克云 《西南交通大学学报》 EI CSCD 北大核心 2003年第6期708-711,共4页

引入幂分子格范畴、L底幂分子格范畴、幂拓扑分子格范畴和L底幂拓扑分子格范畴.给出幂分子格范畴与分子格范畴、L底幂分子格范畴与幂分子格范畴、幂拓扑分子格范畴与拓扑分子格范畴以及L底幂拓扑分子格范畴与幂拓扑分子格范畴之间的关系... 引入幂分子格范畴、L底幂分子格范畴、幂拓扑分子格范畴和L底幂拓扑分子格范畴.给出幂分子格范畴与分子格范畴、L底幂分子格范畴与幂分子格范畴、幂拓扑分子格范畴与拓扑分子格范畴以及L底幂拓扑分子格范畴与幂拓扑分子格范畴之间的关系.证明了一族幂分子格的" 积"是其在幂分子格范畴中的乘积,一族L底幂分子格的"积"是其在L底幂分子格范畴中的乘积,一族幂拓扑分子格的" 积"是其在幂拓扑分子格范畴中的乘积,一族L底幂拓扑分子格的"积"是其在L底幂拓扑分子格范畴中的乘积. 展开更多

关键词 范畴论 格 幂拓扑分子格 乘积

在线阅读 下载PDF 职称材料

化LF(X)中任一公式为可归约形式的算法 被引量：1

19

作者 孟丹 宋振明 秦克云 《西南交通大学学报》 EI CSCD 北大核心 2003年第4期433-437,共5页

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究 .简述了LF(X)及其中公式的相关概念 ,证明了对LF(X)中公式进行转化的若干理论结果 ,并由此给出化LF(X)

关键词 人工智能 多值逻辑 自动推理 归结原理

在线阅读 下载PDF 职称材料

两种类型的粗糙度不等式 被引量：1

20

作者 付艳玲 秦克云 《江南大学学报（自然科学版）》 CAS 2007年第1期115-118,共4页

讨论了粗糙近似算子的性质.基于粗糙集理论,给出了经典集在Pawlak近似空间下的粗糙度不等式取等号的两个等价的充分条件;同时给出了模糊集在Pawlak近似空间下粗糙度不等式取等号的充分条件以及粗糙模糊集水平截集的一些性质.

关键词 粗糙集 模糊集 粗糙度 上近似 下近似 近似空间

在线阅读 下载PDF 职称材料