隨著語義Web的不斷發(fā)展和應(yīng)用,描述邏輯以易于理解的形式化表示和完善的推理機(jī)制等特點(diǎn),成為語義Web中實(shí)現(xiàn)知識(shí)表示和推理的邏輯基礎(chǔ)。描述邏輯是一階謂詞邏輯的可判定子集,在語義Web真正付諸應(yīng)用中發(fā)揮著至關(guān)重要的作用。在現(xiàn)實(shí)世界應(yīng)用中,許多領(lǐng)域包含著大量的模糊時(shí)空知識(shí)（靜態(tài)模糊時(shí)空知識(shí)和動(dòng)態(tài)模糊時(shí)空知識(shí)）。隨著大量的模糊時(shí)空知識(shí)及其相關(guān)應(yīng)用被納入到語義Web中,描述邏輯成為解決模糊時(shí)空知識(shí)表示與推理問題的有效方法�；诿枋鲞壿嫷哪：龝r(shí)空擴(kuò)展研究將為語義Web和許多領(lǐng)域?qū)崿F(xiàn)模糊時(shí)空知識(shí)的自動(dòng)推理提供可行的解決途徑。然而,目前有關(guān)基于描述邏輯的模糊時(shí)空知識(shí)表示與推理的研究還很少。因此,如何擴(kuò)展描述邏輯使其能夠具備模糊時(shí)空知識(shí)表示與推理的能力成為語義Web和許多領(lǐng)域亟待解決的重要研究問題。為此,本文系統(tǒng)地研究了基于描述邏輯的模糊時(shí)空知識(shí)表示與推理,從模糊時(shí)空知識(shí)的形式化表示,靜態(tài)模糊時(shí)空知識(shí)的推理和動(dòng)態(tài)模糊時(shí)空知識(shí)的推理三個(gè)方面展開了深入的研究。具體的創(chuàng)新性研究成果包括以下幾個(gè)方面:（1）針對現(xiàn)實(shí)時(shí)空應(yīng)用中模糊時(shí)空知識(shí)的形式化表示問題,提出了模糊時(shí)空對象及其拓?fù)潢P(guān)系的表示模型（框架）。首先,在... 

【文章來源】：東北大學(xué)遼寧省 211工程院校 985工程院校 教育部直屬院校

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

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

【部分圖文】：

圖３．２模糊線的圖形化表示??

?Ｐ＇??圖３．１模糊點(diǎn)Ｐ的圖形化表示??Ｆｉｇ．?３．１?Ａ?ｇｒａｐｈｉｃａｌ?ｒｅｐｒｅｓｅｎｔａｔｉｏｎ?ｏｆ?ｆｕｚｚｙ?ｐｏｉｎｔ?Ｐ??定義３．２?（模糊線）：設(shè)Ｚ是任意的一個(gè)模糊線，則３Ｌ、和廣分別表示模??糊線Ｚ的邊界、外部和內(nèi)部。對于任意的邊界３Ｚ，存在隸屬函數(shù)滿足０??＜處Ｓ?１，其中Ｘ和少分別表示模糊線Ｚ的ｘ軸坐標(biāo)和少軸坐標(biāo)。模糊線Ｚ的圖??形化表示如圖３．２所示。??乙（）???????Ｌ＇??圖３．２模糊線的圖形化表示??Ｆｉｇ．?３．２?Ａ?ｇｒａｐｈｉｃａｌ?ｒｅｐｒｅｓｅｎｔａｔｉｏｎ?ｏｆ?ｆｕｚｚｙ?ｌｉｎｅ?Ｌ??模糊區(qū)域具有模糊邊界，其可能的位置是在一個(gè)己知的區(qū)域范圍內(nèi)。??定義３．３?（模糊區(qū)域）．？設(shè)７？是任意的一個(gè)模糊區(qū)域，且由兩個(gè)經(jīng)典的區(qū)域??Ｚ？ｄ和辦組成，其中ｉ？ｄ表示的是模糊區(qū)域的確定部分，辦表示模糊區(qū)域的模??糊部分。設(shè)３私和３辦分別是模糊區(qū)域的內(nèi)邊界和外邊界，其中這兩個(gè)邊界對??應(yīng)的隸屬度分別為１和０。／Ｔ表示Ｘ的外部。模糊區(qū)域的圖形化表示如圖３．３??所示。從此圖可知

