12、STRIPS规划问题的结构与应用

STRIPS规划问题的结构与应用

1. STRIPS的基本概念

STRIPS（Stanford Research Institute Problem Solver）是一种早期的自动规划系统，它引入了一种形式化的方式来描述动作和问题求解的状态空间搜索。这一章将详细介绍STRIPS的结构、工作原理及其在自动化问题求解中的应用。

1.1 动作的前置条件和效果

STRIPS的核心在于如何描述动作和状态。每个动作由三个部分组成：前置条件（preconditions）、添加列表（add list）和删除列表（delete list）。前置条件是执行动作之前必须满足的条件，添加列表是在执行动作后新增的条件，删除列表是在执行动作后不再满足的条件。

表格：STRIPS操作符定义示例

<

操作符	前置条件	添加列表	删除列表
pick-up	hand-empty, block-on-table	holding-block	block-on-table
put-down	holding-block	block-on-table	holding-block