信念修正理论大约产生于20世纪70年代，其中最引人注目要数由阿尔罗若（Alchourrón）、加登福斯（G rdenfors）和梅金森（Makinson）共同建立的信念修正理论，简称AGM理论。本文主要通过一系列论述与证明，诠释了AGM理论系统。全文分为四章。第一章是对AGM理论的概述。信念修正的AGM理论具有两个来源。加登福斯（G rdenfors）提供的大卫·刘易斯（Lewis)用信念修正模型表达逻辑条件句的语义。阿尔罗若（Alchourrón）和梅金森（Makinson）研究的规范系统的动态形式。它一共包含八条假设，分别是闭包，成功，包含，空虚，相容性，外延性，超扩充和子扩充。第二章是AGM函数。本章主要关注的是逻辑理论变化的形式方面。本章定义了一个“安全收缩”的命题集合的概念，证明它满足加登福斯（G rdenfors）的收缩假设就此可被表示为部分校正收缩，并研究了其在一般情况下和各种自然约束下的属性。第三章是迭代AGM函数。在本章中，我们研究的是迭代的最基本方案：迭代函数。通过构建一个AGM模型的迭代版本，显示AGM形式化方法实际上与迭代是相容的。参考阿尔罗若（Alchourrón）和梅金森（Makinson）早期的安全收缩函数的迭代形式，提出了与五个AGM呈现（交函数,球包系统,假设,认知信度和安全层次）对应的迭代结构，并且证明了它们的等价性。第四章是对AGM理论的反思。AGM理论在其形成后不久，加登福斯（G rdenfors）就指出其中存在许多问题。不仅如此，AGM理论运用在条件句时也被指出存在两个问题。笔者在本章针对这些问题进行了分析，并提出自己的反思和见解。