信念修正

信念修正是考慮到新信息而改變信念的過程。信念修正的邏輯形式化在哲學、數據庫和人工智能中都有研究，用于設計理性的xxx。使得信念修正變得非同小可的是，執行這一操作可能有幾種不同的方式。在這種情況下，至少有三種不同的方式來進行修改。一般來說，可能有幾種不同的方式來改變知識。

兩種變化通常被區分開來。更新：新的信息是關于目前的情況，而舊的信念是指過去的情況；更新是改變舊的信念的操作，以考慮到變化；修訂：舊的信念和新的信息都是指同一情況；新舊信息之間的不一致，可以解釋為舊的信息可能不如新的信息可靠；修訂是將新的信息插入舊的信念集，而不產生不一致的過程。信念修正的主要假設是最小變化：變化前后的知識應盡可能相似。在更新的情況下，這個原則將慣性的假設正式化。在修訂的情況下，這個原則要求盡可能多的信息被保留下來。

下面的經典例子表明，在更新和修訂這兩種情況下要執行的操作是不一樣的。這個例子是基于對信念集的兩種不同解釋在這種情況下的更新，兩顆衛星，A單元和B單元，圍繞火星運行；這兩顆衛星被設定為降落，同時向地球傳輸它們的狀態；而地球收到了其中一顆衛星的傳輸，告知它仍在軌道上。然而，由于干擾，不知道是哪顆衛星發出的信號；隨后，地球收到了A單元已經降落的通信。

收縮刪除一個信念；擴展增加一個信念而不檢查一致性；修訂增加一個信念而保持一致性；提取一個一致的信念集和/或認識上的固化排序；合并恢復一個信念集的一致性；合并融合兩個或更多的信念集而保持一致性。修訂和合并的不同之處在于，xxx種操作是在新的信念被認為比舊的信念更可靠時進行的；第二種操作是在新的信念被認為比舊的信念更可靠時進行的。