摘要
概念格作为形式概念分析理论中的核心数据结构,已在知识工程和软件工程等领域得到了广泛的应用。然而,对概念格理论的研究仅存在于纯数学领域[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.
出处
《计算机科学》
CSCD
北大核心
2009年第2期181-185,共5页
Computer Science
基金
国家自然科学基金(No.60775036)资助
关键词
概念格
概念矩形
概念格生成算法
批处理
渐进式
Concept lattice, Concept rectangle, Constructing algorithm, Batch algorithm, Incremental algorithm
