信息更新的邏輯.pdf

1、動態(tài)語義是近年來相對比較新的研究領(lǐng)域，它旨在為信息變化提供一種形式化的處理辦法。更新語義作為一種新的動態(tài)語義，不同于動態(tài)認知邏輯把動態(tài)算子解釋為模型間的轉(zhuǎn)換，它把句子的意義看作是動態(tài)的，是關(guān)于信息狀態(tài)的運算。
　　 認知更新語義刻畫了單主體知識的變化，我們證明了公理化系統(tǒng)S5相對于認知更新語義是可靠和完全的。論文第3章在認知更新語義的基礎(chǔ)上，引入一個刻畫句子次序的算子，并通過翻譯的方法證明了S5O的完全性。
　　 論文第

2、4章在模型中引入一個子集轉(zhuǎn)換函數(shù)，從而我們建立了子集轉(zhuǎn)換函數(shù)更新語義。在子集轉(zhuǎn)換函數(shù)的更新語義中，不同性質(zhì)的子集轉(zhuǎn)換函數(shù)，刻畫了不同的公理化系統(tǒng)。我們把這些系統(tǒng)分為兩類，分別采用兩種不同的方法來證明它們的完全性。
　　 論文第5章采用一類有窮模型來刻畫信念，用二元比較關(guān)系來刻畫不同可能世界之間的合理性，它可以被看作是子集轉(zhuǎn)換函數(shù)的更新語義的一個特例。我們用有窮模型的方法證明了KD45的完全性。我們還把信念更新語義推廣到多主體的情