本书以信念模型和信息交互为主题，探讨了个体信念在社会环境下的聚合、扩散、相互影响及群体信念等问题，基于信念的信息交互建立了具有一般性的框架结构和逻辑模型。主要内容包括基础信念逻辑、逻辑全知问题、觉知与信念、概率模型、他人信念推理、群体信念交互、信念的聚合与扩散、信念逻辑在信息交互安全协议中的应用。
更多科学出版社服务，请扫码获取。
2003年6月 逻辑学博士，中山大学哲学系。
1998年9月－2003年7月，中山大学哲学系研究生
1989年9月－1994年7月，重庆大学材料与科学工程系本科生
2014年1月至今 教授，中山大学哲学系、逻辑与认知研究所。
2006年6月－2014年1月 副教授，中山大学哲学系、逻辑与认知研究所。
2019年9月－2020年9月 访问学者，英属哥伦比亚大学，加拿大。
2012年2月－2013年2月 访问学者，斯坦福大学，美国。
2005年5月－2006年5月 博士后研究员，新南威尔士大学，澳大利亚。
2003 年9月－2004年9月 博士后研究员，匹兹堡大学，美国。2007年获得全国优秀博士学位论文奖励；2010年入选中山大学卓越人才计划；2011年入选中山大学合生珠江优秀青年教师。中国逻辑学会现代逻辑专业委员会副主任中国逻辑学会常务理事，广东逻辑学会副会长
目录
丛书序
前言
第1章 信念的基本模型与逻辑系统 1
1.1 信念：从概念分析到逻辑模型 1
1.2 标准信念逻辑KD45 7
1.3 逻辑全知问题 10
第2章 有限资源主体的信念 14
2.1 解决逻辑全知问题的路径 14
2.2 簇模型 17
2.3 不可能状态模型 18
2.4 明晰信念与潜在信念 20
2.5 觉知逻辑 21
2.5.1 背景介绍 21
2.5.2 模型和语义 22
2.5.3 觉知逻辑中的逻辑全知问题 24
2.5.4 觉知公式集的内部结构 25
2.5.5 觉知逻辑：优点和缺点 27
2.6 复合系统和复合筛系统 29
2.6.1 复合系统 29
2.6.2 复合筛系统 31
2.7 更多的解决方案 32
2.7.1 以可能算子作为信念算子 32
2.7.2 非标准结构 33
2.7.3 原则与潜在信念模型 33
2.7.4 混合模型 34
第3章 觉知、信念与二维逻辑 35
3.1 预设与二维逻辑 35
3.1.1 预设问题的概念分析 35
3.1.2 预设的二维逻辑语义 36
3.2 二维觉知逻辑 39
3.2.1 作为信念预设的觉知 39
3.2.2 模型 41
3.2.3 语义 43
3.2.4 公理化 45
3.3 二维严格觉知逻辑 49
3.3.1 模型和语义 49
3.3.2 TRAL的性质 53
3.3.3 TRAL公理化 56
3.4 二维复合觉知逻辑 59
3.4.1 模型和语义 60
3.4.2 公理化 62
3.5 研究展望 64
第4章 信念的概率模型 67
4.1 概率解释与概率逻辑 67
4.2 洛克论题 73
4.2.1 洛克论题与概率 73
4.2.2 彩票悖论 75
4.2.3 序言悖论 77
4.2.4 阈值的范围 78
4.3 概率模型中的主体认知 79
4.4 概率信念逻辑系统及其可靠性和完全性 84
4.5 研究展望 92
第5章 他人的信念 94
5.1 信念归因问题 94
5.2 模型和语义 95
5.3 模拟信念的性质 101
5.4 公理化 104
5.5 相关研究和展望 110
第6章 信念交互 115
6.1 个体的信念改变：信念修正 117
6.2 从个体信念到群体意见：信念融合 119
6.2.1 基本理论 119
6.2.2 达成共识 122
6.3 逻辑与社会选择 123
6.3.1 社会选择理论 123
6.3.2 判断聚合 125
第7章 信念的聚合与扩散 127
7.1 从个体信念到群体意见 127
7.2 信念聚合的基础模型 130
7.3 聚合规则 133
7.4 公平标准 136
7.5 公平标准下的群体意见函数 139
7.6 相关研究及未来研究展望 142
第8章 信息交互通道：协议验证和协议设计 146
8.1 认证协议 146
8.2 BAN：通信协议验证的信念逻辑 151
8.3 使用BAN验证通信协议 154
8.4 通信协议设计的逻辑方法 157
8.4.1 从协议验证到协议设计的逆向思考 157
8.4.2 协议设计的逻辑PDL 159
8.4.3 PDL合成规则的使用方法 160
8.4.4 使用报文推导规则导出协议 164
参考文献 170
书单推荐
