概念的矩阵化描述及相关定理的矩阵化证明
Keywords: 概念格,概念矩形,概念格生成算法,批处理,渐进式
Abstract:
概念格作为形式概念分析理论中的核心数据结构,已在知识工程和软件工程等领域得到了广泛的应用.然而,对概念格理论的研究仅存在于纯教学领域1],虽然已有的Hasse图能体现概念间的范化与特化关系,但时概念本身的理解帮助不大,用于定理的证明更为少见.从可视化着手,对概念格的图形化研究做了一点尝试,把概念信息理解成概念矩形,并用之于概念格定理的证明,取得满意的效果.
Full-Text
