動態(tài)認(rèn)知概率邏輯研究.pdf

1、隨著現(xiàn)代邏輯研究的不斷深入，出現(xiàn)了許多邏輯分支，如概率邏輯、認(rèn)知邏輯、動態(tài)邏輯、時間邏輯等，而且這些邏輯之間出現(xiàn)了交叉融合的趨勢，每一分支都分別利用其它分支的研究成果，從而拓寬了各自的視野，增強(qiáng)了各個分支的表達(dá)力。如果將這幾種邏輯分支進(jìn)行組合，并結(jié)合信息科學(xué)的相關(guān)成果，采用不同的方法來構(gòu)造動態(tài)認(rèn)知概率邏輯系統(tǒng)，既可以利用該系統(tǒng)來對概率、信息、信息變化和高階信息進(jìn)行推理，也可以利用動態(tài)認(rèn)知概率邏輯對蒙提霍爾疑難等涉及到認(rèn)知悖論、概率悖論、

2、動態(tài)認(rèn)知悖論等方面的哲學(xué)問題進(jìn)行分析。同時該系統(tǒng)也是研究博弈論和決策論的重要工具。
　　在研究方法上，目前概率的研究普遍采用實驗驗證有關(guān)假設(shè)的方法，顯然僅僅這樣是不夠的。如果采用認(rèn)知科學(xué)中的多種方法、組合模態(tài)邏輯的方法及計算機(jī)科學(xué)廣泛采用的方法等，可以更好地對歸納邏輯及悖論進(jìn)行研究。
　　本文第二章首先從概率的公理化系統(tǒng)開始，隨后介紹了條件概率及其語義解釋、概然邏輯、有限概率邏輯、無限概率邏輯等各種不同的概率邏輯系統(tǒng)。

3、>　　在第三章中，將知識推理和概率推理相結(jié)合，并且給出了其完全性和可靠性的證明，分別對認(rèn)知邏輯和概率邏輯進(jìn)行了詳細(xì)的介紹。
　　第四章討論了內(nèi)涵概率邏輯和統(tǒng)計概率邏輯以及它們之間的關(guān)系。將命題內(nèi)涵概率邏輯轉(zhuǎn)換成統(tǒng)計概率邏輯，這使得統(tǒng)計概率邏輯可能會具有更好的計算性質(zhì)。同時也對其對應(yīng)理論和復(fù)雜度進(jìn)行了研究。
　　第五章建立了動態(tài)認(rèn)知概率邏輯系統(tǒng)，主要是把前些章節(jié)所介紹的邏輯組合起來，并且增加了公共知識。特別地，如果把高階概率作

4、為研究工具時，該邏輯非常適合用來分析關(guān)于概率信息變化的推理。
　　在第六章中，對組合模態(tài)邏輯的方法進(jìn)行了研究，并用來對Kooi的動態(tài)認(rèn)知概率邏輯系統(tǒng)進(jìn)行擴(kuò)充，主要研究的是建立在通用像基上的動態(tài)認(rèn)知概率邏輯，同時粗略地給出了其相應(yīng)的可靠性和完全性的證明。
　　第七章則是對動態(tài)認(rèn)知概率邏輯進(jìn)行了另外一種形式的擴(kuò)充，主要通過引入先驗的時間算子來實現(xiàn)。另外在動態(tài)認(rèn)知概率邏輯的語境中可以利用行動模型和更新積，這樣就可以使用更多類型的行