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