信念修正

信念修正是變更信念來採納新的信息片段的過程 。 在哲學 、 數據庫和人工智能對理性助理的設計中都研究信念修正的邏輯形式化 。 使信念修正不平凡的東西是進行這種操作的多種不同方式都是可行的 。 例如 ， 如果當前的知識包括三個事實 “ 爲真 ” ， “ 爲真 ” 和 “ 如果與爲真 ， 則爲真 ” ， 新信息 “ 爲假 ” 的介入只能通過去除掉這三個事實中至少一個來保持一致性 。 這種情況下 ， 有至少三種方式來進行這個修正 。 一般的說 ， 可以多種方式變更知識 。 通常區分兩類變更 ： 更新 ： 新的信息有關於現在的狀況 ， 而舊的信念提及的是過去 ； 更新是改變舊信念來接受變更的操作 。 修正 ： 舊信念和新信息都提及同一個狀況 ； 在新舊信息之間存在的矛盾被解釋爲舊信息不如新信息可靠 ； 修正是插入新信息到舊信念的集合中而不生成矛盾的過程 。 信念修正的主要假定是最小化變更 ： 變更前後的知識應當儘可能類似 。 在更新的情況下 ， 這個原理被形式化爲慣性假定 。 在修正的情況下 ， 這個原理強制變更儘可能多的保留信息 。