计算辩论与智能决策

姚莉

扉页
前言
+书签
绪论
1.1 决策理论与辩论理论
1.1.1 决策的基本概念
1.1.2 决策问题的复杂性
1.1.3 现代决策理论概述
1.1.4 不同决策模型的比较分析
1.1.5 基于辩论理论的决策分析方法
1.2 辩论理论的起源与发展现状
1.2.1 辩论的理论基础
1.2.2 可废止推理与辩论
1.2.3 辩论框架
1.2.4 辩证证明理论
1.2.5 多 Agent辩论系统
1.2.6 计算辩论的应用
1.3 基于辩论理论的决策模型
1.3.1 早期的辩论决策模型
1.3.2 抽象辩论框架
1.3.3 基于价值的辩论框架
1.3.4 基于偏好的辩论框架
1.3.5 双极的辩论框架
1.3.6 Domino决策模型
1.3.7 基于辩论理论的决策辅助模型
1.4 辩论决策的未来发展前景
论据的计算模型
2.1 论据的基础知识
2.1.1 论据的基本概念
2.1.2 论据的分类
2.1.3 论据的结构
2.1.4 论据构建的策略
2.1.5 论据的规范
2.1.6 论据的评估
2.1.7 论据的攻击
2.1.8 论据的修正
2.2 基于演绎推理的论据模型
2.2.1 基于逻辑推导的论据表示
2.2.2 基于假设的论据模型
2.2.3 具有支持强度的论据模型
2.2.4 用于决策支持的论据逻辑模型
2.3 基于可废止推理的论据模型
2.3.1 可废止推理的基本定义
2.3.2 论据的定义
2.3.3 论据的比较
2.3.4 具有支持强度的可废止论据模型
2.4 基于归纳推理的论据模型
2.4.1 归纳推理的基本原理
2.4.2 基于类比学习的论据
2.4.3 基于归纳学习的论据
2.4.4 基于关联规则挖掘的论据
2.5 基于实用推理的论据模型
2.5.1 关于实用推理的研究
2.5.2 实用论据的基本定义
2.5.3 基于 BDI的实用论据模式
2.6 基于图示的论据模型
2.6.1 Wigmore模型
2.6.2 Toulmin论据模型
2.6.3 IBIS论据模型
2.6.4 推理图
论据的辩证推理
3.1 辩证推理的形式语义
3.1.1 抽象辩论框架的扩展语义
3.1.2 论据的标记方法与标记语义
3.1.3 辩论形式语义的性质
3.1.4 形式语义的发展现状与趋势
3.2 基于标记的辩证推理算法
3.2.1 基础语义的辩证证明
3.2.2 首选语义的辩证证明
3.3 论据博弈与辩证语义
3.3.1 对话过程与辩证语义
3.3.2 面向立场的论据博弈对话
3.3.3 有用论据对话类型
3.3.4 理性扩展对话类型
3.3.5 双方立即响应争论
3.4 基于论据博弈的辩证推理算法
3.4.1 论据博弈过程与争论树
3.4.2 不同语义辩证证明的一般框架
3.4.3 基础语义的论据博弈算法
3.4.4 轻信首选语义的论据博弈算法
3.4.5 怀疑首选语义的论据博弈算法
3.5 基于假设的辩证推理
3.5.1 基于假设辩论框架的可容许性
3.5.2 紧论据
3.5.3 抽象争论树
3.5.4 具体争论树
3.5.5 争论推导算法
多方论据博弈的辩证分析模型
4.1 多方论据博弈的研究意义
4.2 相关研究工作
4.3 理性辩论空间
4.3.1 辩论空间的基本定义
4.3.2 Master‐Challenger论据博弈对话
4.3.3 多方论据博弈对话
4.4 理性辩论空间的性质
4.4.1 Master‐Challenger双方论据博弈对话的性质
4.4.2 多方论据博弈对话的性质
4.5 理性辩论空间的辩证分析实现算法
4.6 理性辩论空间的应用案例
4.6.1 与抽象辩论框架不同语义的比较
4.6.2 不同信念参与者之间的辩论决策
4.6.3 一个多源信息集成的应用示例
论据本体及其计算实现
5.1 论据本体及其表示
5.1.1 论据本体的表示语言
5.1.2 论据交换格式本体 AIF
5.1.3 用于自动辩论的论据本体 ArgArena
5.2 ArgArena本体的理论基础
5.2.1 论据及其相关概念的定义
5.2.2 论据的分类
5.2.3 论据的性质
5.2.4 论据的脆弱点
5.3 ArgArena本体的建模
5.3.1 ArgArena的领域本体
5.3.2 ArgArena的信念本体
5.3.3 ArgArena的论据本体
5.4 论据的计算实现
5.4.1 论据的构建概述
5.4.2 论据的构造方法
5.4.3 论据构建算法
5.5 攻击论据的计算实现
5.5.1 攻击关系的基本定义
5.5.2 攻击论据的构建过程
5.5.3 基于信念本体的冲突信念发现
5.5.4 定位最小不一致断言集
5.5.5 攻击论据构建算法
5.6 基于 ArgArena的论据生成引擎
5.6.1 Prolog语言推理机和 OWL推理机的集成
5.6.2 攻击论据的查询与构建算法
5.6.3 应用实例
基于归纳逻辑的多方辩论决策方法
6.1 大数据时代的知识发现技术概述
6.1.1 大数据挖掘面临的问题
6.1.2 多 Agent数据挖掘技术
6.1.3 多 Agent辩论与机器学习
6.1.4 多方论据博弈模型与大数据挖掘
6.2 归纳论据的一般模型
6.2.1 归纳论据的共同性质
6.2.2 合情论据模式
6.2.3 归纳论据的计算表示
6.3 基于关联规则挖掘的归纳论据构建方法
6.3.1 关联规则挖掘的基本原理
6.3.2 扩展的数据挖掘算法
6.3.3 基于关联规则的归纳论据生成
6.4 基于多方论据博弈的经验论据模式萃取
6.4.1 Arena的系统结构与控制机制
6.4.2 辩论参与者 Agent
6.4.3 Arena多方对话协议
6.4.4 Arena的多方论据博弈过程
6.4.5 简单经验论据模式的归纳学习实验
6.4.6 复杂经验论据模式的归纳学习实验
6.5 多 Agent基于辩论的联合学习
6.5.1 知识螺旋模型
6.5.2 多 Agent联合学习模型 MALA
6.5.3 多 Agent联合学习实验
6.6 相关的研究工作
6.6.1 集成学习
6.6.2 从经验中辩论的 PISA框架
6.6.3 多 Agent基于辩论的归纳学习
基于辩证推理的缜密决策分析方法
7.1 批判性思维与缜密决策问题
7.1.1 批判性思维与合情论据
7.1.2 缜密决策问题
7.1.3 基于批判性思维的缜密决策
7.2 缜密决策分析方法
7.3 面向决策的一般论据模式及其计算实现
7.3.1 基于实用推理的基本论据模式
7.3.2 基于价值辩论框架的决策支持模型
7.3.3 基于价值辩论框架的一种计算实现方法
7.3.4 实验结果分析
7.4 缜密决策认知模型及其计算实现
7.4.1 智能 Agent的缜密决策认知模型
7.4.2 论据模式及其批评问题
7.4.3 论据模式的计算表示
7.4.4 批评问题的分类及其计算实现
7.4.5 合情论据模式的集成与重构
7.5 应用案例
7.5.1 血液净化应用背景简介
7.5.2 Smart doctor医疗辅助决策系统
7.5.3 血液净化医疗知识的形式表示
7.5.4 多 Agent协同的辩证分析决策模型
7.5.5 一个血液净化的决策案例
7.5.6 原型系统实验
7.6 相关研究工作
面向行动序列的决策分析方法
8.1 基于本体的计划表示
8.1.1 常用的计划表示方法
8.1.2 计划本体概述
8.1.3 计划本体的形式表示
8.1.4 时序关系的形式表示
8.1.5 基本的关系定义
8.1.6 行动连接关系定义
8.1.7 约束传播与满足的形式表示
8.2 分层计划的嵌套论据表示
8.2.1 计划的论据模式
8.2.2 行动‐子行动论据模式
8.2.3 基本行动论据模式
8.3 应用案例
8.3.1 反恐巡逻应用背景简介
8.3.2 反恐巡逻计划的表示
8.3.3 基于辩证推理的可行性论证过程
参考文献