人工智能邏輯講義

定　價：￥35.00

作　者：	李小五編著
出版社：	中山大學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787306025876	出版時間：	2005-09-01	包裝：	膠版紙
開本：	20cm	頁數(shù)：	356	字數(shù)：

內容簡介

　　人工智能邏輯是用邏輯方法和成果研究智能主體如何處理知識的學問，主要研究主體的常識推理。這種推理具有非單調性和信息不完備性。本講義分別介紹了三種主要的人工智能邏輯：缺省邏輯、非單調模態(tài)邏輯和限定邏輯。缺省邏輯的主要思想是在經(jīng)典邏輯中增加刻畫常識推理的缺省推理規(guī)則，由此形成的擴張概念刻畫了主體的信念集及其變化。非單調模態(tài)邏輯是用“知”和“信”那樣的認識論算子研究主體的認知狀態(tài)，用具有反思性質的穩(wěn)定集概念刻畫主體的認知狀態(tài)。限定邏輯的主要思想是合理限定通常的謂詞邏輯所描述的謂詞，從而合理限定這樣的謂詞指稱的類的外延以排除反常的對象，因此限定邏輯在形式上提供一般的方法來極小化任意選出的謂詞或者由謂詞構成的公式，從而在直觀上刻畫了主體常識推理的能力。本講義內容豐富，知識面廣，表達嚴謹，例題習題豐富，可作為高等學校邏輯學專業(yè)本科生、研究生教材使用。

作者簡介

　　李小五，男，1955年1月生于浙江湖州，1986年在北京大學哲學系攻讀邏輯學研究生，1989年獲碩士學位，1992年調入中國社會科學院哲學所邏輯研究室，2002年8月進入中山大學邏輯與認知研究所。主要著作有《現(xiàn)代歸納邏輯與概率邏輯》、《無窮邏輯》（上下卷），還發(fā)表論文20余篇，合著5部、譯著1部?，F(xiàn)任中山大學邏輯與認知研究所教授，中國社會科學院哲學所研究中心客座研究員。

圖書目錄

第0章預備知識
1 集合論初步
2 句子邏輯初步
3 謂詞邏輯初步
第1章一般缺省邏輯
1 經(jīng)典句子邏輯中的單調推理規(guī)則
2 缺省推理與缺省理論的基本性質
3 缺省理論的擴張
4 缺省規(guī)則的良序化
5 弱擴張與部分擴張
6 量化邏輯
第2章子缺省邏輯
1 正規(guī)缺省邏輯
2 半正規(guī)缺省邏輯
第3章缺省邏輯的變種（上）
1 正當缺省邏輯
2 累積缺省邏輯
3 析取缺省邏輯
第4章缺省邏輯的變種（下）
1 優(yōu)先缺省邏輯
2 約束缺省邏輯
3 合理缺省邏輯
第5章模態(tài)邏輯基礎與穩(wěn)定理論
1 模態(tài)邏輯基礎
2 穩(wěn)定理論
第6章模態(tài)系統(tǒng)的膨脹理論
1 依賴語境的證明
2 S-膨脹及其基本性質
3 極小模型語義
4 相對反思的一致性
5 S-膨脹的再認識
第7章幾個重要的非單調模態(tài)邏輯
1 非單調邏輯N
2 非單調邏輯KD45和Sw5
3 自識邏輯
4 與單調模態(tài)邏輯的對應
5 對反思的限制
6 與缺省邏輯的互譯
第8章限定邏輯
0 經(jīng)典二階邏輯
1 直觀思想
2 謂詞限定邏輯
3 公式限定邏輯
4 二階限定邏輯
5 非遞歸的限定邏輯
6 個體域限定邏輯
7 逐點限定邏輯
參考文獻
后記