概念
STRIPS
PDDL的最早子集，只支持合取前提、增删效果和确定性动作，是经典规划的基础。
时间轴 (近 90 天)
9月28日
符号主义规划方法中最具代表性的是自动规划技术，典型实现包括STRIPS、PDDL等形式化语言以及基于搜索的规划器
待验证50%
9月11日
符号规划方法在AI领域可追溯到1960年代的经典AI规划系统如STRIPS，David Cope的EMI系统是早期基于符号规则的计算机作曲系统
待验证50%
9月10日
STRIPS于1971年提出先规划后执行的范式，通过前置条件和后置效果定义动作，在状态空间中搜索达成目标的动作序列
待验证50%
8月23日
终态倒推（Backward Planning / Goal Regression）在AI规划领域有理论基础，经典STRIPS规划器采用目标回归策略从最终状态出发寻找动作序列
待验证50%