本文關(guān)鍵詞：信息流理論的邏輯研究

  更多相關(guān)文章： 信息流理論 信息流邏輯 理想信息流邏輯 模態(tài)信息流邏輯

【摘要】： 信息在情景之間流動,情景之間存在信息流關(guān)系,情景類之間存在制約關(guān)系,信息流關(guān)系和制約關(guān)系表征事物之間的自然常規(guī)。信息流理論以信息流關(guān)系和制約關(guān)系為研究對象,研究信息流的內(nèi)在機制,是現(xiàn)代信息研究的重要部分。申儂的通信理論和德雷斯克的信息內(nèi)容理論用量化的方法研究信息流動,情景理論和信息通道理論則強調(diào)信息內(nèi)容的流動。依據(jù)情景之間的信息流關(guān)系和情景類之間的制約關(guān)系,我們可以進行信息流推理。日常信息流推理是一種可靠推理,但容許錯誤和例外。信息流理論的邏輯研究是信息流理論和現(xiàn)代邏輯領(lǐng)域之間的融合研究,體現(xiàn)現(xiàn)代邏輯領(lǐng)域的“信息轉(zhuǎn)向”。信息流理論的邏輯研究主要包括兩方面的工作:構(gòu)造能夠表征信息流推理的信息流邏輯系統(tǒng)和運用信息流理論的技術(shù)手段為現(xiàn)代邏輯研究領(lǐng)域中的相關(guān)問題提出合理解釋。以信息流邏輯研究為研究重點,兼顧信息流理論在現(xiàn)代邏輯領(lǐng)域中的應用研究,文中我們主要做了以下三個方面的工作。 首先,根據(jù)信息流理論,在介紹解釋信息流邏輯已有研究基礎(chǔ)上,嘗試構(gòu)造新的信息流邏輯系統(tǒng)。這是本文研究的主要創(chuàng)新點,其目標是構(gòu)造出能夠表征容錯性信息流推理的信息流邏輯系統(tǒng)。在第四章中,我們嘗試構(gòu)造出能夠表征完美信息流推理的理想信息流邏輯系統(tǒng)。理想信息流邏輯的語義框架由有窮情景集合S和情景之間的三元信息流關(guān)系R構(gòu)成,其語形系統(tǒng)則采用能夠體現(xiàn)對應語義特征的樹圖系統(tǒng)。依據(jù)聯(lián)結(jié)詞樹圖規(guī)則,我們首先構(gòu)造出信息流邏輯極小樹圖系統(tǒng)IS,然后根據(jù)不同性質(zhì)的信息流關(guān)系設(shè)置不同的R樹圖規(guī)則并構(gòu)造出IS的不同擴張系統(tǒng)。IS及其擴張的系統(tǒng)性質(zhì)——可靠性和完全性得到了證明。完美信息流推理不涉及模態(tài)概念,理想信息邏輯類似經(jīng)典命題邏輯。在第五章中,我們嘗試構(gòu)造能夠表征容錯性信息流推理的模態(tài)信息流邏輯系統(tǒng)。首先,通過將理想信息流邏輯語義框架中的情景解釋為可能情景并且在理想信息流邏輯語形系統(tǒng)中引入全模態(tài)詞及其樹圖規(guī)則,構(gòu)造出能夠表征必然信息流推理的模態(tài)信息流邏輯;然后在此基礎(chǔ)上,再通過在語義框架中引入可能情景之間的精細關(guān)系和在語形系統(tǒng)中引入限定模態(tài)詞及其樹圖規(guī)則,構(gòu)造出限定模態(tài)信息流邏輯系統(tǒng)。我們還通過直接設(shè)置限定信息流蘊涵算子及其樹圖規(guī)則構(gòu)造出限定信息流蘊涵邏輯。限定模態(tài)信息流邏輯系統(tǒng)和限定信息流蘊涵邏輯能夠表征容錯性信息流推理。 其次,在對信息流理論從量化研究到質(zhì)化研究的發(fā)展軌跡進行歸納梳理的基礎(chǔ)上就信息流理論中相關(guān)概念和問題給出我們的看法并從以下三個方面分析總結(jié)了信息流理論在現(xiàn)代邏輯領(lǐng)域中的應用研究:由信息流理論而來的信息框架、從信息流視角看條件句邏輯和從信息流視角看相干邏輯。 最后,對信息流理論及其邏輯研究在現(xiàn)代邏輯、語言學和信息研究等領(lǐng)域中的影響加以解釋討論并通過對一些問題的哲學思考為我們所做的工作進行辯護。
【學位授予單位】：南開大學
【學位級別】：博士
【學位授予年份】：2009
【分類號】：B812

【參考文獻】

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

1 李娜;婁永強;;情景語義學的邏輯研究[J];重慶工學院學報(社會科學版);2008年03期

2 李衛(wèi)華;李師賢;;信息流理論及其應用研究[J];計算機科學;2006年07期

3 王建芳;情境語義學對語言哲學中意義理論的發(fā)展[J];晉陽學刊;2002年01期

4 王建芳;情境語義學對外延模型論和可能世界語義學的批判[J];晉陽學刊;2005年01期

5 王左立;試論情境與語言意義之關(guān)系[J];南開學報;2004年06期

6 袁聰,張鴻燕,王新梅;Shannon信息論及其新發(fā)展[J];通信技術(shù);2002年10期

7 李娜;婁永強;;從條件句悖論看信息流理論的哲學基礎(chǔ)[J];西南大學學報(社會科學版);2009年01期

8 賈國恒;;模態(tài)邏輯可能世界與情境[J];學術(shù)研究;2007年02期

9 黃華新;張炯;;境況視角中的斷定[J];自然辯證法研究;2006年04期

10 賈國恒;;情境語義學與可能世界語義學比較研究探析[J];自然辯證法研究;2006年10期

，

本文編號：1242959