本文關鍵詞：略論時態(tài)邏輯在計算機科學中的發(fā)展

  更多相關文章： 時態(tài)邏輯 命題線性時態(tài)邏輯 分支時態(tài)邏輯 擴充邏輯

【摘要】：在命題邏輯的基礎上,Arthur Norman Prior在上個世紀50年代創(chuàng)建了模態(tài)邏輯的一個分支——時態(tài)邏輯。從80年代起,在哲學、計算機科學、人工智能、語言學等諸多交叉學科的推動下,時態(tài)邏輯取得了新的發(fā)展,形成了一些既具有重大理論意義,又具有實際應用價值的研究成果。比較典型的是在計算機科學中的發(fā)展。 本文以時態(tài)邏輯在計算機科學中的發(fā)展為主線,在描述計算機科學中時態(tài)邏輯的發(fā)展的同時,與哲學中時態(tài)邏輯的發(fā)展進行對比分析,分別分析了時態(tài)邏輯對計算機科學的貢獻和計算機科學的發(fā)展對時態(tài)邏輯本身的影響,并以此為基礎,對未來邏輯學與計算機科學的交叉互動做出了初步展望。 本文共分五個部分：第一部分,回顧時態(tài)邏輯的歷史發(fā)展。第二部分,描述了一元時態(tài)邏輯的十個系統(tǒng)的語言、公理、定理和它們的性質,并分析了各個系統(tǒng)之間的關系,隨后簡要介紹了二元時態(tài)邏輯。第三部分,介紹了時態(tài)邏輯在計算機科學下發(fā)展的背景和所解決的問題,介紹了兩個計算機科學下最重要的系統(tǒng)——命題線性時態(tài)邏輯系統(tǒng)和分支時態(tài)邏輯系統(tǒng),并分析了它們之間的關系和適用區(qū)別。第四部分,介紹了三個時態(tài)邏輯的典型擴充系統(tǒng),前兩個是計算機科學下發(fā)展起來的,第三個是通常邏輯學中的擴充。第五部分是一些進一步的討論,對于時態(tài)邏輯在計算機科學中的發(fā)展進行了總結和評論,為未來邏輯學與計算機科學的交叉互動做出展望。
【學位授予單位】：華東師范大學
【學位級別】：碩士
【學位授予年份】：2013
【分類號】：B815.5;TP3

【參考文獻】

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

1 萬良;李樣;;基于TLA的Kerberos協(xié)議符號化與檢測[J];貴州大學學報(自然科學版);2007年06期

2 陳彬;王智學;;時態(tài)認知邏輯CTL*K的符號化模型檢查算法[J];計算機科學;2009年05期

3 劉冬寧;湯庸;;智能主體的信念認知時態(tài)子結構邏輯模型[J];計算機應用研究;2010年07期

4 劉冬寧;;時態(tài)數(shù)據(jù)庫屬性推理的類型邏輯[J];邏輯學研究;2011年04期

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

6 呂娜;;時序邏輯領域的開拓者[J];程序員;2009年12期

7 唐稚松，趙琛;一種面向軟件工程的時序邏輯語言[J];軟件學報;1994年12期

8 白金山;崔楠;李祥;;行為時態(tài)邏輯TLA定理系統(tǒng)證明及公平性研究[J];計算機工程與設計;2010年03期

9 白金山;李祥;;具有自反性質的線序時態(tài)邏輯研究[J];計算機工程與設計;2011年04期

10 張廣泉,孫敏;時態(tài)邏輯的比較與分析[J];渝州大學學報(自然科學版);1999年02期

，

本文編號：1303837