本書分為上下兩篇。上篇從認(rèn)知邏輯出發(fā)，主要考察以知識(shí)為載體的信息變化規(guī)律。具體涉及的內(nèi)容有多主體認(rèn)知邏輯、動(dòng)態(tài)邏輯、動(dòng)態(tài)認(rèn)知邏輯以及一類程序性知識(shí)的哲學(xué)邏輯描述（知道行動(dòng)的一種表述）。下篇主要從以信念為載體的信息變化出發(fā)，具體涉及的內(nèi)容有經(jīng)典信念修正理論、有窮依賴網(wǎng)絡(luò)理論、邏輯博弈、博弈邏輯、聯(lián)盟邏輯以及社會(huì)軟件中的邏輯。
更多科學(xué)出版社服務(wù)，請掃碼獲取。
目錄
本書寫作分工/i
序（鞠實(shí)兒）/iii
上篇 邏輯、認(rèn)知與信息流動(dòng)
篇首語 3
1 經(jīng)典認(rèn)知邏輯 5
1.1 當(dāng)知識(shí)遇上推理 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 群體性知識(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)邏輯簡介 64
4.3 一階認(rèn)知框架的擴(kuò)充 65
4.4 關(guān)于知道行動(dòng)的推理 70
4.5 本章小結(jié) 77
下篇 信念、博弈與社會(huì)互動(dòng)
篇首語 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 博弈互動(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
英漢專業(yè)術(shù)語對照表 202
英漢人名對照表 212
致謝 214
書單推薦
