《多值逻辑博弈语义研究》PDF下载

  • 购买积分:9 如何计算积分?
  • 作  者:陈招万著;赵希顺主编
  • 出 版 社:北京:科学出版社
  • 出版年份:2018
  • ISBN:9787030535092
  • 页数:172 页
图书介绍:图书主要探讨多值逻辑的语义解释问题。多值逻辑在人们的现实生活中获淂广泛的应用,但一直未能寻找到一个让人们满意的、符合人们直觉的语义解释。特征函数语义、代数语义、可能世界语义从多值逻辑的数学性质构建多值逻辑语义模型,这些模型预设了语义解释的唯一性,忽视了人们把握和理解多值逻辑语言的过程,从而破坏了语义解释的现实基础。本书从多主体之间的语义互动出发,以博弈论作为工具,构建多值逻辑一般化的语义模型,为人们理解和把握多值逻辑的语言提供理论支撑。

第一章 博弈语义的哲学背景 1

第一节 语言普遍观 3

第二节 语言的演算观 8

第三节 从语言游戏到语义博弈 11

第二章 多值逻辑的发展 17

第一节 多值逻辑的历史 18

第二节 多值逻辑的句法与语义 28

第三节 塔斯基语义的局限 31

第三章 博弈论 33

第一节 策略博弈 34

第二节 零和博弈 36

第三节 扩展博弈 38

第四章 一阶逻辑的博弈语义 43

第一节 一阶逻辑语义博弈的策略形式 43

第二节 一阶逻辑语义博弈的扩展形式 47

第三节 一阶逻辑语义博弈的修正 52

第四节 一阶逻辑语义博弈的扩充 58

第五章 多值逻辑的语义博弈 64

第一节 多值逻辑二人语义博弈 64

第二节 多值逻辑博弈化 67

第三节 多值逻辑n人语义博弈 70

第六章 多值逻辑的语义赋值博弈 76

第一节 基本思路 76

第二节 多值逻辑的语义赋值博弈 79

第三节 多值逻辑的博弈化 82

第四节 相关工作比较 87

第七章 IF逻辑及其博弈语义 91

第一节 一阶逻辑的逻辑优先性 91

第二节 IF一阶逻辑语义博弈的扩展形式 96

第三节 IF一阶逻辑语义博弈的策略形式 99

第四节 IF模态逻辑 102

第五节 IF命题逻辑 108

第八章 IF多值逻辑 111

第一节 IF多值逻辑的语义赋值博弈 112

第二节 IF多值逻辑的博弈化 116

第三节 相关工作的比较 125

第九章 IF多值逻辑可选择的语义 129

第一节 IF多值逻辑的霍奇斯语义 130

第二节 IF多值逻辑完全信息的语义赋值博弈 132

第三节 IF逻辑的霍奇斯语义和完全信息的语义赋值博弈 136

第十章 模糊逻辑的博弈语义 141

第一节 卢卡斯维奇逻辑语义博弈的扩展形式 141

第二节 卢卡斯维奇逻辑的讨价还价语义博弈 148

第三节 IF模糊逻辑及其语义博弈 154

第十一章 IF多值逻辑的性质与表达力 156

第一节 IF多值逻辑的性质 156

第二节 IF一阶逻辑的表达力 159

第三节 IF一阶逻辑与“真”的定义 161

第四节 IF多值逻辑与赋值函数 163

参考文献 169