主题：信念修正（Belief Revision）

报告人：徐康

时间：2015年12月30日上午9:30—11:30

地点：浙大西溪校区主楼259会议室

摘要：信念修正理论产生于上个世纪八十年代，在现实生活中，人们不断接受新知识，从而导致认知状态也随之改变。新知识通常会与原来的信念发生冲突，如何修正已有的信念状态，以获得一个一致的新的信念状态，这是信念修正的主要内容。信念修正的理论及其具体的操作方法有很多，具有代表性的是Alchourron，Gardenfors和Makinson提出的AGM理论。在AGM理论中，信念集合被表示为一个一致的、演绎封闭的语句集K。AGM考察了三种不同类型的信念变化：扩充、收缩与修正。本文主要介绍修正的假设和定义，以及修正之间的运算。