R-演算：一种信念修正的逻辑

R-演算：一种信念修正的逻辑
9787030685834
李未,眭跃飞 著

O177.6
科学出版社
2021-04
2021
2021
信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的最基本条件。本书第一作者李未院士在20世纪80年代中期提出R-演算，这是一个满足AGM公设，非