摘要： 本文对信念修正的典型方法，如基于语法结构的方法，基于模型测试方法，修正理论，修正理论基础，重复方法等用我们的算法来实现，并且完成了其相关工作。

关键词: 信念修正 实现方法 算法 模型 测试方法 理论基础 语法结构 典型 重复