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