123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

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