R-演算：一种信念修正的逻辑（英文版）（R-Calculus: A logic of belief revision）
《R-演算：一种信念修正的逻辑（英文版）（R-Calculus: A logic of belief revision）》,作者:李未,眭跃飞 著 出版社:科学出版社 ISBN:9787030764102。信念修正是人工智能的研究分支之一。在哲学、认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出，它是任何一个合理的信念修正算子应该满足的*基本条件
