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

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