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

【Abstract】 In this paper, the typical methods for belief revision, such as the syntax-based approach, model-based approach, the revision of a theory,the revision of a theory base, iterated approach etc., are implemented by the algorithm we introduced. And the related works are compared with our work.更多还原