论文部分内容阅读
概念格作为形式概念分析理论中的核心数据结构，已在知识工程和软件工程等领域得到了广泛的应用。然而，对概念格理论的研究仅存在于纯数学领域，虽然已有的Hasse图能体现概念间的范化与特化关系，但对概念本身的理解帮助不大，用于定理的证明更为少见。从可视化着手，对概念格的图形化研究做了一点尝试，把概念信息理解成概念矩形，并用之于概念格定理的证明，取得满意的效果。