目錄
叢書序
前言
第1章 信念的基本模型與邏輯系統(tǒng) 1
1.1 信念：從概念分析到邏輯模型 1
1.2 標準信念邏輯KD45 7
1.3 邏輯全知問題 10
第2章 有限資源主體的信念 14
2.1 解決邏輯全知問題的路徑 14
2.2 簇模型 17
2.3 不可能狀態(tài)模型 18
2.4 明晰信念與潛在信念 20
2.5 覺知邏輯 21
2.5.1 背景介紹 21
2.5.2 模型和語義 22
2.5.3 覺知邏輯中的邏輯全知問題 24
2.5.4 覺知公式集的內部結構 25
2.5.5 覺知邏輯：優(yōu)點和缺點 27
2.6 復合系統(tǒng)和復合篩系統(tǒng) 29
2.6.1 復合系統(tǒng) 29
2.6.2 復合篩系統(tǒng) 31
2.7 更多的解決方案 32
2.7.1 以可能算子作為信念算子 32
2.7.2 非標準結構 33
2.7.3 原則與潛在信念模型 33
2.7.4 混合模型 34
第3章 覺知、信念與二維邏輯 35
3.1 預設與二維邏輯 35
3.1.1 預設問題的概念分析 35
3.1.2 預設的二維邏輯語義 36
3.2 二維覺知邏輯 39
3.2.1 作為信念預設的覺知 39
3.2.2 模型 41
3.2.3 語義 43
3.2.4 公理化 45
3.3 二維嚴格覺知邏輯 49
3.3.1 模型和語義 49
3.3.2 TRAL的性質 53
3.3.3 TRAL公理化 56
3.4 二維復合覺知邏輯 59
3.4.1 模型和語義 60
3.4.2 公理化 62
3.5 研究展望 64
第4章 信念的概率模型 67
4.1 概率解釋與概率邏輯 67
4.2 洛克論題 73
4.2.1 洛克論題與概率 73
4.2.2 彩票悖論 75
4.2.3 序言悖論 77
4.2.4 閾值的范圍 78
4.3 概率模型中的主體認知 79
4.4 概率信念邏輯系統(tǒng)及其可靠性和完全性 84
4.5 研究展望 92
第5章 他人的信念 94
5.1 信念歸因問題 94
5.2 模型和語義 95
5.3 模擬信念的性質 101
5.4 公理化 104
5.5 相關研究和展望 110
第6章 信念交互 115
6.1 個體的信念改變：信念修正 117
6.2 從個體信念到群體意見：信念融合 119
6.2.1 基本理論 119
6.2.2 達成共識 122
6.3 邏輯與社會選擇 123
6.3.1 社會選擇理論 123
6.3.2 判斷聚合 125
第7章 信念的聚合與擴散 127
7.1 從個體信念到群體意見 127
7.2 信念聚合的基礎模型 130
7.3 聚合規(guī)則 133
7.4 公平標準 136
7.5 公平標準下的群體意見函數(shù) 139
7.6 相關研究及未來研究展望 142
第8章 信息交互通道：協(xié)議驗證和協(xié)議設計 146
8.1 認證協(xié)議 146
8.2 BAN：通信協(xié)議驗證的信念邏輯 151
8.3 使用BAN驗證通信協(xié)議 154
8.4 通信協(xié)議設計的邏輯方法 157
8.4.1 從協(xié)議驗證到協(xié)議設計的逆向思考 157
8.4.2 協(xié)議設計的邏輯PDL 159
8.4.3 PDL合成規(guī)則的使用方法 160
8.4.4 使用報文推導規(guī)則導出協(xié)議 164
參考文獻 170