動(dòng)態(tài)信息的信念修正邏輯研究

第一章 概述
第二章 保真性推理和觀察的邏輯
第一節(jié) 模態(tài)保真性推理
第二節(jié) 隱性信息和顯性信息
第三節(jié) 保真性推理
第四節(jié) 觀察的邏輯
第三章 覺知邏輯
第一節(jié) 覺知邏輯
第二節(jié) 顯性信息
第三節(jié) 覺知模型運(yùn)算
第四節(jié) 動(dòng)態(tài)行為
第五節(jié) 動(dòng)態(tài)邏輯的完全性
第六節(jié) 多主體的覺知邏輯
第四章 覺知、隱性知識(shí)和顯性知識(shí)
第一節(jié) 覺知、隱性信息和顯性信息
第二節(jié) 靜態(tài)信息模型
第三節(jié) 動(dòng)態(tài)信息模型
第五章 傳統(tǒng)的信念邏輯
第一節(jié) 經(jīng)典的信念邏輯
第二節(jié) 信念邏輯系統(tǒng)
第三節(jié) 動(dòng)態(tài)信念修正邏輯系統(tǒng)
第四節(jié) 信念修正邏輯系統(tǒng)的擴(kuò)充
第六章 動(dòng)態(tài)的信念變化邏輯
第一節(jié) 理性主體和信念變化
第二節(jié) 智能主體間的互動(dòng)
第三節(jié) 信念邏輯
第四節(jié) 理性主體模型
第五節(jié) 互動(dòng)的認(rèn)識(shí)論
第六節(jié) 信念變化邏輯
第七節(jié) 語(yǔ)言的表達(dá)力
第七章 刻畫信念變化的邏輯
第一節(jié) 信念修正的AGM理論
第二節(jié) 格魯夫球
第三節(jié) 動(dòng)態(tài)信念邏輯
第四節(jié) 公開宣告邏輯
第五節(jié) 弱動(dòng)態(tài)認(rèn)知邏輯
第六節(jié) 條件信念邏輯
第七節(jié) 證據(jù)邏輯
第八章 多主體的信念變化邏輯
第一節(jié) 基礎(chǔ)理論
第二節(jié) 信念變化的動(dòng)態(tài)邏輯
第三節(jié) 信念時(shí)態(tài)模型
第四節(jié) 優(yōu)先更新的框架性
第五節(jié) 表示定理
第六節(jié) 前序的擴(kuò)充
第七節(jié) 擴(kuò)充和定理
第九章 總或然模型中的信念收縮
第一節(jié) 信念收縮
第二節(jié) 嚴(yán)格取消
第三節(jié) 保守收縮
第四節(jié) 適度收縮
第十章 辯護(hù)模型
第一節(jié) 辯護(hù)模型
第二節(jié) 辯護(hù)模型類
第三節(jié) 動(dòng)態(tài)的辯護(hù)模型
第四節(jié) 語(yǔ)言和公理系統(tǒng)
第五節(jié) 辯護(hù)信念
第十一章 動(dòng)態(tài)信念邏輯
第一節(jié) 動(dòng)態(tài)信念邏輯修正
第二節(jié) 動(dòng)態(tài)信念邏輯和條件信念邏輯
第三節(jié) 全動(dòng)態(tài)信念邏輯的擴(kuò)張和收縮
第十二章 會(huì)話語(yǔ)境的信念修正邏輯
第一節(jié) 分支一時(shí)問(wèn)信念修正邏輯
第二節(jié) 會(huì)話邏輯
第三節(jié) 博南諾的信念邏輯
第四節(jié) 可靠性和完全性
第十三章 動(dòng)態(tài)的隱性信念和顯性信念
第一節(jié) 刻畫信念的方法
第二節(jié) 非全能信念
第三節(jié) 信念修正
第四節(jié) 信念推理
第十四章 合并模型的語(yǔ)言和邏輯
第一節(jié) 認(rèn)知信念語(yǔ)言
第二節(jié) 動(dòng)態(tài)信念語(yǔ)言
第三節(jié) 認(rèn)知時(shí)態(tài)信念語(yǔ)言
第四節(jié) 信念修正的公理系統(tǒng)
第十五章 知識(shí)和信念的哲學(xué)反思
第一節(jié) 確證的真信念
第二節(jié) 可廢止知識(shí)的博弈語(yǔ)義
第十六章 回顧與展望
第一節(jié) 內(nèi)容回顧
第二節(jié) 工作展望
參考文獻(xiàn)