圖書信息
出版社: 中山大學出版社; 第1版 (2005年9月1日)
平裝: 549頁
正文語種: 簡體中文
ISBN: 9787306025876
條形碼: 9787306025876
尺寸: 20 x 14 x 2.2 cm
重量: 499 g
作者簡介
李小五，男，1955年1月生於浙江湖州，1986年在北京大學哲學系攻讀邏輯學研究生，1989年獲碩士學位，1992年調入中國社會科學院哲學所邏輯研究室，2002年8月進入中山大學邏輯與認知研究所。主要著作有《現代歸納邏輯與機率邏輯》、《無窮邏輯》(上下卷)，還發表論文20餘篇，合著5部、譯著1部。現任中山大學邏輯與認知研究所教授，中國社會科學院哲學所研究中心客座研究員。
內容簡介
《人工智慧邏輯講義》內容簡介：人工智慧邏輯是用邏輯方法和成果研究智慧型主體如何處理知識的學問，主要研究主體的常識推理。這種推理具有非單調性和信息不完備性。本講義分別介紹了三種主要的人工智慧邏輯：預設邏輯、非單調模態邏輯和限定邏輯。預設邏輯的主要思想是在經典邏輯中增加刻畫常識推理的預設推理規則，由此形成的擴張概念刻畫了主體的信念集及其變化。非單調模態邏輯是用“知”和“信”那樣的認識論運算元研究主體的認知狀態，用具有反思性質的穩定集概念刻畫主體的認知狀態。限定邏輯的主要思想是合理限定通常的謂詞邏輯所描述的謂詞，從而合理限定這樣的謂詞指稱的類的外延以排除反常的對象，因此限定邏輯在形式上提供一般的方法來極小化任意選出的謂詞或者由謂詞構成的公式，從而在直觀上刻畫了主體常識推理的能力。
本講義內容豐富，知識面廣，表達嚴謹，例題習題豐富，可作為高等學校邏輯學專業本科生、研究生教材使用。
目錄
第0章 預備知識
1 集合論初步
2 句子邏輯初步
3 謂詞邏輯初步
第1章 一般預設邏輯
1 經典句子邏輯中的單調推理規則
2 預設推理與預設理論的基本性質
3 預設理論的擴張
4 預設規則的良序化
5 弱擴張與部分擴張
6 量化邏輯
第2章 子預設邏輯
1 正規預設邏輯
2 半正規預設邏輯
第3章 預設邏輯的變種（上）
1 正當預設邏輯
2 累積預設邏輯
3 析取預設邏輯
第4章 預設邏輯的變種（下）
1 優先預設邏輯
2 約束預設邏輯
3 合理預設邏輯
第5章 模態邏輯基礎與穩定理論
1 模態邏輯基礎
2 穩定理論
第6章 模態系統的膨脹理論
1 依賴語境的證明
2 S-膨脹及其基本性質
3 極小模型語義
4 相對反思的一致性
5 S-膨脹的再認識
第7章 幾個重要的非單調模態邏輯
1 非單調邏輯N
2 非單調邏輯KD45和Sw5
3 自識邏輯
4 與單調模態邏輯的對應
5 對反思的限制
6 與預設邏輯的互譯
第8章 限定邏輯
0 經典二階邏輯
1 直觀思想
2 謂詞限定邏輯
3 公式限定邏輯
4 二階限定邏輯
5 非遞歸的限定邏輯
6 個體域限定邏輯
7 逐點限定邏輯
參考文獻
後記
