动态认知概率逻辑的扩充

Extension of Dynamic Epistemic Probabilistic Logic

Kooi的动态认知概率逻辑是通过增加动态认知概率逻辑的语句来刻画公开宣告的推理。采用两种方法对该逻辑系统进行了扩充。其一是通过在类似于Kooi的动态认知概率逻辑中增加先验时间算子。其二涉及动态认知概率逻辑语境下的行动模型和更新积,这样就可以刻画诸如私人宣告等更多种类的行动。动态认知概率逻辑可以处理定性的信息变化和定量的信息变化,具有一定的应用价值。

Kooi’s dynamic epistemic probabilistic logic is to characterize publicly announced reasoning by adding statements to the dynamic epistemic probabilistic logic.We extend this logic system in two ways.One is by adding a priori time operator to the dynamic epistemic probabilistic logic similar to Kooi.The second involves action models and update products in the context of dynamic cognitive probabilistic logic,so that more kinds of actions such as private announcements can be described.Dynamic epistemic probability logic can deal with qualitative information changes and quantitative information changes,and has certain application value.