【摘要】：描述邏輯是知識表示的一種形式,而且在知識表示中,我們一般會假設(shè)一個知識表示系統(tǒng)總能在一個合理的時間內(nèi)回答用戶的查詢,所以研究描述邏輯的人所感興趣的就是這個推理的過程,即決策的過程.不管它的答案是肯定的還是否定的,總之它這個過程都是要結(jié)束的.所以,研究一個包含決策推理的問題的描述邏輯的計算復(fù)雜度是很重要的.而它推理問題的確定度和復(fù)雜度依賴正在使用的描述邏輯的表達能力.描述邏輯的表達能力制約著其推理問題的復(fù)雜度.表達能力很強的描述邏輯系統(tǒng),它推理問題可能會變得很復(fù)雜.所以研究DL的表達能力與其推理復(fù)雜度是非常有必要的.循環(huán)定義可以增強描述邏輯的表達能力,而且在許多實際運用中都是不可避免的.除此之外,循環(huán)定義還能夠為用戶建立描述邏輯知識庫,并使所表示的知識或公理符合人們的直覺,如果沒有循環(huán)定義,用非循環(huán)定義來描述,這樣就會使得知識庫變得非常復(fù)雜,用戶也會很難理解.所以,不管是從理論上,還是從實際運用上,研究描述邏輯循環(huán)定義都是很有價值的.循環(huán)術(shù)語一直都是描述邏輯的研究難點,其基本的問題就是語義和推理問題沒有得到合理的解決.本文就描述邏輯循環(huán)術(shù)語集的研究現(xiàn)狀和存在的問題進行分析,將Badder的研究工作擴展到新的方向.針對更具有表達能力的描述邏輯系統(tǒng),研究了循環(huán)術(shù)語集的語義及推理機制,蔣運承等人在描述邏輯εL的基礎(chǔ)上添加了數(shù)量約束構(gòu)造算子N,提出了DL系統(tǒng)εLN給出了εLN的語義(包括最大不動點語義、最小不動點語義和描述語義).并且根據(jù)Baader研究出的描述圖之間的模擬關(guān)系的條件給出了不動點語義下εLN循環(huán)術(shù)語集的可滿足性和包含關(guān)系推理算法,并證明了推理算法是多項式時間復(fù)雜的.由εLN系統(tǒng)引出的思考,針對εL系統(tǒng),增加在一定范圍內(nèi)的角色后繼的數(shù)量約束構(gòu)造算子Q,提出了描述邏輯系統(tǒng)εLQ,εLN與εLQ的區(qū)別就在于前者僅是后繼的數(shù)量限制,后者是規(guī)定在一定范圍內(nèi)的后繼的數(shù)量限制.根據(jù)εLQ的需要重新的定義了描述圖(包括語法描述圖和語義描述圖).本文主要是在描述語義下討論εLQ的可滿足性.從前人的工作中發(fā)現(xiàn)Badder的結(jié)論中的模擬條件GT～GJ太抽象,太苛刻了,本文想舍去.試圖從這一模擬的條件中尋找更為簡單的方法,來研究這兩圖之間的關(guān)系即路徑圖之間的匹配關(guān)系.用路徑匹配的方法判斷其可滿足性,從而將抽象的結(jié)論化為具體的,便于人理解的結(jié)論.論文的主要工作：(1)介紹描述邏輯的基本內(nèi)容及其研究價值,循環(huán)定義及其術(shù)語集的研究現(xiàn)狀,給出循環(huán)定義,特別是εLQ系統(tǒng)的語義及語法.根據(jù)εLQ系統(tǒng)的語義及語法重新畫出相對應(yīng)的語義描述圖及語法描述圖.(2)研究εLQ系統(tǒng)的語義描述圖及語法描述圖,并利用Badder的模擬的條件來研究它們之間的關(guān)系.通過這一結(jié)論來驗證我們引進的新的方法,路徑匹配.(3)給出路徑匹配的定義,通過對個案的研究發(fā)現(xiàn)若兩圖匹配則語義描述圖上的每一個節(jié)點都是被定義概念上的解.這樣做的目的是讓人站在另一角度去看待解即可滿足性這一個定義,能更直觀容易地理解可滿足性這一個概念.只要一看到被定義概念的語義路徑圖,就可以馬上判斷它是否有非平凡解,解是什么.
[Abstract]:......
【學(xué)位授予單位】：廣西師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：O141

【相似文獻】

相關(guān)期刊論文 前2條

1 孫寰;;論術(shù)語的變異性質(zhì)[J];中國科技術(shù)語;2010年02期

2 ;[J];;年期

相關(guān)碩士學(xué)位論文 前4條

1 孟慶義;面向海量RDF數(shù)據(jù)的術(shù)語集冗余劃分及放置研究[D];天津大學(xué);2014年

2 梁芳萍;εLQ系統(tǒng)循環(huán)定義術(shù)語集的可滿足性推理[D];廣西師范大學(xué);2015年

3 農(nóng)春妮;IS-εL系統(tǒng)循環(huán)定義術(shù)語集的可滿足性推理[D];廣西師范大學(xué);2015年

4 蘇靜;本體調(diào)試中標(biāo)簽有序化及公理的擴展選擇[D];吉林大學(xué);2014年

，

本文編號：2270577