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