主要研究面向語(yǔ)義網(wǎng)粗糙本體的粗糙描述邏輯的語(yǔ)義及推理,以及在形式概念表示的對(duì)象域中粗糙描述邏輯框架的構(gòu)建。主要工作包括以下幾個(gè)方面:一、改進(jìn)了傳統(tǒng)粗糙描述邏輯中概念可滿足性的推理算法,其中只需用到概念的子概念和出現(xiàn)在概念中的角色就可以判斷一個(gè)概念的可滿足性,說(shuō)明了算法的正確性,通過(guò)實(shí)例說(shuō)明了它的有效性。二、把形式概念的外延做為描述邏輯的概念,形式概念分析與粗糙集理論聯(lián)系起來(lái)做為基礎(chǔ)建立了兩種新的粗糙描述邏輯框架。把Y.Y.Yao等提出的方法應(yīng)用于新的粗糙描述邏輯,其中的上（下）近似算子是分別用格論算子和集合論算子來(lái)定義的,給出了基于格論的下近似新的形式。這里的近似的定義雖然不同于傳統(tǒng)的粗糙近似算子形式,但是有很好的實(shí)用性�；谶@個(gè)新穎的上（下）近似的定義,把這兩組近似算子引入到描述邏輯的結(jié)構(gòu)中形成兩種粗糙描述邏輯Fl_ALC和Fs_ALC。給出了相應(yīng)的語(yǔ)法和語(yǔ)義,最后還給出了擴(kuò)展的Tableau算法,可以用來(lái)解決相應(yīng)的推理問(wèn)題。三、在用形式概念表示的對(duì)象域中,定義了新的可定義的概念和不可定義概念,并給出一對(duì)算子來(lái)近似不可定義的概念。把整個(gè)形式概念... 

【文章頁(yè)數(shù)】：45 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 研究工作的背景與意義
    1.2 粗糙描述邏輯國(guó)內(nèi)外研究歷史與現(xiàn)狀
    1.3 本文的主要工作與創(chuàng)新
    1.4 本論文的結(jié)構(gòu)安排
第二章 預(yù)備知識(shí)
    2.1 描述邏輯基礎(chǔ)
        2.1.1 ALC的語(yǔ)法和語(yǔ)義
        2.1.2 ALC的推理問(wèn)題
    2.2 粗糙集基本理論
    2.3 形式概念分析
第三章 粗糙描述邏輯及改進(jìn)的推理算法
    3.1 粗糙描述邏輯的語(yǔ)法和語(yǔ)義
    3.2 推理問(wèn)題
    3.3 本章小結(jié)
第四章 兩種新的粗糙描述邏輯
    4.1 形式概念分析中的粗糙集
    4.2 粗糙描述邏輯ALCFl
        4.2.1 語(yǔ)法和語(yǔ)義
        4.2.2 推理問(wèn)題
    4.3 粗糙描述邏輯ALCFs
        4.3.1 語(yǔ)法和語(yǔ)義
        4.3.2 推理問(wèn)題
    4.4 本章小結(jié)
第五章 基于形式概念的粗糙描述邏輯
    5.1 形式概念分析下的粗糙集
    5.2 基于形式概念分析的粗糙描述邏輯
        5.2.1 語(yǔ)法和語(yǔ)義
        5.2.2 推理
    5.3 本章小結(jié)
第六章 總結(jié)
致謝
參考文獻(xiàn)
攻讀碩士期間取得的研究成果


【參考文獻(xiàn)】：
期刊論文
[1]描述邏輯的粗糙擴(kuò)展研究[J]. 王歲花,趙愛玲,魏濤.  計(jì)算機(jī)工程與科學(xué). 2011(02)
[2]粗糙集理論與應(yīng)用研究綜述[J]. 王國(guó)胤,姚一豫,于洪.  計(jì)算機(jī)學(xué)報(bào). 2009(07)
[3]面向語(yǔ)義Web語(yǔ)義表示的模糊描述邏輯[J]. 蔣運(yùn)承,史忠植,湯庸,王駒.  軟件學(xué)報(bào). 2007(06)
[4]描述邏輯綜述[J]. 石蓮,孫吉貴.  計(jì)算機(jī)科學(xué). 2006(01)
[5]從ALC到SHOQ（D）:描述邏輯及其Tableau算法[J]. 梅婧,林作銓.  計(jì)算機(jī)科學(xué). 2005(03)
[6]語(yǔ)義Web的邏輯基礎(chǔ)[J]. 史忠植,董明楷,蔣運(yùn)承,張海俊.  中國(guó)科學(xué)E輯:信息科學(xué). 2004(10)
[7]粗糙集理論及其應(yīng)用進(jìn)展[J]. 胡可云,陸玉昌,石純一.  清華大學(xué)學(xué)報(bào)(自然科學(xué)版). 2001(01)

博士論文
[1]描述邏輯中若干問(wèn)題的研究[D]. 鄒婷婷.吉林大學(xué) 2013



本文編號(hào)：3676618