出版時間:2001-6 出版社:清華大學出版社 作者:周昌樂 頁數(shù):312
Tag標簽:無
內(nèi)容概要
本書主要介紹有關(guān)知識、信念的形式化描述及其應用的邏輯理論,充分反映了國外在認知邏輯研究領(lǐng)域所取得的成就,不但介紹了較為成熟的信念邏輯、斷定邏輯,而且給出了認知非單調(diào)推理、認知缺省推理以及一些廣義認知邏輯理論。
書籍目錄
一,引論
二,模態(tài)邏輯基礎(chǔ)
三,斷定邏輯系統(tǒng)
四,知道邏輯系統(tǒng)
五,信念邏輯系統(tǒng)
六,廣義認知邏輯
七,認知狀態(tài)邏輯
八,認知缺省推理
九,應用
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載