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