资源描述：
《基于属性蕴含形式背景生成》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、基于属性蕴含形式背景生成摘要：形式概念分析是近年来发展较快的一种用于数据挖掘的工具，它广泛地应用于机器学习、软件配置、信息获取、知识管理和软件工程等领域。以前大家研究的内容都是基于属性之间没有关联，给出相应的形式背景，然后得出概念格的，并在此基础进行约简和优化。然而在现实中属性之间存在诸如蕴涵、依赖等关系的。本文论述了基于一些属性间的蕴涵式来生成一个形式背景的算法，拓广了形式背景的生成的方法。关键词：格；形式背景；概念格中图分类号:0236文献标识码：A文章编号:1007-9599(2012)19-0000-021引言形
2、式概念分析又称为概念格理论，是由德国的数学家Wille教授于1982年作为一种数学理论首先提出的［1］,它是一种基于概念和概念层次的数学化表达的应用数学的一个分支，在应用形式概念分析理论时，需要用数学的思维方式进行概念数据分析和知识的处理［2］。近年来，形式概念分析的应用得到了迅速发展，广泛应用于机器学习、软件配置、信息获取、知识管理和软件工程等领域［3］。概念格的构造是形式概念分析应用的前提条件，为此许多学者进行了广泛的研究，许多构造算法也相继被提出，这些算法主要分为两大类：批处理算法（如Bordat算法［4］、che
3、in算法⑸、Ganter算法⑹）和渐进式算法（如Godin算法［7］、capineto算法［8］）。同时国内许多学者也提出了一些概念格的构造算法［9-10］,并在此基础上进行优化。但从参考文献：4］-［10］可以看出，目前人们对形式概念分析的研究都是基于已建立的形式背景或概念格，而对怎样建立形式背景目前还没有看到报道。本文讨论基于属性蕴含式生成形式背景的算法，如ab,则某对象如果具有属性a则一定具有属性b,而只有属性a或者只有属性b,则是不符合要求的对象。此算法的提出，弥补了形式背景生成这个方面的空缺，对进一步完善形式背
4、景的研究有一定的意义。2基本概念定义1设R为定义在集合X上的二元关系，如果对于每一个x£X,有xRx则称关系R是自反的。R在X上是自反的（x）（xGXxRx）定义2设R为定义在集合X上的二元关系，如果对于每个x,yEX,每当xRy,就有yRx,则称集合X上的关系R是对称的。R在X上对称（x）（y）（xWXyWXxRyyRx）定义3设R为定义在集合X上的二元关系，如果对于每一个x,y£X,每当xRy和yRx必有x二y,则称R在X上是反对称的，即R在X上是反对称的(x)(y)(xWXyWXxRyyRxx=y)定义4设R为定义
5、在集合X上的二元关系，如果对于任意，x,y,zUX,每当xRy,yRz时就有xRz,称关系R在X上是传递的。R在X上传递(x)(y)(z)(x^Xy^Xz^XxRyyRzxRz)定义5设A是一个集合，如果A上的一个关系R,满足自反性，反对称性和传递性，则称R是A上的一个偏序关系，并把它记为“W”o序偶称作偏序集。定义6设是一个偏序集，如果A中任意两个元素都有最小上界和最大下界，则称为格。定义7设是一个格,如果在A上定义两个运算V和使得对任意的a,bWA,aVb等于a和b的最小上界，aAb等于a和b的最大下界，，那么称为由
6、格所诱导的代数系统。二元运算V和/分别为并运算和交运算。定义8设U是对象的集合，M是属性的集合，I是两个集合U与M间的关系，则称三元组K=(U,M,I)为一个形式背景(简称背景)，(u,m)£1(或写作ulm)表示对象u具有属性m。定义9设K二(U,M,I)是一个背景，若AU,BM,f(A)={mM
7、u^A,(u,m)£1},g(B)={u£U
8、m£B,(u,m)£1}如果A,B满足f(A)二B,g(B)二A,则我们称二元组(A,B)是一个概念。A是概念(A,B)的外延，B是概念(A,B)的内涵。例1：给出表1中的背景
9、，其中对象集U={1,2,3,4,5},属性集M={a,b,c,d,e,f},求出其所有概念。3由满足偏序关系的属性蕴含式来构造形式背景情形一：对于给定的所有蕴含式，如果这些蕴含式满足偏序关系，且“”左右只有一个属性，即蕴含式均为xy的形式。采用如下方法：①生成一个n阶的矩阵(n为元素的个数)，将主对角线上的元素置为1。②遍历所有蕴含式，如果满足xy形式的，就在相应位置置为lo③将该矩阵的最终结果赋给A[0],A[1]=A[O]*A[O],A⑵=A[1]*A[O]A[n]=A[nT]*A[0]。④将A[n]中所有大于1的
10、都重置为1,并对从A[0]到A[n]的每个矩阵中相同位置的元素求或运算，将结果赋给resulto⑤遍历result中每行元素，如果某i行中所存在的属性都包含在行j中，则将i行所有的元素的值置为0,矩阵result中一行元素除主对角线元素外不全为0的行即为所求。情形二：对于给定的所有蕴含式，如果这些蕴含式表示的关系满足
