【摘要】：命題時態(tài)邏輯PTL是一個可廣泛應(yīng)用于人工智能的邏輯,其特點是只有表達(dá)未來的時態(tài)算子。它刻畫了人工智能研究中往往只需要描述未來狀態(tài),而不必關(guān)注過去的性質(zhì)。PTL給出了一個表達(dá)時間具有向上線性、傳遞性、持續(xù)性和離散性的公理化邏輯系統(tǒng),并證明了其可靠性和完全性。
[Abstract]:Propositional temporal logic PTL is a logic that can be widely used in artificial intelligence, and its characteristic is that it can only express the future temporal operator. It describes that in artificial intelligence research, it is often necessary to describe the future state without paying attention to the properties of the past. PTL gives an axiomatic logic system with upward linearity, transitivity, persistence and discreteness. Its reliability and completeness are proved.
【作者單位】： 重慶大學(xué)貿(mào)易與行政學(xué)院;
【分類號】：B815.5

【共引文獻(xiàn)】

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

1 賴賢偉;胡山立;寧正元;王秀麗;;交互時態(tài)邏輯下的三種模糊信念算子[J];海南師范大學(xué)學(xué)報(自然科學(xué)版);2008年04期

2 寧正元;胡山立;賴賢偉;;交互時態(tài)信念邏輯及其模型檢測[J];南京大學(xué)學(xué)報(自然科學(xué)版);2008年02期

3 陳清亮;朱可宜;;多智能體協(xié)同的認(rèn)知規(guī)范模型檢測算法[J];中山大學(xué)學(xué)報(自然科學(xué)版);2009年01期

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

1 呂進(jìn);基于時間和行動規(guī)劃的知識—意圖邏輯[D];西南大學(xué);2008年

【相似文獻(xiàn)】

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

1 唐同誥;;程序算子與邏輯算子的統(tǒng)一——一階時態(tài)邏輯(關(guān)系邏輯)[J];貴州大學(xué)學(xué)報(自然科學(xué)版);1986年03期

2 郭貴春,程瑞;物理學(xué)中離散性思想的發(fā)展和統(tǒng)一[J];山西大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2004年06期

3 ;金岳霖學(xué)術(shù)獎(邏輯學(xué))獲獎作品簡介(一)[J];思維與智慧;1991年01期

4 裘江杰;;一族不完全的邏輯[J];哲學(xué)研究;2007年04期

5 王克宏;胡篷;石純一;;情景邏輯與時態(tài)邏輯在知識處理中的應(yīng)用[J];計算機科學(xué);1992年02期

6 雷寨榮;;英語離散式定語從句的表現(xiàn)形式及其翻譯[J];湖南科技學(xué)院學(xué)報;2006年04期

7 S.哈克;黃駿;尹智全;周建設(shè);馮周卓;;邏輯的范圍[J];世界哲學(xué);1986年06期

8 ;金岳霖學(xué)術(shù)獎(邏輯學(xué))獲獎項目簡介[J];哲學(xué)研究;1990年06期

9 趙麗娜;沈向榮;;流行語的特點及語言學(xué)、心理學(xué)解釋[J];江西科技師范學(xué)院學(xué)報;2007年01期

10 劉順;潘文;;句法位置對名詞空間性的影響[J];華中科技大學(xué)學(xué)報(社會科學(xué)版);2007年01期

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

1 陳玉泉;陳宣;陸汝占;;內(nèi)涵時態(tài)邏輯的語義解釋系統(tǒng)[A];自然語言理解與機器翻譯——全國第六屆計算語言學(xué)聯(lián)合學(xué)術(shù)會議論文集[C];2001年

2 丁雪芹;;完全性心內(nèi)膜缺損患兒的監(jiān)護(hù)[A];全國心臟內(nèi)、外科�？谱o(hù)理學(xué)術(shù)會議論文匯編[C];2003年

3 周北海;;嫁接框架與S1-完全性[A];1994年邏輯研究專輯[C];1994年

4 何瓊;祁燕;;完全性肺靜脈異位引流術(shù)后護(hù)理體會[A];全國重癥監(jiān)護(hù)護(hù)理學(xué)術(shù)交流暨專題講座會議論文匯編[C];2004年

5 田國會;劉長有;徐心和;;電梯服務(wù)系統(tǒng)的時態(tài)邏輯描述、分析與控制[A];1996年中國控制會議論文集[C];1996年

6 梁萬茹;孫華麗;;完全性唇裂鼻底瓦合矩形瓣的改良[A];第二屆中國國際暨第五屆全國口腔頜面外科學(xué)術(shù)會議論文集[C];1998年

7 高錫國;;完全性鎖骨下動脈竊血綜合征彩色多普勒超聲表現(xiàn)(附5例報告)[A];中華醫(yī)學(xué)會第六次全國超聲醫(yī)學(xué)學(xué)術(shù)年會論文匯編[C];2001年

