發(fā)布時(shí)間：2024-04-24 05:51

　　本體間的邏輯差問(wèn)題在本體維護(hù)中占重要地位,對(duì)于本體工程師理解本體不同版本間表達(dá)含義上的差別有重要的幫助作用。這是一個(gè)新興的研究領(lǐng)域。 本文研究了本體間的邏輯差問(wèn)題,重點(diǎn)討論了以下3個(gè)方面: (1)ε(?)術(shù)語(yǔ)集間概念包含型邏輯差的分層:在改進(jìn)的插值方法的基礎(chǔ)上,我們提出最一般子概念、概念差等概念,在其上,給出算法對(duì)概念包含型邏輯差進(jìn)行分層。對(duì)于這一方法,給出其在信念修正中的應(yīng)用。 (2)模糊ε(?)術(shù)語(yǔ)集間的邏輯差:在定義模糊ε(?)術(shù)語(yǔ)集間的邏輯差,給出各種預(yù)處理規(guī)則,在避免重新計(jì)算的情況下判斷各種結(jié)論是否受到影響。 (3)不同類型邏輯差間聯(lián)系的分析:對(duì)于ε(?)術(shù)語(yǔ)集間概念包含型邏輯差和實(shí)例型邏輯差間的聯(lián)系進(jìn)行分析,嘗試用后者來(lái)表達(dá)前者。對(duì)于DL_Lite本體間概念包含型邏輯差和詢問(wèn)型邏輯差間的聯(lián)系進(jìn)行分析,嘗試得到后者的緊致性表示。 未來(lái)的工作將在實(shí)現(xiàn)和理論兩個(gè)方面進(jìn)行。在系統(tǒng)的實(shí)現(xiàn)方面,嘗試不同的優(yōu)化算法,以獲得系統(tǒng)的可擴(kuò)展性和重用性。在理論上繼續(xù)探討不同類型的邏輯差間的聯(lián)系,以及相互表達(dá)、緊致性表示問(wèn)題。

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

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

【文章目錄】：
內(nèi)容提要
摘要
Abstract
第1章 緒論
    1.1 產(chǎn)生背景
        1.1.1 描述邏輯與本體
        1.1.2 推理問(wèn)題的演化
        1.1.3 本體模塊理論
        1.1.4 本體的不確定性推理
    1.2 已有研究
    1.3 研究入手點(diǎn)
        1.3.1 本體應(yīng)用方面
        1.3.2 理論研究方面
    1.4 論文的組織
第2章 ε(?)術(shù)語(yǔ)集間邏輯差的分析及應(yīng)用
    2.1 引言
    2.2 描述邏輯ε(?)
        2.2.1 語(yǔ)言及推理問(wèn)題
        2.2.2 推理問(wèn)題
    2.3 ε(?)術(shù)語(yǔ)集間的邏輯差
        2.3.1 本體間的邏輯差
        2.3.2 ε(?)術(shù)語(yǔ)集間的邏輯差
    2.4 對(duì)概念包含型邏輯差的分析
        2.4.1 改進(jìn)的插值方法
        2.4.2 概念差
        2.4.3 對(duì)邏輯差進(jìn)行分層
        2.4.4 實(shí)驗(yàn)結(jié)果
    2.5 概念包含型邏輯差在信念修正中的應(yīng)用
        2.5.1 信念修正簡(jiǎn)介
        2.5.2 應(yīng)用概念包含型邏輯差
    2.6 小結(jié)
第3章 模糊ε(?)術(shù)語(yǔ)集間的邏輯差
    3.1 引言
    3.2 模糊ε(?)描述邏輯
        3.2.1 語(yǔ)言介紹
        3.2.2 推理算法
    3.3 模糊f_G-ε(?)術(shù)語(yǔ)集間的邏輯差
        3.3.1 邏輯差的定義
        3.3.2 求解策略
    3.4 應(yīng)用于本體的訪問(wèn)控制問(wèn)題
    3.5 小結(jié)
第4章 不同類型邏輯差間的聯(lián)系
    4.1 引言
    4.2 ε(?)術(shù)語(yǔ)集間邏輯差研究
        4.2.1 實(shí)例型邏輯差
        4.2.2 實(shí)例型邏輯差的求法
        4.2.3 對(duì)概念包含型邏輯差的表達(dá)
    4.3 DL_Lite描述邏輯中的邏輯差
        4.3.1 背景知識(shí)
        4.3.2 DL_Lite_bool邏輯差的求法與緊致表達(dá)
        4.3.3 DL_Lite_horn邏輯差的求法與表達(dá)
    4.4 小結(jié)
第5章 結(jié)論與未來(lái)工作
    5.1 結(jié)論
    5.2 未來(lái)工作
參考文獻(xiàn)
攻讀博士學(xué)位期間發(fā)表的論文及參加的項(xiàng)目
致謝



本文編號(hào)：3963322