前言
1 認(rèn)知邏輯的基礎(chǔ)理論
1.1 基本的模態(tài)邏輯系統(tǒng)
1.1.1 基本模態(tài)語(yǔ)言L □
1.1.2 基本模態(tài)語(yǔ)言的解釋——框架與模型
1.1.3 正規(guī)模態(tài)邏輯
1.2 單主體的認(rèn)知模態(tài)邏輯PK與PB
1.2.1 單主體的認(rèn)知模態(tài)語(yǔ)言L KB
1.2.2 認(rèn)知邏輯系統(tǒng)PK和PB
1.2.3 PK與PB系統(tǒng)的可靠性和完全性
1.3 多主體的認(rèn)知邏輯初步
1.3.1 由單主體系統(tǒng)向多主體系統(tǒng)的擴(kuò)展
1.3.2 普遍知識(shí)、公共知識(shí)與分布式知識(shí)
1.3.3 舉例——泥孩難題
2 時(shí)態(tài)認(rèn)知邏輯
2.1 時(shí)態(tài)邏輯
2.1.1 基本時(shí)態(tài)命題邏輯
2.1.2 S，U時(shí)態(tài)命題邏輯系統(tǒng)
2.2 時(shí)態(tài)化邏輯系統(tǒng)的方法
2.2.1 時(shí)態(tài)化任意一個(gè)正規(guī)邏輯系統(tǒng)
2.2.2 T(L)的完全性
2.2.3 T(L)的可判定性
2.3 時(shí)態(tài)認(rèn)知邏輯系統(tǒng)Kt(S5)
3 群體知識(shí)和多主體認(rèn)知邏輯
3.1 多主體認(rèn)知邏輯概述
3.2 分布式知識(shí)
3.2.1 分布式知識(shí)概念的提出
3.2.2 聯(lián)合知識(shí)與隱含知識(shí)——分布式知識(shí)的形式化分析
3.2.3 完全交流原則與完全交流模型
3.2.4 互模擬和群體知識(shí)
3.3 帶有群體知識(shí)的多主體認(rèn)知邏輯SS B m(RC，D，E)
3.3.1 相對(duì)化公共知識(shí)
3.3.2 語(yǔ)言和語(yǔ)義
3.3.3 公理系統(tǒng)
3.3.4 完全性證明
4 動(dòng)態(tài)認(rèn)知邏輯的基礎(chǔ)系統(tǒng)——公開(kāi)宣告邏輯
4.1 公開(kāi)宣告與邏輯模型
4.1.1 從過(guò)程看推理
4.1.2 公開(kāi)宣告和信息流動(dòng)
4.1.3 公開(kāi)宣告和模型變化
4.2 公開(kāi)宣告邏輯PAL
4.2.1 語(yǔ)言和語(yǔ)義
4.2.2 公理系統(tǒng)
4.2.3 完全性證明
4.2.4 關(guān)于公開(kāi)宣告邏輯PAL
4.3 帶有群體知識(shí)的公開(kāi)宣告邏輯PAL(RC，D，E)
4.3.1 語(yǔ)言和語(yǔ)義
4.3.2 公理系統(tǒng)
4.3.3 完全性證明
4.4 應(yīng)用分析
4.4.1 泥孩難題再分析
4.4.2 和積之謎
4.4.3 意外考試難題
5 博弈邏輯
5.1 邏輯與博弈
5.1.1 博弈論的基本概念
5.1.2 邏輯與博弈的關(guān)系
5.2 帶有偏好的博弈邏輯
5.2.1 形式定義
5.2.2 語(yǔ)形與語(yǔ)義
5.2.3 公理系統(tǒng)及其可靠性
5.3 擴(kuò)展式博弈邏輯
5.3.1 具有完美信息的擴(kuò)展式博弈
5.3.2 擴(kuò)展式博弈邏輯系統(tǒng)
5.3.3 納什均衡的PDL刻畫(huà)
5.4 公開(kāi)宣告邏輯在博弈中的應(yīng)用
5.4.1 重復(fù)剔除的占優(yōu)均衡
5.4.2 重復(fù)剔除嚴(yán)格劣策略算法的邏輯刻畫(huà)
6 信念修正的動(dòng)態(tài)邏輯
6.1 經(jīng)典的信念邏輯
6.1.1 信念邏輯系統(tǒng)S KD45
6.1.2 信念修正的AGM理論
6.2 靜態(tài)的信念修正邏輯系統(tǒng)S SBR
6.2.1 順序條件函數(shù)
6.2.2 系統(tǒng)S SBR的語(yǔ)言及語(yǔ)義
6.2.3 系統(tǒng)S SBR的證明系統(tǒng)
6.2.4S SBR系統(tǒng)的可靠性和完全性
6.3 動(dòng)態(tài)的信念修正邏輯系統(tǒng)S DBR
6.3.1 更新模型
6.3.2 S DBR的系統(tǒng)
6.3.3 S DBR系統(tǒng)完全性的證明
6.3.4 與AGM理論作比較
7 非邏輯全知主體的邏輯
7.1 邏輯全知問(wèn)題概述
7.1.1 邏輯全知的不同表現(xiàn)形式
7.1.2 邏輯全知問(wèn)題的解決途徑
7.2 非標(biāo)準(zhǔn)語(yǔ)義結(jié)構(gòu)
7.3 不可能世界模型
7.3.1 不可能世界
7.3.2 Levesque的隱性和顯性信念邏輯
7.4 覺(jué)知邏輯
7.5 Montague-Scott鄰域語(yǔ)義
7.5.1 Montague-Scott語(yǔ)義模型
7.5.2 局部推理模型
7.6 動(dòng)態(tài)認(rèn)知的方法
8 非單調(diào)邏輯和缺省邏輯
8.1 知識(shí)與常識(shí)
8.2 推理的單調(diào)性與非單調(diào)性
8.3 非單調(diào)邏輯
8.3.1 非單調(diào)邏輯及其研究方法
8.3.2 非單調(diào)邏輯的元理論性質(zhì)
8.4 常識(shí)與缺省規(guī)則
8.5 缺省邏輯的語(yǔ)形
8.6 缺省理論及其擴(kuò)張
8.6.1 缺省理論擴(kuò)張的定義
8.6.2 缺省理論擴(kuò)張的性質(zhì)
8.7 缺省邏輯的語(yǔ)義
8.8 對(duì)缺省邏輯的進(jìn)一步認(rèn)識(shí)
參考文獻(xiàn)
附錄 命題邏輯與一階謂詞邏輯
附錄1 命題語(yǔ)言Lp與一階謂詞語(yǔ)言LQ
附錄2 語(yǔ)義理論
附錄3 一階邏輯演算系統(tǒng)Q