-
题名形式背景与协调决策形式背景属性约简与概念格生成
被引量：37
- 1
-
-
作者
李进金
张燕兰
吴伟志
陈锦坤
-
机构
闽南师范大学数学与统计学院
闽南师范大学计算机科学与工程系
浙江海洋学院数理与信息学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2014年第8期1768-1774,共7页
-
基金
国家自然科学基金(61379021
60673096
+3 种基金
71140004
11301367)
福建省资助省属高校科研专项(JK2013027)
福建省教育厅A类项目(JA13202)资助~~
-
文摘
通过引入交式可约元概念,文中提出了一种形式背景属性约简的新方法.基于此方法,获得了形式背景属性约简个数计算的精确公式,改进了原有的约简个数估计.在此基础上,给出了概念格的生成算法及其图示.最后,针对协调决策形式背景,通过实例给出了新的属性约简方法.
-
关键词
形式背景
概念格
交式可约元
属性约简
概念格的生成算法
-
Keywords
formal context
concept lattice
intersectional reducible element
attribute reduction
generated algorithm of concept lattice
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名概念的矩阵化描述及相关定理的矩阵化证明
- 2
-
-
作者
董辉
马垣
宫玺
-
机构
辽宁科技大学计算机科学与工程
-
出处
《计算机科学》
CSCD
北大核心
2009年第2期181-185,共5页
-
基金
国家自然科学基金(No.60775036)资助
-
文摘
概念格作为形式概念分析理论中的核心数据结构,已在知识工程和软件工程等领域得到了广泛的应用。然而,对概念格理论的研究仅存在于纯数学领域[1],虽然已有的Hasse图能体现概念间的范化与特化关系,但对概念本身的理解帮助不大,用于定理的证明更为少见。从可视化着手,对概念格的图形化研究做了一点尝试,把概念信息理解成概念矩形,并用之于概念格定理的证明,取得满意的效果。
-
关键词
概念格
概念矩形
概念格生成算法
批处理
渐进式
-
Keywords
Concept lattice, Concept rectangle, Constructing algorithm, Batch algorithm, Incremental algorithm
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
O174
[理学—基础数学]
-
