AI Rookies

STRIPS — Stanford Research Institute Problem Solver，斯坦福研究所问题求解器

事实

用前提和效果描述动作的经典规划形式。

人话

把STRIPS想成煎饼摊接单：有蛋有肠才开做，做完少一份料、多一个成品。

它把目标拆成带前提和效果的动作，方便规划搜索。

相关概念

Planning
STRIPS 用前提和效果，为经典规划定义动作。

Symbolic AI
STRIPS 把世界状态和动作都写成符号。

Frame Problem
STRIPS 只列变化项，简化“什么不变”的难题。

Situation Calculus
STRIPS 是更工程化的动作逻辑表示。