STRIPS
一階述語論理形式の定義では、命題論理形式のアクション集合にパラメータの概念を導入する。 ここでアクションは ⟨ p a r a m , p r e , e + , e − ⟩ {\displaystyle \langle param,pre,e^{+},e^{-}\rangle } で表され、 p r e , e + , e − {\displaystyle pre,e^{+},e^{-}} は p a r a m {\displaystyle param} で修飾される。
グラフ理論形式の定義では、 STRIPS インスタンスをグラフ探索アルゴリズムで解かれるグラフ探索問題と同一視する。 ここでインスタンスは ⟨ S , s 0 ∈ S , S ∗ ⊂ S , L , T ⊂ S × L × S ⟩ {\displaystyle \langle S,s_{0}\in S,S^{*}\subset S,L,T\subset S\times L\times S\rangle } で表される。ここで、 S {\displaystyle S} は状態集合でありグラフのノード集合と同一視され、 L {\displaystyle L} はアクションを指すラベル、 T {\displaystyle T} は状態遷移(Transition)でありグラフのエッジに相当する。