屬性探索算法研究.pdf

1、屬性探索算法是形式概念分析中通過(guò)詢問(wèn)專家一系列問(wèn)題來(lái)獲取包含關(guān)系知識(shí)的工具,它可以求出形式背景的所有內(nèi)涵和主基。Baader等人于2004-2007年將FCA方法引入描述邏輯中,建立了初步的屬性探索算法。文章介紹了他們提出的屬性探索算法,在數(shù)學(xué)軟件MATLAB實(shí)現(xiàn)該算法,還研究了該算法會(huì)產(chǎn)生冗余計(jì)算的可能情形。然后從相關(guān)性的角度建立了兩種改進(jìn)算法,并證明了它們的正確性。由于經(jīng)典的描述邏輯只能對(duì)精確知識(shí)進(jìn)行表示和推理,不能對(duì)不確定或不精確

2、知識(shí)進(jìn)行表示和推理,為了讓描述邏輯能對(duì)不確定或不精確知識(shí)進(jìn)行表示和推理,許多學(xué)者對(duì)經(jīng)典的描述邏輯進(jìn)行了擴(kuò)充,粗描述邏輯是經(jīng)典描述邏輯的一類重要擴(kuò)充。本文將研究屬性探索算法在粗描述邏輯RALCQ系統(tǒng)有窮基問(wèn)題的應(yīng)用。本文的內(nèi)容安排如下：第一章：前言。第二章：預(yù)備知識(shí)。第三章：屬性探索算法,本章主要介紹了屬性探索算法的設(shè)置及實(shí)例計(jì)算,在數(shù)學(xué)軟件MATLAB實(shí)現(xiàn)該算法。第四章：屬性探索算法的改進(jìn)算法。本章主要研究了屬性探索算法會(huì)產(chǎn)生冗余計(jì)算的

3、可能情形,從相關(guān)性的角度建立了兩種改進(jìn)算法,并證明了它們的正確性。第五章：屬性探索算法在粗描述邏輯RALCQ系統(tǒng)有窮基問(wèn)題的應(yīng)用。對(duì)于給定了基本解釋的粗TBox ,通過(guò)它的支持集合可以定義形式背景,運(yùn)用形式概念分析中的屬性探索算法計(jì)算出該形式背景的一個(gè)屬性蘊(yùn)涵基,即Duquenne-Guigues Base,得到算法3：第一：用算法2求出粗TB的支持集合P ；第二：由定義5.4.6構(gòu)建形式背景K = (O , P , S )；第三：用算