本书主要介绍了逻辑学中的单调推理、非单调推理，及其在信念修正中的应用。本书主要包括两大部分内容，第一部分介绍单调推理和非单调推理，单调推理部分主要介绍了命题逻辑和谓词逻辑，这是数理逻辑的基础部分，该部分的特色就是从公理化的角度进行了阐述，主要介绍了公理化推理系统和自然演绎系统；非单调推理部分介绍了目前主要的非单调推理系统-非单调推理I、缺省推理、限定推理和自知逻辑。第二部分就是信念修正，主要讲述了单调推理和非单调推理在信念修正中的应用，介绍了单调推理和非单调推理在信念修正中的应用和公理系统以及自然演绎系统类似的用于信念修正的转换系统、基于归结原理的信念修正方法、限定逻辑和信念修正之间的关系、缺省逻辑和信念修正之间的关系、Petri网推理和信念修正之间的关系等。