發(fā)布時間：2017-12-25 17:32

  本文關(guān)鍵詞：基于時序動態(tài)描述邏輯的民族文化資源知識表示形式化模型研究　出處：《云南師范大學(xué)》2017年碩士論文　論文類型：學(xué)位論文

  更多相關(guān)文章： 民族文化資源 DDL CTL Tableau算法

【摘要】：描述邏輯(Description Logics,DLs)是以對象為中心的形式化語言工具,用來對知識進行表示,它延續(xù)了 KL-ONE的重要理念,是一階謂詞邏輯的一個可判定子集。近年來,描述邏輯以其強大的知識表達能力和完備的推理機制得到了廣泛的應(yīng)用。描述邏輯最開始是用在靜態(tài)領(lǐng)域知識的處理,不能對動態(tài)知識進行表示使得它的運用范圍相對局限,并且也存在少許弊端,對時間和動作的描述能力較差,為了達到對動態(tài)領(lǐng)域知識應(yīng)用的目的,通常利用相應(yīng)的模態(tài)算子來對其進行擴展,包括動態(tài)性、時序性和模糊性等三方面的擴展,基于描述邏輯的各種擴展形式陸續(xù)成為知識表示與推理的研究熱門。民族文化資源知識中,大部分的知識都具有動態(tài)性和時間屬性,通過對基本描述邏輯的分析可知,傳統(tǒng)的描述邏輯對動態(tài)的民族文化資源知識缺乏表達能力,針對這一問題,本文以基本描述邏輯ALC為基礎(chǔ),增添動作算子和時序算子進行擴展,以此來描述隨著時間進行變化的民族文化資源知識,提出基于時序動態(tài)描述邏輯CTL-DDLALC的民族文化資源的知識形式化表示方法,對民族文化資源推理過程中需要的知識、規(guī)則等進行統(tǒng)一的、標(biāo)準(zhǔn)化表示,以保證民族文化資源知識的表示與推理研究。本文主要的研究內(nèi)容如下:(1)結(jié)合民族文化資源領(lǐng)域知識,對基本描述邏輯ALC進行擴展,增添8個模態(tài)算子,其中包括4個動作算子:;(Sequence,順序)、∪(Choice,選擇)、*(Iteration,迭代)、?(Test,測試),4個時序算子:O(Next,下一時刻)、◇(Frequently,某一時刻)、□(Always,所有時刻)、U(Until,直到)以及2個路徑量詞:A(All the Path,全路徑)、E(Exist a Path,存在路徑),提出時序動態(tài)描述邏輯CTL-DDLALC形式化系統(tǒng),對CTL-DDLALC的語法和語義進行定義,并構(gòu)建相應(yīng)的知識庫,使民族文化資源知識的描述具有動態(tài)性和時態(tài)性。(2)對CTL-DDLALC的推理問題進行研究,構(gòu)建相應(yīng)的Tableau算法規(guī)則,并證明所提出的Tableau算法的正確性,包括可終止性、可滿足性,以實現(xiàn)民族文化資源的知識推理。(3)對民族文化資源領(lǐng)域知識進行分析,利用所提出的CTL-DDLALC形式化系統(tǒng)對民族文化資源知識進行描述和推理驗證,包括動態(tài)性驗證和時態(tài)性驗證。
【學(xué)位授予單位】：云南師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2017
【分類號】：TP18;C912.4

【相似文獻】

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

1 白云鵬,王國付;楚雄民族文化資源的搶救、保護問題芻議[J];創(chuàng)造;2001年07期

2 白音查干;應(yīng)注重用蒙古族專家開發(fā)本民族文化資源[J];內(nèi)蒙古宣傳;2002年10期

3 李麟;吉鑫:文化創(chuàng)新與核心競爭力[J];創(chuàng)造;2004年01期

4 戴宗品;論民族文化資源的保護[J];創(chuàng)造;2005年01期

5 王懷東;;挖掘民族文化資源 打造民族文化品牌[J];學(xué)習(xí)月刊;2010年05期

6 潘懌晗;;民族文化資源價值的生態(tài)民族學(xué)研究[J];廣西社會主義學(xué)院學(xué)報;2011年03期

7 劉家志,朱海林;西部民族文化資源的綜合開發(fā)與產(chǎn)業(yè)化的思考[J];思想戰(zhàn)線;2001年05期

8 于欣莉;;努力堅持繼承基礎(chǔ)上的創(chuàng)新[J];實踐(思想理論版);2007年07期

