信息流理論的邏輯研究.pdf

1、信息在情景之間流動，情景之間存在信息流關(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)系，我們可以進行信息流推理。日常信息流推理是一種可靠推理，但容許錯誤和例外。信息流理

2、論的邏輯研究是信息流理論和現(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)域中的應(yīng)用研究，文中我們主要做了以下三個方面的工作。
　　 首先，根據(jù)信息流理論，在介紹解釋信息流邏輯已有研究基礎(chǔ)上，嘗試構(gòu)造新的信息流邏輯系

3、統(tǒng)。這是本文研究的主要創(chuàng)新點，其目標(biāo)是構(gòu)造出能夠表征容錯性信息流推理的信息流邏輯系統(tǒng)。在第四章中，我們嘗試構(gòu)造出能夠表征完美信息流推理的理想信息流邏輯系統(tǒng)。理想信息流邏輯的語義框架由有窮情景集合S和情景之間的三元信息流關(guān)系R構(gòu)成，其語形系統(tǒng)則采用能夠體現(xiàn)對應(yīng)語義特征的樹圖系統(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ì)—

4、—可靠性和完全性得到了證明。完美信息流推理不涉及模態(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)信息流邏

5、輯系統(tǒng)。我們還通過直接設(shè)置限定信息流蘊涵算子及其樹圖規(guī)則構(gòu)造出限定信息流蘊涵邏輯。限定模態(tài)信息流邏輯系統(tǒng)和限定信息流蘊涵邏輯能夠表征容錯性信息流推理。
　　 其次，在對信息流理論從量化研究到質(zhì)化研究的發(fā)展軌跡進行歸納梳理的基礎(chǔ)上就信息流理論中相關(guān)概念和問題給出我們的看法并從以下三個方面分析總結(jié)了信息流理論在現(xiàn)代邏輯領(lǐng)域中的應(yīng)用研究：由信息流理論而來的信息框架、從信息流視角看條件句邏輯和從信息流視角看相干邏輯。
　　 最后