1 概率论基础 1
2 布尔表达式及其描述 10
2.1 布尔函数 10
2.1.1 布尔代数 10
2.1.2 布尔表达式 11
2.1.3 布尔函数 13
2.1.4 布尔函数的范式 14
2.2 命题公式 16
2.2.1 命题与联结词 16
2.2.2 合式公式 18
2.2.3 命题公式的范式 20
2.2.4 命题公式与布尔函数 22
2.3 布尔表达式与其他描述形式 22
2.3.1 真值表 22
2.3.2 决策树 23
2.3.3 二叉决策图 26
3 经典规划求解技术 29
3.1 经典规划概述 29
3.2 经典规划问题的求解方法 30
3.2.1 状态空间搜索 31
3.2.2 规划空间搜索 33
3.2.3 规划图 38
3.2.4 基于问题转换的规划方法 41
4 智能规划语言 45
4.1 STRIPS语言 45
4.2 ADL语言 47
4.3 PDDL语言 48
4.4 RDDL语言 50
4.4.1 RDDL语言的特性Ⅰ 51
4.4.2 RDDL语言的特性Ⅱ 51
4.4.3 RDDL语言的特性Ⅲ 51
5 马尔科夫决策过程 53
5.1 MDP基本模型及概念 53
5.1.1 基本模型 53
5.1.2 状态 54
5.1.3 行动 54
5.1.4 状态转移函数 54
5.2 MDP典型算法 55
5.2.1 动态规划法 56
5.2.2 前向搜索类算法 61
5.2.3 实时动态编程 63
5.3 POMDP 64
5.3.1 基本模型 64
5.3.2 观察 65
5.3.3 信念状态 65
5.3.4 策略和值函数 66
5.4 POMDP的求解算法 67
5.4.1 值迭代 67
5.4.2 策略迭代 67
6 代数决策图 68
6.1 ADD及其性质 68
6.2 ADD基本操作 70
6.2.1 布尔操作 70
6.2.2 算术操作 73
6.2.3 提取操作 75
7 贝叶斯网络简介 80
7.1 贝叶斯网络介绍 80
7.2 贝叶斯网推理 82
7.3 贝叶斯网中的独立关系 83
7.3.1 条件独立关系 84
7.3.2 上下文独立关系 84
7.3.3 因果影响独立关系 85
7.3.4 独立关系的作用 85
7.4 贝叶斯网络的构建 86
8 多代理智能规划系统 89
8.1 Agent的相关知识 89
8.1.1 Agent的分类 89
8.1.2 Agent的优越性 90
8.2 MAS中的规划 90
8.2.1 多Agent规划的形式化描述 90
8.2.2 MA-PDDL 91
参考文献 98