人工智能:一种现代方法学习笔记——第十章经典规划

第十章考虑 完全可观察的, 确定性的, 静态的, 单Agent的
第十一章是复杂规划
用一组变量表示世界一个状态的表示方法称为要素化表示,可以使用PDDL语言进行描述
PDDL: planning domain definition language
PDDL根据什么发生了变化来描述一个动作的变化结果

人工智能:一种现代方法学习笔记——第十章经典规划_第1张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第2张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第3张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第4张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第5张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第6张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第7张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第8张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第9张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第10张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第11张图片
获得规划问题的启发式:

  1. 忽略前提启发式(去掉所有前提,那么所有动作都可以使用)
  2. 去掉负文字(忽略删除列表启发式)
  3. 去掉一些流(状态抽象)
  4. 分解,分解成子问题,子目标独立性

人工智能:一种现代方法学习笔记——第十章经典规划_第12张图片

人工智能:一种现代方法学习笔记——第十章经典规划_第13张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第14张图片

人工智能:一种现代方法学习笔记——第十章经典规划_第15张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第16张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第17张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第18张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第19张图片

规划图

规划图只能用于命题规划——即没有变量的规划问题
人工智能:一种现代方法学习笔记——第十章经典规划_第20张图片

蛋糕问题规划图

人工智能:一种现代方法学习笔记——第十章经典规划_第21张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第22张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第23张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第24张图片

什么情况下两个动作是互斥的

人工智能:一种现代方法学习笔记——第十章经典规划_第25张图片
Eat(cake)动作 会导致结果 ~Have(cake)
Have(cake)动作 会导致结果 Have(cake) 这两个动作导致的结果是互斥的,那么这两个动作就是互斥关系

人工智能:一种现代方法学习笔记——第十章经典规划_第26张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第27张图片

什么情况下两个文字互斥

  1. 一个文字是另一个文字的负
    比如:S1状态中的 Have(cake) 和 ~Have(cake)
    人工智能:一种现代方法学习笔记——第十章经典规划_第28张图片
    人工智能:一种现代方法学习笔记——第十章经典规划_第29张图片

利用规划图进行启发式估计

人工智能:一种现代方法学习笔记——第十章经典规划_第30张图片
人工智能:一种现代方法学习笔记——第十章经典规划_第31张图片
在这里插入图片描述
人工智能:一种现代方法学习笔记——第十章经典规划_第32张图片

你可能感兴趣的:(人工智能:一种现代方法学习笔记)