本文關(guān)鍵詞：基于動(dòng)態(tài)時(shí)序描述邏輯的動(dòng)作理論

  更多相關(guān)文章： 動(dòng)態(tài)時(shí)序描述邏輯 動(dòng)作推理 動(dòng)態(tài)域 動(dòng)作理論

【摘要】：動(dòng)態(tài)時(shí)序描述邏輯(DLTLDL)是一類描述邏輯的動(dòng)態(tài)時(shí)序擴(kuò)展。提出一種基于DLTLALCIO的動(dòng)態(tài)域建模方法,利用該方法可構(gòu)造出刻畫動(dòng)態(tài)域知識(shí)的DLTLALCIO理論,并解決動(dòng)作推理中的框架問題和分支問題。動(dòng)作推理問題,如動(dòng)作可執(zhí)行性和投影問題等,可歸結(jié)為關(guān)于DLTLALCIO理論的推理問題,并最終歸結(jié)為DLTLALCIO的公式可滿足性問題。DLTLALCIO公式可表達(dá)動(dòng)作和時(shí)間約束,相對(duì)于其他基于描述邏輯的動(dòng)作形式,基于DLTLALCIO的動(dòng)作形式在需要執(zhí)行復(fù)雜查詢,尤其是含時(shí)間或動(dòng)作的查詢的應(yīng)用場(chǎng)合具有更好的適用性。
【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所;仲愷農(nóng)業(yè)工程學(xué)院信息科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】： 動(dòng)態(tài)時(shí)序描述邏輯 動(dòng)作推理 動(dòng)態(tài)域 動(dòng)作理論
【基金】：國家自然科學(xué)基金項(xiàng)目(61272059) 教育部基地重大項(xiàng)目(11JJD7200020)資助
【分類號(hào)】：TP393.09;TP301
【正文快照】： 1引言語義Web服務(wù)等新型動(dòng)態(tài)應(yīng)用的出現(xiàn),對(duì)動(dòng)作知識(shí)表示和推理形式的可判定性和表達(dá)能力提出新的要求,傳統(tǒng)動(dòng)作形式面臨兩難困境。例如:情景演算[1]和流演算[2]包含了完全一階邏輯,有足夠強(qiáng)的表達(dá)能力描述語義Web服務(wù),然而其推理一般不可判定,其他基于一階動(dòng)態(tài)邏輯和一階時(shí)態(tài)

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 吳琴霞;趙紅丹;;基于本體語言O(shè)WL邏輯語義與推理的研究[J];軟件導(dǎo)刊;2008年12期

2 宋峻峰,張維明,肖衛(wèi)東,唐九陽;基于本體的信息檢索模型研究[J];南京大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期

3 王淞昕;;基于描述邏輯的圖像檢索框架[J];吉林大學(xué)學(xué)報(bào)(理學(xué)版);2010年02期

4 張明寶;王濤;施秀麗;王莉莉;;描述邏輯在智能化信息檢索中的應(yīng)用[J];情報(bào)學(xué)報(bào);2011年03期

5 張彪;文坤梅;許家偉;;一種基于缺省規(guī)則的推理算法[J];微電子學(xué)與計(jì)算機(jī);2011年03期

6 靳瑞霞;劉延;寇志謙;;基于描述邏輯的圖像檢索[J];軟件導(dǎo)刊;2011年08期

7 李宗壽;;基于描述邏輯的知識(shí)建模語言[J];懷化學(xué)院學(xué)報(bào)(自然科學(xué));2007年02期

8 劉磊;張波;;基于語義關(guān)鍵詞的本體特征指數(shù)獲取方法研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2008年12期

9 裘江南;王磊;王寧;;基于描述邏輯的概念檢索模型[J];遼寧工程技術(shù)大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年03期

10 趙燕偉,胡堅(jiān),張國賢;基于OWL本體建模的概念產(chǎn)品配置[J];中國機(jī)械工程;2004年19期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前10條

1 王真星;呂騰;;本體的描述邏輯到框架表示的轉(zhuǎn)換[A];第二十一屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2004年

2 張楊;房斌;徐傳運(yùn);;基于本體和描述邏輯的圖像語義識(shí)別[A];全國第20屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議（CACIS·2009）暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議論文集（上冊(cè)）[C];2009年

3 常亮;高申;李德波;古天龍;;基于OBDD的描述邏輯ALCIO判定算法[A];廣西計(jì)算機(jī)學(xué)會(huì)2010年學(xué)術(shù)年會(huì)論文集[C];2010年

