萧瑶报告:更新逻辑和信念修正的联合系统

发布时间:2007-06-07 来源:本站原创 作者:本站编辑   浏览次数:

更新逻辑和信念修正的联合系统

报告人:萧瑶

时间:2007-6-14(周四)上午九点        地点:逻辑中心多媒体教室

本文主要介绍由BMS和AGM融合而成的一个联合系统。BMS是一个更新逻辑的系统,其更新通过一种特殊定义的乘积来完成:MÄS,M表示认知模型,S表示行动模型。AGM是一个信念修正理论,信念变化主要包含三种类型:扩充,修正,收缩。联合系统首先给出信念认知模型M和信念行动模型S,最后定义它们的乘积MÄS,在此基础上,给出系统的语言及语义,最后给出完全性和可靠性的证明。

参考文献:

1Aucher G.,“A Combined System of Update Logic and Belief Revision”,MoL Thesis,ILLC,University of Amsterdam,2003.

2 Van Benghem J.,“Dynamic Logic for Belief Revison”,Jouranl of Applied Non-Classical Logics.17/2007

3BALTAG A., MOSS L., SOLECKI S.,“The Logic of Common Knowledge, Public Announcements, and Private Suspicions”, GILBOA I., Ed., Proceedings of the 7th


4Van Benghem J.,fenrong L,“Dynamic Logic of Preference Upgrade”,Journal of Applied Non-Classical Logics,2/2004