摘要
本文对信念修正的典型方法,如基于语法结构的方法,基于模型测试方法,修正理论,修正理论基础,重复方法等用我们的算法来实现,并且完成了其相关工作。
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.
出处
《计算机科学》
CSCD
北大核心
2004年第12期100-102,109,共4页
Computer Science
基金
国家重大基础研究计划(973)(2002CB312103)
国家自然科学基金(60033020)
国家自然科学基金重大国际合作项目(60310213)
国家自然科学基金杰出青年项目(60325206)
国家高技术发展研究计划(863)(2001AA114170)资助。
