一种构造概念格的算法.pdfVIP

2008年2月 中央民族大学学报(自然科学版) Feb．20o8 第 17卷 第 1期 Journal of the CUN(Natural Sciences Edition) V01．17 No．1 一 种构造概念格的算法 庞智恒 ，何 伟 ，樊 磊 ，曹学磊 (1．中央民族大学理学院，北京 100081；2．首都师范大学教育技术系，北京 100037) 摘 要： 本文讨论了概念格分层的相关性质，根据这些性质提出了一种新的构造概念格的算法，在找到所有 概念的同时生成相应的Hasse图． 关键词： 形式概念分析；形式上下文；概念格；Hasse图 中图分类号：KT31l 文献标识码：A 文章编号：1005—8036(2oo8)01．0019—05 形式概念分析是一种基于格结构的数据分析方法，由Wille教授于1982年首次提出…，形式概念由 两部分组成：外延(extent)和内涵(intent)．概念的外延由属于该概念的所有对象构成，而内涵是概念的所 有对象共同分享的属性．概念格以其知识表示的直观、简洁和完备等特点而受到研究者的关注，近几十 年来在软件工程、知识工程、知识发现和数据挖掘等领域得到了广泛的应用 ． 在所有应用概念格方法实现数据分析的系统中，都要首先从数据集(形式概念分析中称为形式上下 文或者形式背景)中生成概念格，因此概念格的构造是系统实现的首要问题．国内外研究人员已经提出 了很多算法，这些算法主要分为两类：批处理式算法 。 和增量式算法 ．批处理算法中的代表算法为 Bordat算法 和Chein算法 ]，其中Chein算法是一种自底向上的算法，该算法只是求出了所有的概念， 没有得到概念之间的父子关系．本文利用一种分层的和宽度优先思想提出了一种新的自下而上的建格 算法，在找到所有概念的同时生成相应的完整的Hasse图． 1 预备知识 定义1．1n们 设≤是集合 P上的一个二元关系，且满足下列条件：V ，Y，。E P， (1) ≤ (自反性)； (2) ≤Y，Y≤。j ≤。 (传递性)； (3) ≤Y，Y≤ j =Y (反对称性)； 则称≤为P上的一个偏序(关系)，(P，≤)称为偏序集．在不致混淆的情况下，(P，≤)也经常简记为 P．如果 ≤Y且 ≠ Y，则记为 Y． 定义1．2n们 设 P是一个偏序集， ，YE P，元素 被Y覆盖(或者Y覆盖 )，如果 Y且不存在 。E P使得 。Y．记为 Y． 定义1．3n们 设 P是一个偏序集， ，Y E P，由 到Y的一个长度为n的极大链指的是序列 = 。 l 2… = Y， E P． 收稿日期：2007—09—29 作者简介：庞智恒(1981一)，男(回族)，河南沈丘人，中央民族大学理学院硕士研究生，主要研究方向：仿真、模型与 数学机械化． 中央民族大学学报(自然科学版) 第 l7卷 引理1．4[1。 如果偏序集P有限， Y当且仅当在 和Y之间存在一个有限链． 有限偏序集 P可以画成直线图(Hasse图)来表示．用小圆圈代表 P的元素，相连的线表示覆盖关 系，当 Y时，将 画在Y的下方，这样做出来的图形我们称之为Hasse图． 定义1．5[1¨ 设 G和 分别为对象的集合和属性的集合．若，C G×M(从 G到 的一个二元关 系)，则称三元组(G， ，，)是一个形式上下文． 若( ，m)∈，，称为对象 g有属性m，并记为g，m． 对于A C G，B C M，令： A ={m∈ I V gE A，g，m}， B ={gE G I V m∈B，g，m}． 定义1．6[1¨ 设A C G，B C M．若A =B，B =A，则称(A， )是形式上下文(G，M，，)中的一个概 念．A叫做概念(A， )的