人工智能邏輯講義

第0章 預(yù)備知識
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 依賴語境的證明
2 S-膨脹及其基本性質(zhì)
3 極小模型語義
4 相對反思的一致性
5 S-膨脹的再認(rèn)識
第7章 幾個(gè)重要的非單調(diào)模態(tài)邏輯
1 非單調(diào)邏輯N
2 非單調(diào)邏輯KD45和Sw5
3 自識邏輯
4 與單調(diào)模態(tài)邏輯的對應(yīng)
5 對反思的限制
6 與缺省邏輯的互譯
第8章 限定邏輯
0 經(jīng)典二階邏輯
1 直觀思想
2 謂詞限定邏輯
3 公式限定邏輯
4 二階限定邏輯
5 非遞歸的限定邏輯
6 個(gè)體域限定邏輯
7 逐點(diǎn)限定邏輯
參考文獻(xiàn)
后記