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

更多科學(xué)出版社服務(wù)，請掃碼獲取。