的運(yùn)動(dòng)可以表示為一些簡單的函數(shù)，比如，時(shí)態(tài)函數(shù)。下面以一個(gè)例子來展示模??糊時(shí)空對象的圖形化表示。??如圖３．４所示，對于一個(gè)移動(dòng)模糊區(qū)域０，時(shí)間被切分為三個(gè)部分，分別是??０，／２和〖３，其中當(dāng)如＝?時(shí)，〇的位置被顯不為最左邊圖。當(dāng)??＝ｆ２時(shí)，Ｏ的位置被顯示為中間圖。類似地，最右邊的圖顯示的是當(dāng)＝?時(shí)??〇的位置。??通過整合圖３．４中三個(gè)時(shí)間點(diǎn)的位置，可以得在時(shí)間區(qū)間內(nèi)（從Ａ到６）—??個(gè)移動(dòng)模糊區(qū)域〇的圖形化表示，如圖３．５所示。該圖將時(shí)間看成是第三空間幾??何維。也就是說，圖３．５描述了一個(gè)移動(dòng)模糊區(qū)域０在一個(gè)時(shí)間內(nèi)的移動(dòng)軌跡。??此外，移動(dòng)模糊點(diǎn)和移動(dòng)模糊線的圖形化表示可以通過移動(dòng)模糊區(qū)域的表示過程??類似給出，本節(jié)不再贅述。??Ｉ?＾?Ｉ?ｔ＝ｔ２?革?Ｍ??（參）??（參）?｜??、、?！??Ｉ?｜?！??？?ｖ?ｌ?Ｖ?Ｊ???＾?Ｖ??八?Ｗ?Ａ?■?Ａ??圖３．４移動(dòng)模糊區(qū)域Ｏ的位置變化：（ｉ）最左邊圖表示時(shí)間／

【參考文獻(xiàn)】：
期刊論文
[1]時(shí)間復(fù)雜性和空間復(fù)雜性研究[J]. 高強(qiáng),徐心和.  智能系統(tǒng)學(xué)報(bào). 2014(05)
[2]分支時(shí)態(tài)描述邏輯ALC-CTL及其可滿足性判定[J]. 李屾,常亮,孟瑜,李鳳英.  計(jì)算機(jī)科學(xué). 2014(03)
[3]模糊時(shí)空XML數(shù)據(jù)拓?fù)潢P(guān)系表示和確定的研究[J]. 柏祿一,嚴(yán)麗,馬宗民.  東北大學(xué)學(xué)報(bào)(自然科學(xué)版). 2013(06)
[4]時(shí)態(tài)描述邏輯ALC-LTL的Tableau判定算法[J]. 常亮,王娟,古天龍,董榮勝.  計(jì)算機(jī)科學(xué). 2011(08)
[5]可判定的時(shí)序動(dòng)態(tài)描述邏輯[J]. 常亮,史忠植,古天龍,王曉峰.  軟件學(xué)報(bào). 2011(07)
[6]時(shí)空本體及其邏輯基礎(chǔ)研究現(xiàn)狀與展望[J]. 王生生,劉大有,李昕,姜新雷,袁旻昱.  計(jì)算機(jī)科學(xué). 2008(12)
[7]動(dòng)態(tài)描述邏輯的Tableau判定算法[J]. 常亮,史忠植,邱莉榕,林芬.  計(jì)算機(jī)學(xué)報(bào). 2008(06)
[8]面向語義Web語義表示的模糊描述邏輯[J]. 蔣運(yùn)承,史忠植,湯庸,王駒.  軟件學(xué)報(bào). 2007(06)
[9]時(shí)空數(shù)據(jù)模型及TGIS研究[J]. 王賀封.  測繪與空間地理信息. 2006(04)
[10]從空間到時(shí)間——時(shí)空數(shù)據(jù)模型研究[J]. 姜曉軼,周云軒.  吉林大學(xué)學(xué)報(bào)(地球科學(xué)版). 2006(03)

博士論文
[1]復(fù)雜空間關(guān)系模型及空間描述邏輯中若干問題的研究[D]. 霍林林.吉林大學(xué) 2013



本文編號：3267015