• belief revision - 引用次数：15

  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.

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

  参考来源 - 信念修正的实现方法 in C
• belief revision - 引用次数：4

  In this thesis, a logic system will be proposed------dynamic logic of belief revision(DBR),which can model belief change .

  本文旨在建立一个能处理信念变化的信念修正逻辑系统S_(DBR)。

  参考来源 - 信念修正逻辑初探
• belief revision

·2,447,543篇论文数据，部分数据来源于NoteExpress