计算辩论与智能决策

前言

第1章 绪论

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章 论据的计算模型

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章 论据的辩证推理

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章 多方论据博弈的辩证分析模型

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章 论据本体及其计算实现

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章 基于归纳逻辑的多方辩论决策方法

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章 基于辩证推理的缜密决策分析方法

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章 面向行动序列的决策分析方法

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 基于辩证推理的可行性论证过程

参考文献

《计算辩论与智能决策》主要论述计算辩论的概念、原理和技术,及其在智能决策领域的应用。《计算辩论与智能决策》共8章。第1章为绪论,概述计算辩论的主要研究内容、发展概况,以及辩论决策方法的应用前景,说明辩论理论与决策理论的关系。第2章论述论据的概念、分类和结构,着重阐述不同推理模式的论据模型。第3章论述论据的辩证推理和形式语义,介绍常见的辩论推理算法。第4章提出一种新的多方论据博弈模型,说明该模型的基本概念、性质和辩证推理实现算法,并介绍一些简单的应用示例。第5章讨论论据本体及其实现技术,提出一种新型的论据本体ArgArena,可有效实现辩证推理和多方论据博弈。第6章讨论基于归纳逻辑的多方辩论决策方法,介绍应用计算辩论实现大数据的知识萃取和联合学习技术。第7章论述基于辩证推理的缜密决策分析方法,介绍该方法在医疗决策领域的应用。第8章讨论面向行动序列的复杂决策分析技术,介绍一种分层规划的嵌套论据表示模型。