本文選題：知識(shí)蘊(yùn)涵 + 時(shí)態(tài)��； 參考：《安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版)》2009年05期

【摘要】：在知識(shí)蘊(yùn)涵命題邏輯的基礎(chǔ)上,可以構(gòu)建一個(gè)知識(shí)蘊(yùn)涵時(shí)態(tài)命題邏輯系統(tǒng),它可以描述包含時(shí)態(tài)信息的不協(xié)調(diào)知識(shí)系統(tǒng)的推理機(jī)制。根據(jù)給出的形式語義,可以證明該系統(tǒng)的可靠性和完全性。
[Abstract]:On the basis of knowledge implicative propositional logic, a knowledge implicative temporal propositional logic system can be constructed, which can describe the reasoning mechanism of uncoordinated knowledge system containing temporal information. According to the given formal semantics, the reliability and completeness of the system can be proved.
【作者單位】： 南京大學(xué)哲學(xué)系;
【分類號(hào)】：B812

【共引文獻(xiàn)】

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

1 張立娜;個(gè)體詞的邏輯語義[D];清華大學(xué);2007年

【相似文獻(xiàn)】

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

1 張慶云;巧做完型填空[J];青海教育;2004年Z2期

2 米振邦;;單項(xiàng)填空題解題八法[J];語數(shù)外學(xué)習(xí)(高中版高三年級(jí));2007年06期

3 杜國平;李娜;王洪光;徐良;;知識(shí)蘊(yùn)涵模態(tài)邏輯系統(tǒng)[J];徐州師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年05期

4 杜國平;;知識(shí)蘊(yùn)涵邏輯系統(tǒng)[J];邏輯學(xué)研究;2008年02期

5 杜國平;;知識(shí)蘊(yùn)涵時(shí)態(tài)邏輯系統(tǒng)[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2009年05期

相關(guān)會(huì)議論文 前10條

1 趙峰;郭容寰;;上�；A(chǔ)地理數(shù)據(jù)庫的設(shè)計(jì)與建設(shè)[A];首屆長三角科技論壇數(shù)字區(qū)域建設(shè)與地理空間技術(shù)論壇優(yōu)秀論文集[C];2004年

2 楊文川;德妍;楊巍;林昕光;;數(shù)據(jù)挖掘中一種機(jī)器學(xué)習(xí)算法的研究[A];2005年全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

3 林達(dá)真;李紹滋;;基于模式分類的漢語時(shí)態(tài)確定方法研究[A];第六屆漢語詞匯語義學(xué)研討會(huì)論文集[C];2005年

4 張保鋼;;城市地形圖時(shí)空數(shù)據(jù)庫建設(shè)[A];中國地理信息系統(tǒng)協(xié)會(huì)第九屆年會(huì)論文集[C];2005年

5 任家東;彭慧麗;張嘯劍;;ITRM:支持不確定有效時(shí)間的時(shí)態(tài)關(guān)系模型[A];2006年全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

6 張保鋼;;城市地形圖時(shí)空數(shù)據(jù)庫建設(shè)[A];中國地理信息系統(tǒng)協(xié)會(huì)第九屆年會(huì)論文集[C];2005年

7 黨齊民;孫黎明;;一種N1NF的時(shí)態(tài)模型的研究[A];全國第19屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（上冊）[C];2008年

8 張保鋼;袁燕巖;;城市大比例尺地形圖數(shù)據(jù)庫中地物變化的自動(dòng)發(fā)現(xiàn)[A];數(shù)字測繪與GIS技術(shù)應(yīng)用研討交流會(huì)論文集[C];2008年

9 張保鋼;;城市地形圖時(shí)空數(shù)據(jù)庫建設(shè)[A];數(shù)字測繪與GIS技術(shù)應(yīng)用研討交流會(huì)論文集[C];2008年

10 郝達(dá)智;艾欣;;基于時(shí)序的連鎖故障搜索方法研究[A];中國高等學(xué)校電力系統(tǒng)及其自動(dòng)化專業(yè)第二十四屆學(xué)術(shù)年會(huì)論文集（中冊）[C];2008年

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

1 陳慶強(qiáng);數(shù)據(jù)倉庫和時(shí)態(tài)數(shù)據(jù)庫時(shí)態(tài)查詢的方法比較[D];暨南大學(xué);2001年

2 章峰;面向?qū)ο蟮臅r(shí)態(tài)數(shù)據(jù)庫系統(tǒng)研究與開發(fā)[D];中國科學(xué)院軟件研究所;2001年

3 張靜;時(shí)態(tài)數(shù)據(jù)庫模型的研究及應(yīng)用[D];廣東工業(yè)大學(xué);2002年

4 任淑霞;基于電子病歷的時(shí)態(tài)數(shù)據(jù)庫技術(shù)的研究[D];暨南大學(xué);2003年

5 錢鳳臣;基于圖像的目標(biāo)跟蹤中特征提取方法的研究[D];西北工業(yè)大學(xué);2004年

6 王曉紅;基于時(shí)態(tài)數(shù)據(jù)模型的人力資源管理系統(tǒng)[D];廣東工業(yè)大學(xué);2004年

7 武月紅;基于黑板結(jié)構(gòu)的時(shí)態(tài)知識(shí)推理機(jī)實(shí)現(xiàn)的研究[D];東北大學(xué);2005年

8 劉寧;時(shí)態(tài)數(shù)據(jù)庫多時(shí)間粒度問題的研究[D];哈爾濱理工大學(xué);2005年

9 張永鋼;具有時(shí)態(tài)特征的小型地理信息系統(tǒng)的設(shè)計(jì)開發(fā)[D];大連理工大學(xué);2006年

10 劉茂華;時(shí)態(tài)—基礎(chǔ)地理信息數(shù)據(jù)庫的版本化管理[D];遼寧工程技術(shù)大學(xué);2005年

，

本文編號(hào)：1852181