约简概念格的维护.pdfVIP

约筒概念格的维护 ‘简宋全胡学钢蒋美华 (合肥工业太学计善机与信息学院，奋肥23∞∞) ■蔓r晨概奢善是在G|loi|辖中引入内涵f静关^而再列的一种扩展形式，基于这种蛄 构可戗更简洁地表示知识．并彘方便地茨■等赍规则、t涵鼍崩、奢蠢规科、特狂曩 l 删、不璃定规财午．纳尚播是扩展^套嚣的一种更蕊洁的表示．健方便、有鼓如J薹用 于太藐摸羲据库的知识表示．畚文介岛1的尚格的有关瓤禽和性质，讨铯1它的构 造方法曩吴维护． 关■一 K啃晨概念格 一、引言 在扩晨曩念揸(ECL)中．每个概念的冉赫反映了概念的多种等价表示形式。有肪于问叠的 隶群和规爿的提取．但是，当上下文中的■性数目较多且每个概念的内麓蕃要晨开时．每千扩 晨簟念可蠢会有较大数量的等价内涵：将崩妁其在大规模数据库知识发现中的应用．嗣此，扩 晨曩意格的俺化表示是使其能够更有效地应用于实际问题的一个重要方面． 本文麓这一目曩晨开}十论，先介绍格的约佰有关概念．再讨论约俯格的构鼍及维护． 三、钓简格 在文簟[1。2，3]中已提出了有关定义．在此作一倚要舟绍． 毫义l，在一十概念c一(A，B—fh。B二，…。})中，如果c的某个等价内殛B膏足暑BE in忱n- ·ion)。反之，则称Bl为浃概念的基本内叠(阻出in托∞ion)． 概客的基本内囊． 商时，称(A，斟)为概念C的约筒表示，或称为约倚概念(mduoed c唧t)． 量然，概念的约倚是通过肘除概念中冗余辱价内涵部分后得到．故而，概念的约糟表示和 纛■客尊债．因此t用概念的约倚来表示概念不会出现信息丢失的情况，不会髟响规删的墨取 和知识的发现I相反，概念的约筒反映了概念的俺洁的表示形式，这种倚诂的表示形式墨实器 应用中新●兴趣的． el- 毫义3t每一■念鼍是以约艚形式表示的扩晨羹念格。称为约俯扩晨董客格(∞Imd 馏棚∞∞印tlItd髓)，f矗称为萱孽羹播(R觑)。 · 嘲 三、约筒搭的维护 竹对羹据庠的多壹性．需要解决格的堆护功●。下—圭臻}t论在格中插入一个记录时的壤 护量作。纛后讨论运算的实质．下面先给出宥美盼詹算相术语． 3．1有关蕾奉羹算瓣讨论 主义tt对■幺曩(～．B)(i=1…)．定义冉■麓之舟的积运算。o”和并运算。0’ 如下t BG喝一(B-U风lB-∈珏，取∈马h B国峨=BUB． ． 量嚣．积运算郝并运算满足交换棒和结合#．由此春量得到下面的两十龠曩- ◆是1t由约蕾曩念cI一(A1．B1)和cl一(A”岛)所生成的约俺内叠墨B1081． t …·k)． 定义5。■念C的广义超概念¨per(c)定义如下， (1)C|cI(Cl∈super(c))． (2)(cc1)^(Cl∈·u∞r(c1))辛{Cl∈·upef(c)} 叠辱价．表示为c篮cl或B望B1． 有广义超曩念cl一(～，)(i=1，．．·tk)执行A|t=_AlUA．即实现了插入操作． 证明t因为在插入前格中的概念c，满足Ⅸ=A，，待插入的概念c满足g—A．并且Br— B因此。按定义要求插入后的格中藏念cz漓足鹾一AtUA．另外，由于ct的所有广义超曩念 G在播八簟■足践=AI(．=2’．．·。k)，因此．