智能规划理论和方法研究

编者：杨柳,刘陶唐

出版时间：2017-07

定价：39元

ISBN：978-7-5024-7525-3

内容简介

智能规划是人工智能的一个重要研究领域。本书主要介绍了与经典智能规划和不确定性规划相关的理论基础，主要包括概率论基础、布尔表达式及其描述、经典规划求解技术、智能规划语言、马尔科夫决策过程、代数决策图、及贝叶斯网络等，旨在让感兴趣的研究者对这一研究领域的相关内容有一个完整的印象。

目录

1概率论基础

2布尔表达式及其描述

2.1布尔函数

2.1.1布尔代数

2.1.2布尔表达式

2.1.3布尔函数

2.1.4布尔函数的范式

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二叉决策图

3经典规划求解技术

3.1经典规划概述

3.2经典规划问题的求解方法

3.2.1状态空间搜索

3.3.2规划空间搜索

3.3.3规划图

3.3.4基于问题转换的规划方法

4智能规划语言

4.1STRIPS语言

4.2ADL语言

4.3PDDL语言

4.4RDDL语言

5马尔科夫决策过程

5.1MDP基本模型及概念

5.1.1基本模型

5.1.2状态

5.1.3行动

5.1.4状态转移函数

5.2MDP典型算法

5.3POMDP

5.3.1基本模型

5.3.2观察

5.3.3信念状态

5.3.4策略和函数

5.4POMDP的求解算法

5.4.1迭代

5.4.2策略迭代

6代数决策图

6.1ADD及其性质
6.2ADD基本操作

6.2.1布尔操作

6.2.2算术操作

6.2.3提取操作

7贝叶斯网络简介

7.1贝叶斯网络介绍

7.2贝叶斯网推理

7.3贝叶斯网中的独立关系

7.3.1条件独立关系

7.3.2上下文独立关系

7.3.3因果影响独立关系

7.3.4独立关系的作用

7.4贝叶斯网络的构建

8多代理智能规划系统

8.1Agent的相关知识

8.2MAS中的规划

8.2.1多Agent规划的形式化描述

8.2.2MA-PDDL

参考文献