智能规划理论和方法研究

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．2．2 规划空间搜索
3．2．3 规划图
3．2．4 基于问题转换的规划方法

4 智能规划语言
4．1 STRIPS语言
4．2 ADL语言
4．3 PDDL语言
4．4 R．DDL语言
4．4．1 RDDL语言的特性Ⅰ
4．4．2 RDDL语言的特性Ⅱ
4．4．3 RDDL语言的特性Ⅲ

5 马尔科夫决策过程
5．1 MDP基本模型及概念
5．1．1 基本模型
5．1．2 状态
5．1．3 行动
5．1．4 状态转移函数
5．2 MDP典型算法
5．2．1 动态规划法
5．2．2 前向搜索类算法
5．2．3 实时动态编程
5．3 POMDP
5．3．1 基本模型
5．3．2 观察
5．3．3 信念状态
5．3．4 策略和值函数
5．4 POMDP的求解算法
5．4．1 值迭代
5．4．2 策略迭代

6 代数决策图
6．1 ADD及其性质
6．2 ADD基本操作
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．1 Agent的相关知识
8．1．1 Agent的分类
8．1．2 Agent的优越性
8．2 MAS中的规划
8．2．1 多Agent规划的形式化描述
8．2．2 MA-PDDL
参考文献