9 黃彩文;梁銳;;布朗族民族文化資源信息化初探[J];民族學(xué)刊;2014年01期

10 何生華;黔東南文化資源的開發(fā)與保護[J];理論與當(dāng)代;2001年05期

相關(guān)會議論文 前8條

1 田毅然;;發(fā)掘民族文化資源 促進地區(qū)經(jīng)濟發(fā)展[A];慶祝新中國成立六十周年暨民族地區(qū)科學(xué)發(fā)展理論研究[C];2010年

2 王安壽;;開發(fā)民族文化資源,促進旅游業(yè)發(fā)展[A];布依學(xué)研究(之九)[C];2008年

3 伍強力;;黔南民族文化資源的開發(fā)與定位[A];布依學(xué)研究（之七）——貴州省布依學(xué)會第三屆會員代表大會暨第七次學(xué)術(shù)討論會論文集[C];2001年

4 周明鈞;;構(gòu)筑“北部灣牌” 融入“主旋律圈”——“防城港市邊海民族文化示范帶”開發(fā)設(shè)想[A];2003年“求實、創(chuàng)新、發(fā)展——面向新世紀(jì)的廣西精神文明建設(shè)”理論研討會論文集[C];2003年

5 施維達;;民族文化資源保護與開發(fā)[A];民族文化與全球化學(xué)術(shù)研討會論文集[C];2003年

6 洪波;;在社會變遷中探求民族文化資源發(fā)展傳承創(chuàng)新之路——以大理州巍山縣為例[A];滇川黔桂四�。▍^(qū)）毗鄰縣第二屆彝學(xué)研討會論文集[C];2011年

7 劉家勝;;淺談加強民族地區(qū)廉政文化建設(shè)[A];新時期反腐倡廉研究文集[C];2007年

8 段超;;略論西部大開發(fā)中民族文化資源和文化生態(tài)的保護[A];生態(tài)環(huán)境與民族發(fā)展研討會論文集[C];2001年

相關(guān)重要報紙文章 前10條

1 原思明;積極開發(fā)少數(shù)民族文化資源[N];開封日報;2011年

2 蘇振鋒;科學(xué)開發(fā)民族文化資源[N];青海日報;2012年

3 張 楠 本報記者 王森林;將民族文化資源轉(zhuǎn)為產(chǎn)業(yè)優(yōu)勢[N];中國企業(yè)報;2005年

4 云南省昆明市文化局黨委書記、局長 秦桂珍;開發(fā)民族文化資源 建設(shè)民族文化強市[N];中國文化報;2000年

5 唐大萬;以民族文化資源推動涼山發(fā)展[N];四川政協(xié)報;2005年

6 張景梅;保護貴州民族文化資源之我見[N];貴州民族報;2006年

7 本報記者 李強;用市場激活民族文化資源[N];中國新聞出版報;2007年

8 宋生貴;開掘民族文化資源追求民族藝術(shù)創(chuàng)新[N];內(nèi)蒙古日報(漢);2007年

9 本報記者 毛俊玉;民族文化資源應(yīng)重回社會[N];中國文化報;2013年

10 本報記者 黃芳 實習(xí)生 易凌雁;齊心協(xié)力搞好文化廣電工作[N];涼山日報(漢);2007年

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

1 何亞南;基于時序動態(tài)描述邏輯的民族文化資源知識表示形式化模型研究[D];云南師范大學(xué);2017年

2 李成;黔南州民族文化資源在中學(xué)化學(xué)課程中的應(yīng)用研究[D];貴州師范大學(xué);2015年

3 杜智賢;吐魯番地區(qū)民族文化資源的開發(fā)與保護研究[D];石河子大學(xué);2007年

4 汪柯妤;文化產(chǎn)業(yè)發(fā)展中民族文化資源的保護與開發(fā)研究[D];大理學(xué)院;2014年

5 王俊;少數(shù)民族文化資源有效保護和可持續(xù)開發(fā)研究[D];云南大學(xué);2014年

6 張君正;論龍井市民族文化資源的開發(fā)與保護[D];延邊大學(xué);2013年

7 覃君英;少數(shù)民族文化資源在《文化生活》教學(xué)中的開發(fā)與利用研究[D];湖南師范大學(xué);2014年

8 許傳芳;田陽敢壯山民族文化資源開發(fā)利用研究[D];廣西民族大學(xué);2008年

9 劉麗君;民族旅游文化資源產(chǎn)權(quán)的利益分享[D];中央民族大學(xué);2010年

10 徐榕t，

本文編號：1333791