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