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

【文章頁數】：164 頁

【學位級別】：博士

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



本文編號：3670116