描述邏輯是一類用于表達(dá)結(jié)構(gòu)化的知識,并按照規(guī)則來提取和推理的形式化語言,它是語義網(wǎng)本體的邏輯基礎(chǔ)。在語義網(wǎng)這種開放變化的、異地合作的環(huán)境中,獲得的信息通常是不完美的�；诿枋鲞壿嫳硎镜闹R庫或本體可能包含不協(xié)調(diào)的知識,而描述邏輯不能處理不協(xié)調(diào)的知識。超協(xié)調(diào)方法指利用非經(jīng)典的推理關(guān)系,使矛盾能被容納但從矛盾卻不能推出一切――這被稱為超協(xié)調(diào)性。超協(xié)調(diào)描述邏輯為描述邏輯提供一種滿足超協(xié)調(diào)性的推理機(jī)制。本文主要研究超協(xié)調(diào)描述邏輯,主要工作包括:1.針對多值描述邏輯不滿足消解規(guī)則,提出了一種準(zhǔn)經(jīng)典描述邏輯,給出了準(zhǔn)經(jīng)典描述邏輯的表演算和歸約算法,并初步實(shí)現(xiàn)了OWLDL超協(xié)調(diào)推理系統(tǒng)PROSE。2.針對準(zhǔn)經(jīng)典描述邏輯不滿足協(xié)調(diào)性保護(hù)性質(zhì)和排中律,提出了極小悖論描述邏輯,并給出了極小悖論描述邏輯的帶標(biāo)記的極小表演算。3.針對基于多值的超協(xié)調(diào)方法和基于協(xié)調(diào)子集的超協(xié)調(diào)方法對引起不協(xié)調(diào)雙方缺乏主次之分,提出了辯論描述邏輯,并給出了描述邏輯DL-Lite上的辯元搜索算法。 

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

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

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 研究背景
    1.2 問題陳述
    1.3 主要工作
    1.4 文章結(jié)構(gòu)
第二章 描述邏輯和超協(xié)調(diào)邏輯
    2.1 描述邏輯
        2.1.1 描述邏輯的語法語義
        2.1.2 低計(jì)算復(fù)雜度的描述邏輯
        2.1.3 描述邏輯的推理問題及其表演算
    2.2 超協(xié)調(diào)邏輯
        2.2.1 多值邏輯
        2.2.2 準(zhǔn)經(jīng)典邏輯
        2.2.3 辯論邏輯
第三章 多值描述邏輯
    3.1 四值描述邏輯
        3.1.1 強(qiáng)表達(dá)能力的四值描述邏輯族
        3.1.2 易處理的四值描述邏輯
    3.2 悖論描述邏輯
        3.2.1 描述邏輯的悖論語義
        3.2.2 悖論描述邏輯的表演算
第四章 準(zhǔn)經(jīng)典描述邏輯
    4.1 準(zhǔn)經(jīng)典描述邏輯的語法與語義
        4.1.1 準(zhǔn)經(jīng)典描述邏輯的弱滿足關(guān)系與強(qiáng)滿足關(guān)系
        4.1.2 準(zhǔn)經(jīng)典描述邏輯的準(zhǔn)經(jīng)典模型
        4.1.3 準(zhǔn)經(jīng)典描述邏輯的推論問題
    4.2 準(zhǔn)經(jīng)典描述邏輯的推理算法
        4.2.1 準(zhǔn)經(jīng)典描述邏輯的表演算
        4.2.2 準(zhǔn)經(jīng)典描述邏輯的歸約算法及實(shí)現(xiàn)
    4.3 相關(guān)工作
第五章 極小悖論描述邏輯
    5.1 悖論描述邏輯的極小不協(xié)調(diào)語義
    5.2 極小悖論描述邏輯的表演算
    5.3 相關(guān)工作
第六章 辯論描述邏輯
    6.1 描述邏輯的辯論框架
        6.1.1 描述邏輯的辯元
        6.1.2 描述邏輯的辯論框架
    6.2 描述邏輯的推理服務(wù)
        6.2.1 描述邏輯的蘊(yùn)含關(guān)系
        6.2.2 辯論描述邏輯的推理算法
    6.3 相關(guān)工作
第七章 總結(jié)和展望
    7.1 工作總結(jié)
    7.2 工作展望
參考文獻(xiàn)
附錄一 個人簡歷、在學(xué)期間的研究成果
附錄二 中英文術(shù)語、記號
致謝
后記



本文編號：3670116