公開更新邏輯.pdf

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

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