STRIPS,全名史丹福研究院解難器Stanford Research Institute Problem Solver),係人工智能自動計劃嘅一套做法。喺 STRIPS 當中,一場自動計劃係一個有以下呢啲部份嘅四元組):

  • 係一柞狀態(命題變數;propositional variable);
  • 係一柞行動(運算子;operator);每個行動係一個四元組 ,即係
    • :需要係真個行動先發生到嘅狀態、
    • :需要係假個行動先發生到嘅狀態、
    • :會因為個行動而變成真嘅狀態、同埋
    • :會因為個行動而變成假嘅狀態。
  • 係起始狀態,包含「邊啲狀態係真」嘅資訊。
  • 係目的狀態,包含「想要邊啲狀態係真」嘅資訊[1]
  1. Richard E. Fikes, Nils J. Nilsson (Winter 1971). "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving". Artificial Intelligence. 2 (3–4): 189-208.