信念修正是当前研究的一个热点问题,如何构建信念修正系统形式化描述主体信念的动态变化以及利用更好的技术处理信念修正问题,具有重要的研究意义和价值。但就目前的情况来看,信念修正在取得一定研究成果的同时还存在许多亟待解决的问题。本文介绍了三种不同的研究信念修正的方法,通过分析这几种方法各自的优势和不足,尝试找出各种信念修正理论的共通点和共同的不足之处抑或是面临的问题。同时也希望通过对这几种方法的介绍及比较分析,能管中窥豹似地对现代逻辑中信念修正的研究方法或技术作一个大概的展示。第一部分：通过阐述认知逻辑中知识与信念的不同逻辑特征,强调应将信念概念与知识概念区分开来,从知识到信念。由此引出基本的信念逻辑系统KD45以及为信念修正奠定研究方向和理论基础的AGM系统。第二部分：主要介绍了现代逻辑中研究信念修正的几种方法,主要包括基于可信度的迭代信念修正方法、基于动态认知逻辑的信念修正理论以及基于代数方法的信念修正系统。通过分析这几种具有一定代表性的信念修正研究方法,试图展示现代逻辑对信念修正的各类研究技术和方案。第三部分：这部分是本文的重点,主要内容是详细说明了上述三种信念修正方法各自的优点和不足,通过比较分析三种方法在处理信念修正问题时的优势和不足,尝试找出各种信念修正方法之间的内在关联和共同面临的问题。第四部分：总结了本文的主要内容,并结合对信念修正相关理论的分析,给出了作者的一些观点和结论。