• 
  信念的模型与群体...
  ￥101.12元

本书以信念模型和信息交互为主题，探讨了个体信念在社会环境下的聚合、扩散、相互影响及群体信念等问题，基于信念的信息交互建立了具有一般性的框架结构和逻辑模型。主要内容包括基础信念逻辑、逻辑全知问题、觉知与信念、概率模型、他人信念推理、群体信念交互、信念的聚合与扩散、信念逻辑在信息交互安全协议中的应用。

样章试读

• 暂时还没有任何用户评论

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

• 暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

用户名：	匿名用户
E-mail：
咨询内容：

• 目录
  丛书序
  前言
  第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