形式概念分析理論研究及在面向?qū)ο蟪绦蛑械膽?yīng)用.pdf

1、形式概念分析是德國的Wille教授在20世紀80年代提出的，隨著對該理論研究的不斷深入，如何將形式概念分析理論現(xiàn)有成果應(yīng)用到面向?qū)ο蟪绦蛑幸呀?jīng)成為計算機科學領(lǐng)域的一個新課題。本文也主要研究了這一課題。概念格又稱Galois格，是形式概念分析理論中的核心數(shù)據(jù)結(jié)構(gòu)，它具體而形象地描述了概念間的偏序關(guān)系，是一種重要的知識表示結(jié)構(gòu)。本文主要研究了概念格中的幾個基本問題，取得的創(chuàng)新性研究成果如下： (1) 概念格的構(gòu)造。本文提出了一種基于

2、閉包系統(tǒng)快速生成概念的算法，該算法的優(yōu)點是生成概念簡單，而易于理解。 (2) 提出了面向?qū)ο蟪绦蛐问奖尘?。本文利用形式概念分析重要性質(zhì)：給定對象和屬性的二元關(guān)系，形式概念分析能把所有由相關(guān)的對象集合和屬性集合組成的概念構(gòu)成概念格；在概念格上，高層的概念表示共性而低層的概念表示個性。通過對現(xiàn)有面向?qū)ο髴?yīng)用程序的分析，可以得到新的類及類體系。這樣做的好處是：所得到的類體系不僅等價于應(yīng)用程序最初的類體系，而且在新體系中對象只包含它真正