概念的矩阵化描述及相关定理的矩阵化证明  

Rectangle Description of Concept and the Rectangle Proof of Correlative Propositions

作　　者：董辉[1] 马垣[1] 宫玺[1] 

机构地区：[1]辽宁科技大学计算机科学与工程,鞍山114051

出　　处：《计算机科学》2009年第2期181-185,共5页Computer Science

基　　金：国家自然科学基金(No.60775036)资助

摘　　要：概念格作为形式概念分析理论中的核心数据结构,已在知识工程和软件工程等领域得到了广泛的应用。然而,对概念格理论的研究仅存在于纯数学领域[1],虽然已有的Hasse图能体现概念间的范化与特化关系,但对概念本身的理解帮助不大,用于定理的证明更为少见。从可视化着手,对概念格的图形化研究做了一点尝试,把概念信息理解成概念矩形,并用之于概念格定理的证明,取得满意的效果。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 a concept lattice can describe and perform the connections between generalization and specialization, but it is helpless to the comprehension of the concept essentially and rareness to be used in the theorem proof. Based on the visualization, this article made an attempt to the visualization of the concept lattice, regarded the concept as concept rectangle, and used in the concept lattice theorem proof, obtained the satisfactory effect.

关 键 词：概念格 概念矩形 概念格生成算法 批处理 渐进式 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] O174[自动化与计算机技术—计算机科学与技术]