描述邏輯是一種基于對(duì)象的知識(shí)表示的形式化工具,在眾多知識(shí)表示的形式化方法中,它越來(lái)越受到人們的特別關(guān)注,尤其是隨著本體和語(yǔ)義Web研究的不斷升溫,作為本體語(yǔ)言和語(yǔ)義Web邏輯基礎(chǔ)的描述邏輯更成為了研究的熱點(diǎn)問(wèn)題。 根據(jù)應(yīng)用領(lǐng)域的不同需求,需要描述的信息各式各樣、紛繁復(fù)雜,這就要求描述邏輯能夠具有表達(dá)各類(lèi)知識(shí)的能力,但是,傳統(tǒng)的描述邏輯只能描述靜態(tài)的、確定的知識(shí),表達(dá)能力有限,所以必須對(duì)它進(jìn)行擴(kuò)展研究。為了使它不僅能夠?qū)?dòng)態(tài)的、模糊的知識(shí)進(jìn)行表示和推理,而且能夠描述矛盾問(wèn)題的求解策略,以實(shí)現(xiàn)策略的共享和重用,本文引入可拓學(xué)中的可拓集合和可拓變換,對(duì)傳統(tǒng)的描述邏輯進(jìn)行如下擴(kuò)展： 首先,針對(duì)傳統(tǒng)描述邏輯不能描述模糊信息,而模糊擴(kuò)展的描述邏輯雖然可以描述模糊信息,但不適合于描述矛盾問(wèn)題的不足,提出了一種基于靜態(tài)可拓集合的描述邏輯。該描述邏輯采用靜態(tài)可拓集合代替經(jīng)典集合和模糊集合作為描述邏輯的集合論基礎(chǔ),對(duì)領(lǐng)域概念、關(guān)系以及個(gè)體等進(jìn)行語(yǔ)義解釋,并對(duì)傳統(tǒng)描述邏輯斷言集的一致性檢測(cè)算法Tableau算法進(jìn)行擴(kuò)展,實(shí)現(xiàn)對(duì)關(guān)聯(lián)度值為正負(fù)域的斷言的擴(kuò)充,從而判定斷言集的一致性。 然后...

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

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 課題的研究意義
    1.2 描述邏輯的研究現(xiàn)狀
    1.3 本文的工作
    1.4 論文的組織結(jié)構(gòu)
第2章 描述邏輯與可拓學(xué)的相關(guān)理論基礎(chǔ)
    2.1 描述邏輯基礎(chǔ)
        2.1.1 描述邏輯的語(yǔ)法和語(yǔ)義
        2.1.2 描述邏輯的相關(guān)推理問(wèn)題
        2.1.3 模糊描述邏輯FALC
    2.2 可拓學(xué)相關(guān)基礎(chǔ)
    2.3 本章小結(jié)
第3章 基于靜態(tài)可拓集合的描述邏輯
    3.1 相關(guān)研究工作
    3.2 靜態(tài)可拓集合與模糊集合比較
    3.3 描述邏輯ALCS-ES

        3.3.1 描述邏輯ALC_S-ES的語(yǔ)法
        3.3.2 描述邏輯ALC_S-ES的語(yǔ)義
        3.3.3 三種描述邏輯的比較
        3.3.4 描述邏輯ALC_S-ES的基本推理問(wèn)題
    3.4 本章小結(jié)
第4章 基于動(dòng)態(tài)可拓集合的描述邏輯
    4.1 相關(guān)研究工作
    4.2 動(dòng)態(tài)可拓集合
        4.2.1 動(dòng)態(tài)可拓集合的定義
        4.2.2 統(tǒng)一集
    4.3 描述邏輯ALC_D-ES

        4.3.1 描述邏輯ALC_D-ES的語(yǔ)法
        4.3.2 描述邏輯ALC_D-ES的語(yǔ)義
        4.3.3 三種描述邏輯比較
        4.3.4 描述邏輯ALC_D-ES的基本推理問(wèn)題
    4.4 本章小結(jié)
第5章 帶限定性數(shù)目約束的可拓描述邏輯
    5.1 相關(guān)研究工作
    5.2 描述邏輯ALCQ和FALCQ
    5.3 描述邏輯ALCQ_D-ES

        5.3.1 描述邏輯ALCQ_D-ES的語(yǔ)法
        5.3.2 描述邏輯ALCQ_D-ES的語(yǔ)義
        5.3.3 描述邏輯ALCQ_D-ES的基本推理問(wèn)題
    5.4 本章小結(jié)
結(jié)論
參考文獻(xiàn)
攻讀博士學(xué)位期間發(fā)表的論文和取得的科研成果
致謝



本文編號(hào)：4027307

boshi