logic

R-演算:一种信念修正的逻辑(英文版)(R-Calculus: A logic of belief revision) 李未,眭跃飞 著.pdf

信念修正是人工智能的研究分支之一。在哲学、认知心理学和数据库更新等领域中,很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出,它是任何一个合理的信念修正算子应该满足的*基本条件。《R-CALCULUS:A Logic of Belief Revision》作者李