类似推荐
编辑推荐
跨文化互动逻辑机制研究，突破防策略投票理论瓶颈。
内容简介
本书将基于社会选择理论进行“跨文化互动的逻辑机制研究”，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来刻画防策略投票问题，并生成为计算机可识别的程序代码，从而实现计算机对防策略投票问题的模拟和解决，以期实现对现实问题解决的自动性和高效性。
章节目录
封面
目录
内容简介
扉页
版权信息
其他
引言
第一章 防策略投票理论概述
第一节 防策略投票理论的历史综述
一 对防策略投票理论的关注
二 防策略投票理论的萌芽及初步形成阶段
三 防策略投票理论的正式提出及深入发展阶段
第二节 防策略投票方法研究概况
第二章 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的演算
三 相关性质的表达
第五节 结论和进一步的研究
附录
防操纵社会选择机制逻辑研究述评
吉伯德-萨特思韦特防策略不可能性定理的逻辑初探
投票理论阐释的新视角——从逻辑的角度看
参考文献
后记
作者简介
防策略投票理论的逻辑研究是2018年由中国社会科学出版社出版,作者孙雯。
得书感谢您对《防策略投票理论的逻辑研究》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
