概念格的构造、约简及形式概念分析的应用.pdfVIP

辽宁科技大学硕士论文 第=章形式概念分析综述 第二章形式概念分析综述 形式概念分析是以数学化的概念和概念层次为基础的应用数学领域，它激发了人 们对概念数据分析和知识处理的数学思考。 “概念”的基本观点是由哲学理论中的概念发展而来的，这个观点直到今天仍然 起着作用。在十九世纪数理逻辑出现时，这个观点在数学中起到了特殊的作用。然而， 后来它实际上并没有对数学思想产生影响。直到1979年，人们才重新开始研究这个 课题，并且研究地更加深入。二十世纪八十年代德国的Wille教授提出了形式概念理 论，近二十年来应用到了很多领域。实践表明，基于概念格系统的各个领域的应用与 研究都将有更好地发展。 本章主要介绍了形式概念分析的数学基础—一序理论和格理论的基本原理，概念 格的基础知识以及近几年作为概念格的推广而提出的一些非经典概念格。 2．1形式概念分析基础【3l 2．1．1半序集 定义2．1集合M与Ⅳ之间的二元关系R是有序二元组(m，丹)的集合，其中m∈M， n∈N，即R￡M×N，这里的×是笛卡尔积，(m，”)∈R。我们也常写作mRn。如 果M=N，则我们说R定义在M上。我们还用R-1表示R的逆关系。即， nR一1m§turn。 定义2．2集合M上的二元关系R称为一个偏序关系(简称偏序)，如果对所有 x，Y，z∈M者B有： (1)xRx (自反) (反对称) (2)xRy且yRx则X=Y (传递) (3)xRy且yRz则xRz 偏序关系胄常用≤来表示(R。则常用2表示)。当x≤y且x≠Y时，我们还写作XJ，。 一个集合M及其上的偏序≤形成的有序二元组(M，≤)称为半序集。 辽宁科技大学硕士论文 第二章形式概念分析综述 定义2．3口称为是b的下近邻，当口b，且没有c满足口fb。这时我们称b是口 的上近邻，并且记作口b。 每个有限的半序集(M，≤)都可用一个Hasse图来表示。这里肘的元素是Hasse 图中的点，用小圆圈代表，如果x，Y∈M且x-KY，则对应Y的圆圈应在对应x的圆圈 之上，并用一条线段把这两点连起来。图2．1给出了4个及4个以下元素的半序集的 所有可能的Hasse图。 譬。 0占 b rZ o25 妒 如 g 叭o O．I v； oQ2 ， ， ， 。≯ e 。¨，≯ 叭弘 驱 盟 勰．。 驴 g ◇拣 咿∥96Co0C 图2．14个及4个以下元素的半序集合的所有可能的Hasse图 定义2．4一个半序集(M，≤)中的两个元素X，Y，如果或者x≤Y或者Y≤x之一成立 时，称X，Y是可比的，否则称为是不可比的。如果(肘，≤)的一个子集中的任两元素都 是可比的，则称这个子集为链。如果一个子集中的任两元素都是不可比的，则称这个 子集为非链。有限半序集(M，≤)的宽度定义为(M，s)中非链大小的最大值，一般半序 集(膨，≤)的宽度定义为(M，≤)中非链大小的上确界。有限半序集(M，s)的长度定义为 (M，≤)中链大小的最大值减1。一般半序集(M，≤)的长度定义为(M，≤)中链大小的上 确界减1。 定义2．5两个半序集(M，s)及(Ⅳ，≤)之间的映射9：M寸N称为保序的，当对所有 序嵌入的，这时舻必然是单射。一个双射的序嵌入，称为(序)同构。 特别注意：只有双射的序嵌入才能保证是同构，而双射的保 序映射不一定是同构要说明一个保序映射是同构，必须说明其逆 映射存在，而且也是保序的。 图2．2双射的保序 映射卟—定是IiJl勾 定义2．6令(膨，≤)是一个半序集，4是M的子集，M中的元素J满足Va∈爿都有 6 辽宁科技大学硕士论文