信念修正 信念修正是变更信念来采纳新的信息片段的过程在哲学数据库和人工智能对理性助理的设计中都研究信念修正的逻辑形式化 使信念修正不平凡的东西是进行这种操作的多种不同方式都是可行的例如如果当前的知识包括三个事实 A displaystyle A 为真 B displaystyle B 为真和如果 A displaystyle A 与 B displaystyle B 为真则 C displaystyle C 为真新信息 C displaystyle C 为假的介入只能通过去除掉这三个事实中至少一个来保持一致性这种情况下有至少三种方式来进行这个修正一般的说可以多种方式变更知识 通常区分两类变更 更新新的信息有关于现在的状况而旧的信念提及的是过去更新是改变旧信念来接受变更的操作 修正旧信念和新信息都提及同一个状况在新旧信息之间存在的矛盾被解释为旧信息不如新信息可靠修正是插入新信息到旧信念的集合中而不生成矛盾的过程 信念修正的主要假定是最小化变更变更前后的知识应当尽可能类似在更新的情况下这个原理被形式化为惯性假定在修正的情况下这个原理强制变更尽可能多的保留信息