信念修正是变更信念来采纳新的信息片段的过程。在哲学、数据库和人工智能对理性助理的设计中都研究信念修正的逻辑形式化。

使信念修正不平凡的东西是进行这种操作的多种不同方式都是可行的。例如，如果当前的知识包括三个事实“为真”，“为真”和“如果与为真，则为真”，新信息“为假”的介入只能通过去除掉这三个事实中至少一个来保持一致性。这种情况下，有至少三种方式来进行这个修正。一般的说，可以多种方式变更知识。

通常区分两类变更：

信念修正的主要假定是最小化变更：变更前后的知识应当尽可能类似。在更新的情况下，这个原理被形式化为惯性假定。在修正的情况下，这个原理强制变更尽可能多的保留信息。

Belief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.