信念修正

信念修正是考虑到新信息而改变信念的过程。信念修正的逻辑形式化在哲学、数据库和人工智能中都有研究，用于设计理性的xxx。使得信念修正变得非同小可的是，执行这一操作可能有几种不同的方式。在这种情况下，至少有三种不同的方式来进行修改。一般来说，可能有几种不同的方式来改变知识。

两种变化通常被区分开来。更新：新的信息是关于目前的情况，而旧的信念是指过去的情况；更新是改变旧的信念的操作，以考虑到变化；修订：旧的信念和新的信息都是指同一情况；新旧信息之间的不一致，可以解释为旧的信息可能不如新的信息可靠；修订是将新的信息插入旧的信念集，而不产生不一致的过程。信念修正的主要假设是最小变化：变化前后的知识应尽可能相似。在更新的情况下，这个原则将惯性的假设正式化。在修订的情况下，这个原则要求尽可能多的信息被保留下来。

下面的经典例子表明，在更新和修订这两种情况下要执行的操作是不一样的。这个例子是基于对信念集的两种不同解释在这种情况下的更新，两颗卫星，A单元和B单元，围绕火星运行；这两颗卫星被设定为降落，同时向地球传输它们的状态；而地球收到了其中一颗卫星的传输，告知它仍在轨道上。然而，由于干扰，不知道是哪颗卫星发出的信号；随后，地球收到了A单元已经降落的通信。

收缩删除一个信念；扩展增加一个信念而不检查一致性；修订增加一个信念而保持一致性；提取一个一致的信念集和/或认识上的固化排序；合并恢复一个信念集的一致性；合并融合两个或更多的信念集而保持一致性。修订和合并的不同之处在于，xxx种操作是在新的信念被认为比旧的信念更可靠时进行的；第二种操作是在新的信念被认为比旧的信念更可靠时进行的。