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

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

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

【學位級別】：博士

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 課題的研究意義
    1.2 描述邏輯的研究現(xiàn)狀
    1.3 本文的工作
    1.4 論文的組織結構
第2章 描述邏輯與可拓學的相關理論基礎
    2.1 描述邏輯基礎
        2.1.1 描述邏輯的語法和語義
        2.1.2 描述邏輯的相關推理問題
        2.1.3 模糊描述邏輯FALC
    2.2 可拓學相關基礎
    2.3 本章小結
第3章 基于靜態(tài)可拓集合的描述邏輯
    3.1 相關研究工作
    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 本章小結
第4章 基于動態(tài)可拓集合的描述邏輯
    4.1 相關研究工作
    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 本章小結
第5章 帶限定性數(shù)目約束的可拓描述邏輯
    5.1 相關研究工作
    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 本章小結
結論
參考文獻
攻讀博士學位期間發(fā)表的論文和取得的科研成果
致謝



本文編號：4027307

boshi