信念修正是人工智能的研究分支之一。在哲學、認知心理學和數(shù)據(jù)庫更新等領域中，很早就有對信念修正的討論和研究。AGM公設在20世紀70年代末被提出，它是任何一個合理的信念修正算子應該滿足的最基本條件。本書作者李未院士在20世紀80年代中期提出了R-演算，這是一個滿足AGM公設、非單調(diào)的并且類似于Gentzen推理系統(tǒng)的信念修正算子。本書對R-演算作多個視角的擴展，將為研究生尋找研究方向和研究思路提供一定幫助。

更多科學出版社服務，請掃碼獲取。