STRIPS

STRIPS，全名史丹福研究院解難器（Stanford Research Institute Problem Solver），係人工智能自動計劃嘅一套做法。喺 STRIPS 當中，一場自動計劃係一個有以下呢啲部份嘅四元組（$\langle P,O,I,G\rangle$）：

• $P$ 係一柞狀態（命題變數；propositional variable）；
• $O$ 係一柞行動（運算子；operator）；每個行動係一個四元組 $\langle \alpha ,\beta ,\gamma ,\delta \rangle$，即係
  • $\alpha$：需要係真個行動先發生到嘅狀態、
  • $\beta$：需要係假個行動先發生到嘅狀態、
  • $\gamma$：會因為個行動而變成真嘅狀態、同埋
  • $\delta$：會因為個行動而變成假嘅狀態。
• $I$ 係起始狀態，包含「邊啲狀態係真」嘅資訊。
• $G$ 係目的狀態，包含「想要邊啲狀態係真」嘅資訊。