19、规划文献综述

规划文献综述

1. 规划领域的历史与发展

规划（Planning）是人工智能（AI）的一个重要子学科，旨在为给定的初始状态找到一个操作序列，使其达到目标状态。自20世纪60年代以来，规划研究经历了显著的发展。早期的规划系统，如STRIPS（Stanford Research Institute Problem Solver），奠定了现代规划的基础。STRIPS通过定义操作符和状态表示，为解决复杂问题提供了框架。随着时间的推移，规划研究逐渐扩展到更广泛的领域，包括自动推理、问题解决、机器人技术和认知科学。

1.1 早期规划系统

早期的规划系统主要集中在基于状态的规划，其中状态通过命题逻辑表示，操作通过预条件和效果描述。STRIPS是最早的基于状态的规划系统之一，它引入了操作符的概念，每个操作符都有预条件和效果。STRIPS的成功催生了许多改进和扩展，如ADL（Action Description Language）和PDDL（Planning Domain Definition Language）。

• STRIPS ：由Fikes和Nilsson在1971年提出，是最早的形式化规划系统之一。
• ADL ：扩展了STRIPS，增加了对条件效应和否定的支持。
• PDDL ：用于描述规划问题的标准语言，广泛应用于规划竞赛和研究中。

2. 规划方法和技术

规划方法可以分为两大类：基于状态的规划和基于计划的规划。基于状态的规划通过搜索状态空间来