8 虞容豪;謝秋幼;古菁;;完全性脊髓損傷高壓氧治療的預(yù)后評估[A];中華醫(yī)學(xué)會第十三次全國高壓氧醫(yī)學(xué)學(xué)術(shù)會議論文匯編[C];2004年

9 田國會;劉長有;徐心和;;離散事件動態(tài)系統(tǒng)理論的時態(tài)邏輯研究方法[A];1996中國控制與決策學(xué)術(shù)年會論文集[C];1996年

10 吳翩;;急性完全性子宮內(nèi)翻4例救治體會[A];紀(jì)念卓越的人民醫(yī)學(xué)家林巧稚大夫誕辰100周年——全國婦產(chǎn)科高級學(xué)術(shù)論壇論文集[C];2001年

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

1 周新;中國完全性脊髓損傷臨床治療世界領(lǐng)先[N];醫(yī)藥導(dǎo)報(中藥報);2004年

2 記者 初衛(wèi)華;治療完全性脊髓損傷有進(jìn)展[N];健康報;2001年

3 楊松林;腔隙性腦梗死不容輕視[N];大眾衛(wèi)生報;2007年

4 楊恒;一篇文章中的村莊形態(tài)[N];甘肅日報;2008年

5 左中男;用可調(diào)外固定支架使肩鎖關(guān)節(jié)復(fù)位[N];健康報;2007年

6 張倩平;女孩需防尿道黏膜外翻[N];家庭醫(yī)生報;2007年

7 中南大學(xué)湘雅醫(yī)院教授 羅學(xué)宏;布—加綜合征易誤診[N];大眾衛(wèi)生報;2006年

8 中國安全生產(chǎn)科學(xué)研究院院長 劉鐵民;對事故反彈問題的思考[N];中國安全生產(chǎn)報;2007年

9 張序;以產(chǎn)品生命周期管理提高自主創(chuàng)新能力[N];經(jīng)理日報;2006年

10 鄧海平;膳食補品非吃不可嗎[N];科技日報;2007年

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

1 周健生;結(jié)構(gòu)系統(tǒng)完全性分析技術(shù)研究[D];哈爾濱工程大學(xué);2002年

2 張世民;骶神經(jīng)前根電刺激排尿中完全性后根切斷去傳入的替代方法：實驗與臨床研究[D];第二軍醫(yī)大學(xué);2000年

3 黃建兵;中國證券市場微觀結(jié)構(gòu)研究[D];復(fù)旦大學(xué);2003年

4 李閩峰;震害預(yù)測快速服務(wù)平臺的模型與方法及一些相關(guān)理論的研究[D];中國地震局地球物理研究所;2002年

5 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會科學(xué)院研究生院;2001年

6 陶紅;先天性腎上腺皮質(zhì)增生癥的臨床與分子遺傳學(xué)研究[D];中國協(xié)和醫(yī)科大學(xué);2003年

7 李盛;單側(cè)完全性唇腭裂初期手術(shù)方法及效果評價的臨床研究[D];四川大學(xué);2006年

8 郭美云;帶有群體知識的動態(tài)認(rèn)知邏輯[D];北京大學(xué);2006年

9 汪龍霞;子宮內(nèi)膜異位囊腫介入性治療的實驗及臨床研究[D];中國人民解放軍軍醫(yī)進(jìn)修學(xué)院;2004年

10 楊傳富;微分算子乘積的自伴邊值問題與一類微分算子的譜特征[D];南京理工大學(xué);2005年

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

1 劉冬寧;時態(tài)邏輯及其對知識庫的構(gòu)架與研究[D];廣東工業(yè)大學(xué);2004年

2 張文;信息離散性度量方法及其在生物進(jìn)化中的應(yīng)用[D];大連理工大學(xué);2005年

3 徐超;基于Petri網(wǎng)的工作流技術(shù)研究與應(yīng)用[D];大連理工大學(xué);2004年

4 王澄澄;基于時序ECA的分布式工作流管理系統(tǒng)研究與應(yīng)用[D];山東大學(xué);2005年

5 米順強;遺傳算法的有關(guān)改進(jìn)及應(yīng)用[D];解放軍信息工程大學(xué);2004年

6 廉智超;模型檢測在模型診斷領(lǐng)域中的應(yīng)用[D];吉林大學(xué);2007年

7 楊英;資本市場信息非完全性與信貸配給對于企業(yè)融資的影響分析[D];吉林大學(xué);2004年

8 董護(hù)斌;面向?qū)崟r系統(tǒng)的實時區(qū)域時態(tài)邏輯：RRTL[D];西北大學(xué);2002年

9 楊瑾;論中、西空間語言差異[D];華中師范大學(xué);2001年

10 韋巍;面向?qū)ο蟮臅r態(tài)知識表達(dá)模型研究與應(yīng)用[D];廣東工業(yè)大學(xué);2003年

，

本文編號：2493477