描述邏輯（DL）是一族知識表示形式系統(tǒng),是人工智能領(lǐng)域的一個(gè)熱門研究方向。以Baader F和Nebel B為代表的學(xué)者在描述邏輯上進(jìn)行了大量富有成果的研究。他們早期的研究方向主要是針對表達(dá)能力比較弱的描述邏輯系統(tǒng)如:εL和FL0,研究它們在非循環(huán)定義下的標(biāo)準(zhǔn)推理算法和非標(biāo)準(zhǔn)推理算法。同時(shí)在這兩人的工作基礎(chǔ)上通過增加算子等方法的擴(kuò)充工作有很多并而也出現(xiàn)很多很好的成果。近年來以Baader F發(fā)現(xiàn)循環(huán)定義下描述邏輯系統(tǒng)的表達(dá)在許多情況下更符合人們的直覺,而且具有更強(qiáng)的表達(dá)力,是非循環(huán)定義下的描述邏輯系統(tǒng)不可代替的,對此Baader F等人給出了描述邏輯系統(tǒng)εL和FL0循環(huán)定義下的三種語義包含關(guān)系推理算法和一些非標(biāo)準(zhǔn)推理算法。這些成果可謂是一個(gè)重要突破,但也可以看出其難度是很大的。在國內(nèi),蔣運(yùn)承,史忠植,王駒等人也做出了令人幸喜的結(jié)果。隨著研究工作的深入人們發(fā)現(xiàn)只帶交算子和存在算子的描述邏輯系統(tǒng)εL和只帶交算子和任意算子的描述邏輯系統(tǒng)FL0的表達(dá)力是不能令人滿意的。因此本文初步探討基于最大不動(dòng)點(diǎn)語義下描述邏輯系統(tǒng)FLε循環(huán)定義的包含關(guān)系推理算法,并給出算法的可靠性和完全性證明。說明:由20... 

【文章來源】：廣西師范大學(xué)廣西壯族自治區(qū)

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

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

【文章目錄】：
摘要
Abstract
第1章 前言
第2章 FLε概念描述語法和語義
    2.1 FLε概念描述語法和語義
    2.2 FLε循環(huán)術(shù)語集存在模型
第3章 描述圖
    3.1 正規(guī)FLε-TBox
    3.2 FLε-描述圖
    3.3 模擬關(guān)系
    3.4 FLε-描述樹
第4章 FLε循環(huán)術(shù)語集的包含關(guān)系推理算法及完全性證明
    4.1 FLε循環(huán)術(shù)語集的包含關(guān)系推理算法
    4.2 FLε循環(huán)術(shù)語集的包含關(guān)系推理算法的完全性
第5章 結(jié)束語
參考文獻(xiàn)



本文編號：3314777