计算机科学 ›› 2009, Vol. 36 ›› Issue (2): 181-185.
• • 上一篇 下一篇
董辉 马垣 宫玺
出版日期:
发布日期:
基金资助:
DONG Hui, MA Yuan, GONG Xi （School of Computer Science and Engineering, Liaoning University of Science and Technology, Anshan 114051, China）
Online:
Published:
摘要： 概念格作为形式概念分析理论中的核心数据结构，已在知识工程和软件工程等领域得到了广泛的应用。然而，对概念格理论的研究仅存在于纯数学领域，虽然已有的Hasse图能体现概念间的范化与特化关系，但对概念本身的理解帮助不大，用于定理的证明更为少见。从可视化着手，对概念格的图形化研究做了一点尝试，把概念信息理解成概念矩形，并用之于概念格定理的证明，取得满意的效果。
关键词: 概念格 概念矩形 概念格生成算法 批处理 渐进式
Abstract: Concept lattice, the core data structure of formal concept analysis, is used widely in knowledge engineering and software engineering. However, the scientific researches on the concept lattice is confined in the domain of mathematics. The Hasse diagram of
Key words: Concept lattice, Concept rectangle, Constructing algorithm, Batch algorithm, Incremental algorithm
董辉 马垣 宫玺. 概念的矩阵化描述及相关定理的矩阵化证明[J]. 计算机科学, 2009, 36(2): 181-185. https://doi.org/
DONG Hui, MA Yuan, GONG Xi （School of Computer Science and Engineering, Liaoning University of Science and Technology, Anshan 114051, China）. [J]. Computer Science, 2009, 36(2): 181-185. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I2/181
Cited
首页