公開更新邏輯.pdf

1、公開宣告邏輯中關(guān)于現(xiàn)實(shí)世界的信息是不變的。但實(shí)際上現(xiàn)實(shí)世界是時(shí)時(shí)刻刻充滿變化的，主體關(guān)于世界本身的信息也相應(yīng)地會(huì)發(fā)生變化。這要求主體必須根據(jù)這些變化不斷地更新自己的知識(shí)。因此，如何形式化處理世界信息變化成為近年來(lái)動(dòng)態(tài)認(rèn)知邏輯研究領(lǐng)域中的一個(gè)熱點(diǎn)問(wèn)題。 Barteld Kooi[2006]根據(jù)H van Ditmarsch[2004b]的思路建立了可以處理世界信息變化的公開宣告邏輯。由于主體之間的影響和互動(dòng)很多是建立在群體知識(shí)的基

2、礎(chǔ)上，所以群體知識(shí)在動(dòng)態(tài)認(rèn)知邏輯研究中也是十分重要的。郭美云博士在他[2006]的博士論文中建立了包含公共知識(shí)和群體隱含知識(shí)的公開宣告邏輯系統(tǒng)PAL(RC,D,E)。本文在他們研究的基礎(chǔ)上，通過(guò)引入公開替換算子得到PAL(RC,D,E的一個(gè)擴(kuò)充系統(tǒng)一公開宣告邏輯PUL。 在完全性證明中，我們采用Barteld Kooi[2006]中的證明思路，通過(guò)歸約公理將PUL的完全性歸約到PAL(RC,D,E)的完全性上。歸約的方法不僅使我