描述邏輯(Description Logic)是基于對(duì)象的知識(shí)表示的形式化，是一階謂詞邏輯的一個(gè)可判定子集，用于描述及推理概念知識(shí)。除了知識(shí)表示以外，描述邏輯還用在其它許多領(lǐng)域，它被認(rèn)為是以對(duì)象為中心的知識(shí)表示語言的最為重要的歸一形式。描述邏輯的重要特征是很強(qiáng)的表達(dá)能力和可判定性，它能保證推理算法總能停止，并返回正確的結(jié)果。描述邏輯最開始只是用來表示靜態(tài)知識(shí)的。為了考慮在時(shí)間上的變化，或者在一定動(dòng)作下的變化，以及保持其語言的相對(duì)簡(jiǎn)單性，很自然地想到用相應(yīng)的模態(tài)算子來擴(kuò)展它，以保留其命題模態(tài)狀態(tài)。眾所周知，即使只是對(duì)簡(jiǎn)單的模態(tài)系統(tǒng)的綜合，也可能會(huì)導(dǎo)致很復(fù)雜的系統(tǒng)。在本文的第一章中將談到研究者們通過添加相應(yīng)的算子來對(duì)描述邏輯進(jìn)行的一些擴(kuò)展（如時(shí)態(tài)、模糊、動(dòng)態(tài)等）及其可判定性和推理算法的正確性。 現(xiàn)實(shí)世界中大部分的信息都具有時(shí)間屬性和模糊性、不精確性的特點(diǎn)，并通過分析時(shí)態(tài)邏輯和模糊描述邏輯可知，傳統(tǒng)的模糊描述邏輯對(duì)隨時(shí)間變化的不精確知識(shí)缺乏表達(dá)能力，針對(duì)這一問題本文在模糊描述邏輯FALC的基礎(chǔ)上通過添加時(shí)間屬性算子，用Allen區(qū)間關(guān)系來表示時(shí)間區(qū)間關(guān)系，并結(jié)合Vague集的運(yùn)算，本文提出一...

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

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

【文章目錄】：
摘要
Abstract
本文中的符號(hào)說明
第一章 緒論
    1.1 研究的背景和意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 研究?jī)?nèi)容
    1.4 文章結(jié)構(gòu)
第二章 基于時(shí)間區(qū)間關(guān)系的時(shí)態(tài)模糊描述邏輯
    2.1 TFDL(IntervalAllen)的語法、語義及知識(shí)庫表示
        2.1.1 Vague 集
        2.1.2 Allen 區(qū)間
        2.1.3 TFDL(IntervalAllen) 的語法
        2.1.4 TFDL(IntervalAllen)的語義
        2.1.5 TFDL(IntervalAllen)的知識(shí)庫及其解釋
    2.2 TFDL(IntervalAllen)的基本性質(zhì)
        2.2.1 概念模糊等價(jià)
        2.2.2 蘊(yùn)涵關(guān)系
第三章 時(shí)態(tài)模糊描述邏輯 TFDL(IntervalAllen)的推理算法
    3.1 描述邏輯的主要推理問題
        3.1.1 概念的推理任務(wù)
        3.1.2 消除 TBox
        3.1.3 ABox 推理
    3.2 TFDL(IntervalAllen)概念可滿足性算法
        3.2.1 描述邏輯 ALCN 的概念的可滿足性算法
        3.2.2 TFDL(IntervalAllen)的 Tableau 算法
    3.3 TFDL(IntervalAllen) Tableau 算法正確性的證明
        3.3.1 Tableau 推理算法的可終止性
        3.3.2 Tableau 推理算法的可靠性
        3.3.3 Tableau 推理算法的完全性
    3.4 TFDL(IntervalAllen)的其他推理以及轉(zhuǎn)化證明
        3.4.1 概念的模糊包含問題及其轉(zhuǎn)化證明
        3.4.2 概念的模糊等價(jià)問題及其轉(zhuǎn)化證明
        3.4.3 概念不相交問題及其的轉(zhuǎn)化證明
第四章 實(shí)例分析
    4.1 知識(shí)庫的表示及其語義推導(dǎo)實(shí)例
    4.2 TFDL(IntervalAllen)的推理算法的實(shí)例
第五章 總結(jié)與展望
    5.1 工作總結(jié)
    5.2 工作展望
致謝
參考文獻(xiàn)
在讀期間已發(fā)表或錄用的論文



本文編號(hào)：3870791