计算机
类型
可以朗读
语音朗读
111千字
字数
2018-04-01
发行日期
展开全部
主编推荐语
跨文化互动逻辑机制研究，突破防策略投票理论瓶颈。
内容简介
本书将基于社会选择理论进行“跨文化互动的逻辑机制研究”，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来刻画防策略投票问题，并生成为计算机可识别的程序代码，从而实现计算机对防策略投票问题的模拟和解决，以期实现对现实问题解决的自动性和高效性。
目录
- 封面
- 目录
- 内容简介
- 扉页
- 版权信息
- 其他
- 引言
- 第一章 防策略投票理论概述
- 第一节 防策略投票理论的历史综述
- 一 对防策略投票理论的关注
- 二 防策略投票理论的萌芽及初步形成阶段
- 三 防策略投票理论的正式提出及深入发展阶段
- 第二节 防策略投票方法研究概况
- 第二章 Gibbard-Satterthwaite防策略投票不可能性定理的证明
- 第一节 Gibbard-Satterthwaite防策略投票不可能性定理
- 一 符号与定义
- 二 线性投票下的Gibbard-Satterthwaite防策略投票不可能性定理
- 三 非线性投票下的Gibbard-Satterthwaite防策略投票不可能性定理
- 四 一些结论
- 第二节 Gibbard-Satterthwaite防策略投票不可能性定理的Saari方法证明
- 一 预备知识
- 二 Saari方法
- 三 Gibbard-Satterthwaite防策略投票不可能性定理的Saari方法证明
- 四 其他相关属性
- 第三节 Gibbard-Satterthwaite防策略投票不可能性定理的归纳法证明
- 一 归纳法记号
- 二 Gibbard-Satterthwaite防策略投票不可能性定理的归纳法证明
- 三 计算机辅助证明
- 第四节 Gibbard-Satterthwaite防策略投票不可能性定理证明的反思
- 第三章 Gibbard-Satterthwaite防策略投票不可能性定理的逻辑刻画
- 第一节 基本概念
- 第二节 模态逻辑S5m
- 第三节 投票逻辑（VL）
- 第四节 Gibbard-Satterthwaite防策略投票不可能性定理相关属性的逻辑刻画
- 第五节 VL的不可判定性
- 一 公式翻译
- 二 模型翻译
- 第六节 可判定性特例
- 一 公式翻译
- 二 模型翻译
- 第四章 基于社会选择函数逻辑的防策略投票理论
- 第一节 预备知识
- 第二节 命题控制联盟逻辑（CL-PC）
- 一 CL-PC的语言及语义
- 二 CL-PC的演绎系统
- 第三节 社会选择函数逻辑（SCFL）
- 一 SCFL的语言及语义
- 二 SCFL的公理及推理规则
- 第四节 防策略投票相关性质的表达
- 一 投票
- 二 社会选择函数SCF的刻画
- 三 真实偏好
- 四 非独裁
- 五 占优策略均衡
- 六 单调性
- 七 防策略
- 第五节 结论和进一步的研究
- 第五章 基于多主体策略逻辑的防策略投票理论
- 第一节 多主体联盟策略博弈模型
- 第二节 投票博弈
- 一 投票作为多主体策略博弈
- 二 投票博弈中的群体行动
- 第三节 多主体策略逻辑（MASL）
- 一 MASL的语言和语义
- 二 MASL的演算
- 三 防策略投票相关性质的表达
- 四 MASL与联盟逻辑（CL）的联系
- 第四节 MASL的认知扩张——EMASL
- 一 EMASL的语法和语义
- 二 EMASL的演算
- 三 相关性质的表达
- 第五节 结论和进一步的研究
- 附录
- 防操纵社会选择机制逻辑研究述评
- 吉伯德-萨特思韦特防策略不可能性定理的逻辑初探
- 投票理论阐释的新视角——从逻辑的角度看
- 参考文献
- 后记
- 作者简介
展开全部
评分及书评
尚无评分
目前还没人评分
出版方
中国社会科学出版社
中国社会科学出版社成立于1978年6月，是由中国社会科学院创办并主管的以出版人文社会科学学术著作为主的国家级出版社。1993年和1998年先后荣获中共中央宣传部和国家新闻出版总署授予的全国优秀出版社称号。1993年第一批荣获中共中央宣传部和国家新闻出版署授予的全国优秀出版社称号。
