目錄
叢書(shū)序
前言
第一章 博弈語(yǔ)義的哲學(xué)背景 1
第一節(jié) 語(yǔ)言普遍觀 3
第二節(jié) 語(yǔ)言的演算觀 8
第三節(jié) 從語(yǔ)言游戲到語(yǔ)義博弈 11
第二章 多值邏輯的發(fā)展 17
第一節(jié) 多值邏輯的歷史 18
第二節(jié) 多值邏輯的句法與語(yǔ)義 28
第三節(jié) 塔斯基語(yǔ)義的局限 31
第三章 博弈論 33
第一節(jié) 策略博弈 34
第二節(jié) 零和博弈 36
第三節(jié) 擴(kuò)展博弈 38
第四章 一階邏輯的博弈語(yǔ)義 43
第一節(jié) 一階邏輯語(yǔ)義博弈的策略形式 43
第二節(jié) 一階邏輯語(yǔ)義博弈的擴(kuò)展形式 47
第三節(jié) 一階邏輯語(yǔ)義博弈的修正 52
第四節(jié) 一階邏輯語(yǔ)義博弈的擴(kuò)充 58
第五章 多值邏輯的語(yǔ)義博弈 64
第一節(jié) 多值邏輯二人語(yǔ)義博弈 64
第二節(jié) 多值邏輯博弈化 67
第三節(jié) 多值邏輯 n人語(yǔ)義博弈 70
第六章 多值邏輯的語(yǔ)義賦值博弈 76
第一節(jié) 基本思路 76
第二節(jié) 多值邏輯的語(yǔ)義賦值博弈 79
第三節(jié) 多值邏輯的博弈化 82
第四節(jié) 相關(guān)工作比較 87
第七章 IF邏輯及其博弈語(yǔ)義 91
第一節(jié) 一階邏輯的邏輯優(yōu)先性 91
第二節(jié) IF一階邏輯語(yǔ)義博弈的擴(kuò)展形式 96
第三節(jié) IF一階邏輯語(yǔ)義博弈的策略形式 99
第四節(jié) IF模態(tài)邏輯 102
第五節(jié) IF命題邏輯 108
第八章 IF多值邏輯 111
第一節(jié) IF多值邏輯的語(yǔ)義賦值博弈 112
第二節(jié) IF多值邏輯的博弈化 116
第三節(jié) 相關(guān)工作的比較 125
第九章 IF多值邏輯可選擇的語(yǔ)義 129
第一節(jié) IF多值邏輯的霍奇斯語(yǔ)義 130
第二節(jié) IF多值邏輯完全信息的語(yǔ)義賦值博弈 132
第三節(jié) IF邏輯的霍奇斯語(yǔ)義和完全信息的語(yǔ)義賦值博弈 136
第十章 模糊邏輯的博弈語(yǔ)義 141
第一節(jié) 盧卡斯維奇邏輯語(yǔ)義博弈的擴(kuò)展形式 141
第二節(jié) 盧卡斯維奇邏輯的討價(jià)還價(jià)語(yǔ)義博弈 148
第三節(jié) IF模糊邏輯及其語(yǔ)義博弈 154
第十一章 IF多值邏輯的性質(zhì)與表達(dá)力 156
第一節(jié) IF多值邏輯的性質(zhì) 156
第二節(jié) IF一階邏輯的表達(dá)力 159
第三節(jié) IF一階邏輯與“真”的定義 161
第四節(jié) IF多值邏輯與賦值函數(shù) 163
參考文獻(xiàn) 169