第1章 绪论 1
1.1 决策理论与辩论理论 1
1.1.1 决策的基本概念 1
1.1.2 决策问题的复杂性 3
1.1.3 现代决策理论概述 5
1.1.4 不同决策模型的比较分析 10
1.1.5 基于辩论理论的决策分析方法 13
1.2 辩论理论的起源与发展现状 14
1.2.1 辩论的理论基础 15
1.2.2 可废止推理与辩论 16
1.2.3 辩论框架 18
1.2.4 辩证证明理论 20
1 2.5 多Agent辩论系统 22
1.2.6 计算辩论的应用 24
1.3 基于辩论理论的决策模型 26
1.3.1 早期的辩论决策模型 27
1.3.2 抽象辩论框架 28
1.3.3 基于价值的辩论框架 30
1.3.4 基于偏好的辩论框架 32
1.3.5 双极的辩论框架 35
1.3.6 Domino决策模型 39
1.3.7 基于辩论理论的决策辅助模型 40
1.4 辩论决策的未来发展前景 42
第2章 论据的计算模型 45
2.1 论据的基础知识 45
2.1.1 论据的基本概念 45
2.1.2 论据的分类 47
2.1.3 论据的结构 49
2.1.4 论据构建的策略 52
2.1.5 论据的规范 53
2.1.6 论据的评估 54
2.1.7 论据的攻击 54
2.1.8 论据的修正 56
2.2 基于演绎推理的论据模型 56
2.2.1 基于逻辑推导的论据表示 57
2.2.2 基于假设的论据模型 57
2.2.3 具有支持强度的论据模型 58
2.2.4 用于决策支持的论据逻辑模型 59
2.3 基于可废止推理的论据模型 59
2.3.1 可废止推理的基本定义 60
2.3.2 论据的定义 61
2.3.3 论据的比较 62
2.3.4 具有支持强度的可废止论据模型 63
2.4 基于归纳推理的论据模型 65
2.4.1 归纳推理的基本原理 66
2.4.2 基于类比学习的论据 68
2.4.3 基于归纳学习的论据 70
2.4.4 基于关联规则挖掘的论据 71
2.5 基于实用推理的论据模型 72
2.5.1 关于实用推理的研究 72
2.5.2 实用论据的基本定义 74
2.5.3 基于BDI的实用论据模式 74
2.6 基于图示的论据模型 76
2.6.1 Wigmore模型 76
2.6.2 Toulmin论据模型 77
2.6.3 IBIS论据模型 78
2.6.4 推理图 78
第3章 论据的辩证推理 80
3.1 辩证推理的形式语义 80
3.1.1 抽象辩论框架的扩展语义 81
3.1.2 论据的标记方法与标记语义 84
3.1.3 辩论形式语义的性质 89
3.1.4 形式语义的发展现状与趋势 92
3.2 基于标记的辩证推理算法 93
3.2.1 基础语义的辩证证明 93
3.2.2 首选语义的辩证证明 95
3.3 论据博弈与辩证语义 98
3.3.1 对话过程与辩证语义 98
3.3.2 面向立场的论据博弈对话 101
3.3.3 有用论据对话类型 103
3.3.4 理性扩展对话类型 104
3.3.5 双方立即响应争论 106
3.4 基于论据博弈的辩证推理算法 110
3.4.1 论据博弈过程与争论树 110
3.4.2 不同语义辩证证明的一般框架 114
3.4.3 基础语义的论据博弈算法 115
3.4.4 轻信首选语义的论据博弈算法 120
3.4.5 怀疑首选语义的论据博弈算法 124
3.5 基于假设的辩证推理 127
3.5.1 基于假设辩论框架的可容许性 128
3.5.2 紧论据 130
3.5.3 抽象争论树 132
3.5.4 具体争论树 134
3.5.5 争论推导算法 137
第4章 多方论据博弈的辩证分析模型 141
4.1 多方论据博弈的研究意义 141
4.2 相关研究工作 144
4.3 理性辩论空间 147
4.3.1 辩论空间的基本定义 148
4.3.2 Master-Challenger论据博弈对话 154
4.3.3 多方论据博弈对话 163
4.4 理性辩论空间的性质 170
4.4.1 Master-Challenger双方论据博弈对话的性质 170
4.4.2 多方论据博弈对话的性质 172
4.5 理性辩论空间的辩证分析实现算法 177
4.6 理性辩论空间的应用案例 180
4.6.1 与抽象辩论框架不同语义的比较 180
4.6.2 不同信念参与者之间的辩论决策 183
4.6.3 一个多源信息集成的应用示例 187
第5章 论据本体及其计算实现 195
5.1 论据本体及其表示 195
5.1.1 论据本体的表示语言 195
5.1.2 论据交换格式本体AIF 197
5.1.3 用于自动辩论的论据本体ArgArena 199
5.2 ArgArena本体的理论基础 200
5.2.1 论据及其相关概念的定义 201
5.2.2 论据的分类 203
5.2.3 论据的性质 204
5.2.4 论据的脆弱点 206
5.3 ArgArena本体的建模 207
5.3.1 ArgArena的领域本体 207
5.3.2 ArgArena的信念本体 209
5.3.3 ArgArena的论据本体 211
5.4 论据的计算实现 212
5.4.1 论据的构建概述 213
5.4.2 论据的构造方法 214
5.4.3 论据构建算法 217
5.5 攻击论据的计算实现 218
5.5.1 攻击关系的基本定义 218
5.5.2 攻击论据的构建过程 221
5.5.3 基于信念本体的冲突信念发现 223
5.5.4 定位最小不一致断言集 226
5.5.5 攻击论据构建算法 227
5.6 基于ArgArena的论据生成引擎 229
5.6.1 Prolog语言推理机和OWL推理机的集成 229
5.6.2 攻击论据的查询与构建算法 230
5.6.3 应用实例 232
第6章 基于归纳逻辑的多方辩论决策方法 235
6.1 大数据时代的知识发现技术概述 235
6.1.1 大数据挖掘面临的问题 236
6.1.2 多Agent数据挖掘技术 237
6.1.3 多Agent辩论与机器学习 238
6.1.4 多方论据博弈模型与大数据挖掘 239
6.2 归纳论据的一般模型 242
6.2.1 归纳论据的共同性质 242
6.2.2 合情论据模式 243
6.2.3 归纳论据的计算表示 248
6.3 基于关联规则挖掘的归纳论据构建方法 250
6.3.1 关联规则挖掘的基本原理 250
6.3.2 扩展的数据挖掘算法 256
6.3.3 基于关联规则的归纳论据生成 259
6.4 基于多方论据博弈的经验论据模式萃取 261
6.4.1 Arena的系统结构与控制机制 262
6.4.2 辩论参与者Agent 264
6.4.3 Arena多方对话协议 267
6.4.4 Arena的多方论据博弈过程 269
6.4.5 简单经验论据模式的归纳学习实验 272
6.4.6 复杂经验论据模式的归纳学习实验 276
6.5 多Agent基于辩论的联合学习 282
6.5.1 知识螺旋模型 282
6.5.2 多Agent联合学习模型MALA 284
6.5.3 多Agent联合学习实验 285
6.6 相关的研究工作 287
6.6.1 集成学习 287
6.6.2 从经验中辩论的PISA框架 288
6.6.3 多Agent基于辩论的归纳学习 293
第7章 基于辩证推理的缜密决策分析方法 298
7.1 批判性思维与缜密决策问题 298
7.1.1 批判性思维与合情论据 298
7.1.2 缜密决策问题 300
7.1.3 基于批判性思维的缜密决策 301
7.2 缜密决策分析方法 302
7.3 面向决策的一般论据模式及其计算实现 304
7.3.1 基于实用推理的基本论据模式 304
7.3.2 基于价值辩论框架的决策支持模型 307
7.3.3 基于价值辩论框架的一种计算实现方法 308
7.3.4 实验结果分析 313
7.4 缜密决策认知模型及其计算实现 316
7.4.1 智能Agent的缜密决策认知模型 317
7.4.2 论据模式及其批评问题 320
7.4.3 论据模式的计算表示 323
7.4.4 批评问题的分类及其计算实现 328
7.4.5 合情论据模式的集成与重构 332
7.5 应用案例 335
7.5.1 血液净化应用背景简介 336
7.5.2 Smart doctor医疗辅助决策系统 338
7.5.3 血液净化医疗知识的形式表示 346
7.5.4 多Agent协同的辩证分析决策模型 347
7.5.5 一个血液净化的决策案例 348
7.5.6 原型系统实验 357
7.6 相关研究工作 361
第8章 面向行动序列的决策分析方法 364
8.1 基于本体的计划表示 364
8.1.1 常用的计划表示方法 364
8.1.2 计划本体概述 365
8.1.3 计划本体的形式表示 368
8.1.4 时序关系的形式表示 370
8.1.5 基本的关系定义 373
8.1.6 行动连接关系定义 374
8.1.7 约束传播与满足的形式表示 377
8.2 分层计划的嵌套论据表示 380
8.2.1 计划的论据模式 380
8.2.2 行动-子行动论据模式 382
8.2.3 基本行动论据模式 384
8.3 应用案例 388
8.3.1 反恐巡逻应用背景简介 388
8.3.2 反恐巡逻计划的表示 389
8.3.3 基于辩证推理的可行性论证过程 394
参考文献 397