發(fā)布時(shí)間：2025-01-15 11:07

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

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

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

【文章目錄】：
摘要
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 描述邏輯的語法和語義
        2.1.2 描述邏輯的相關(guā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的語法
        3.3.2 描述邏輯ALC_S-ES的語義
        3.3.3 三種描述邏輯的比較
        3.3.4 描述邏輯ALC_S-ES的基本推理問題
    3.4 本章小結(jié)
第4章 基于動態(tài)可拓集合的描述邏輯
    4.1 相關(guān)研究工作
    4.2 動態(tài)可拓集合
        4.2.1 動態(tài)可拓集合的定義
        4.2.2 統(tǒng)一集
    4.3 描述邏輯ALC_D-ES

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

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



本文編號：4027307

boshi