《智能规划理论和方法研究》PDF下载

  • 购买积分:7 如何计算积分?
  • 作  者:杨柳,刘陶唐编著
  • 出 版 社:北京:冶金工业出版社
  • 出版年份:2017
  • ISBN:9787502475253
  • 页数:100 页
图书介绍:智能规划是人工智能的一个重要研究领域。本书主要介绍了与经典智能规划和不确定性规划相关的理论基础,主要包括概率论基础、布尔表达式及其描述、经典规划求解技术、智能规划语言、马尔科夫决策过程、代数决策图、及贝叶斯网络等。旨在让感兴趣的研究者对这一研究领域的相关内容有一个完整的印象。本书可供计算机专业学生和研究人员及工程技术人员阅读参考。

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