本書分為上下兩篇。上篇從認知邏輯出發(fā)，主要考察以知識為載體的信息變化規(guī)律。具體涉及的內容有多主體認知邏輯、動態(tài)邏輯、動態(tài)認知邏輯以及一類程序性知識的哲學邏輯描述（知道行動的一種表述）。下篇主要從以信念為載體的信息變化出發(fā)，具體涉及的內容有經(jīng)典信念修正理論、有窮依賴網(wǎng)絡理論、邏輯博弈、博弈邏輯、聯(lián)盟邏輯以及社會軟件中的邏輯。
更多科學出版社服務，請掃碼獲取。
目錄
本書寫作分工/i
序（鞠實兒）/iii
上篇 邏輯、認知與信息流動
篇首語 3
1 經(jīng)典認知邏輯 5
1.1 當知識遇上推理 5
1.2 認知邏輯的背景介紹 8
1.3 認知邏輯的語言 9
1.4 認知邏輯的語義 9
1.5 認知邏輯的公理系統(tǒng) 10
1.6 群體性知識的引入 11
2 動態(tài)邏輯 13
2.1 動態(tài)邏輯的基本思想 13
2.2 命題動態(tài)邏輯（PDL） 14
2.3 一階動態(tài)邏輯 16
2.4 動態(tài)邏輯的應用 23
3 動態(tài)認知邏輯及其應用 25
3.1 歷史和背景 25
3.2 典型的動態(tài)認知邏輯系統(tǒng) 26
3.3 相關謎題分析 32
4 知道行動邏輯初探 59
4.1 動機和背景 59
4.2 命題動態(tài)邏輯簡介 64
4.3 一階認知框架的擴充 65
4.4 關于知道行動的推理 70
4.5 本章小結 77
下篇 信念、博弈與社會互動
篇首語 83
5 經(jīng)典信念修正理論及其發(fā)展 85
5.1 信念改變研究現(xiàn)狀 85
5.2 描述信念改變的AGM理論 87
5.3 基于AGM的一種穩(wěn)定集修正嘗試 89
6 信念修正的有窮依賴網(wǎng)絡 99
6.1 有窮依賴網(wǎng)絡理論評述 100
6.2 有窮依賴網(wǎng)絡與其他信念修正理論的比較研究 122
6.3 信念改變的核心問題討論 129
6.4 本章小結 138
7 博弈互動中的邏輯 139
7.1 引言：社會互動中的博弈 139
7.2 博弈論 139
7.3 邏輯博弈 145
7.4 博弈邏輯 148
7.5 聯(lián)盟邏輯及其應用 154
8 社會軟件中的邏輯 163
8.1 社會軟件概述 163
8.2 基礎認知模型及其應用 169
8.3 基于知識的義務 174
8.4 交流圖及其邏輯 187
8.5 本章小結 194
參考文獻 197
英漢專業(yè)術語對照表 202
英漢人名對照表 212
致謝 214
書單推薦