4 林培光;劉弘;樊孝忠;王濤;;一種新的語義網(wǎng)信息檢索方法(英文)[A];全國語域web與本體能研討會(huì)論文集[C];2006年

5 葉楓;曹敬;李曉芳;;水環(huán)境特定業(yè)務(wù)的語義及其應(yīng)用研究[A];第三屆全國水力學(xué)與水利信息學(xué)大會(huì)論文集[C];2007年

6 吳善明;沈建京;;本體驅(qū)動(dòng)的分布式地理信息網(wǎng)絡(luò)服務(wù)鏈[A];2007中國控制與決策學(xué)術(shù)年會(huì)論文集[C];2007年

7 吳偉蔚;陳力華;徐兆坤;劉長虹;;基于語義Web的交通信息系統(tǒng)[A];2007年中國智能自動(dòng)化會(huì)議論文集[C];2007年

8 許勇;王智學(xué);李宗勇;;基于圖形化的本體一致性檢查[A];2007北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)通信與信息技術(shù)會(huì)議論文集（上冊(cè)）[C];2008年

9 石翌軼;葉志紅;喬可春;;基于OWL的多粒度異構(gòu)數(shù)據(jù)集成技術(shù)研究[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（二）[C];2008年

10 劉廣艷;孫瑩;黃保海;林培光;;基于本體方法的改進(jìn)VSM語義檢索模型[A];第二十四屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2007年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 唐素勤;面向語義Web的描述邏輯本體構(gòu)建[D];中南大學(xué);2011年

2 馮莎莎;本體邏輯差的研究[D];吉林大學(xué);2011年

3 方流;描述邏輯推理優(yōu)化技術(shù)研究[D];浙江大學(xué);2008年

4 賈育;基于演于構(gòu)件的軟件復(fù)用方法[D];中國科學(xué)院研究生院（軟件研究所）;2002年

5 付相君;基于本體和Semantic Web技術(shù)的產(chǎn)品知識(shí)集成基礎(chǔ)研究[D];浙江大學(xué);2005年

6 葉艷兵;廣義質(zhì)量驅(qū)動(dòng)的工程項(xiàng)目定義系統(tǒng)研究[D];華中科技大學(xué);2006年

7 高曙;網(wǎng)格環(huán)境下面向服務(wù)的分布式可視化研究與實(shí)現(xiàn)[D];武漢理工大學(xué);2007年

8 郭煒;面向領(lǐng)域的語義信息檢索與支撐技術(shù)[D];天津大學(xué);2007年

9 文坤梅;基于本體知識(shí)庫推理的語義搜索研究[D];華中科技大學(xué);2007年

10 趙曉非;基于描述邏輯的數(shù)據(jù)倉庫系統(tǒng)元數(shù)據(jù)一致性問題的研究[D];南京航空航天大學(xué);2007年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 郭昊;描述邏輯在空間推理中的應(yīng)用[D];吉林大學(xué);2008年

2 董小峰;面向服務(wù)的企業(yè)數(shù)據(jù)語義檢索技術(shù)研究[D];西北工業(yè)大學(xué);2006年

3 王勇紅;描述邏輯εL循環(huán)術(shù)語集的保守?cái)U(kuò)充[D];廣西師范大學(xué);2012年

4 張富;基于描述邏輯的模糊語義數(shù)據(jù)庫模型的表示與推理[D];東北大學(xué);2008年

5 江莉莉;描述邏輯在智能化信息檢索中的應(yīng)用研究[D];南京航空航天大學(xué);2012年

6 吳昊;基于本體論的知識(shí)推理查詢系統(tǒng)的研究[D];江蘇大學(xué);2005年

7 汪洋;基于描述邏輯的推理機(jī)設(shè)計(jì)實(shí)現(xiàn)及其分布化研究[D];北京郵電大學(xué);2007年

8 張銀平;描述邏輯在構(gòu)件檢索以及Web服務(wù)組合上的應(yīng)用[D];吉林大學(xué);2008年

9 王艷光;基于粗糙描述邏輯的語義網(wǎng)的研究[D];吉林大學(xué);2013年

10 蔡鳳真;漢語通用數(shù)據(jù)庫接口的研究與實(shí)現(xiàn)[D];中國石油大學(xué);2007年

，

本文編號(hào)：964616