觉知逻辑的个体信念更新

Private Belief Update in Awareness Logic

本文以包含觉知算子的信念态度逻辑为基础,研究该逻辑在增加个体信念更新算子后的扩充,在给出这一扩充的公理系统后,证明其对于包含觉知的多主体信念库语义模型的可靠性和完全性。进一步,我们还比较了信念态度逻辑的个体信念更新与命题觉知逻辑的个体信念更新这两种不同的动态过程,并且证明了这两种动态过程产生的模型具有互模拟关系。

Based on Doxastic Attitude Logic with Awareness,this article studies an extension with private update operator,presents an axiomatization of this extension,and proves soundness and completeness of it with respect to multi-agent belief base models with awareness.Moreover,we compare the private belief base expansion in our logic and the private arrow update in Propositional Awareness Logic,and prove a bisimulation result between two models generated by the two kinds of updates.