STRIPS
あるアクション a ∈ O {\displaystyle a\in O} が状態 s {\displaystyle s} に適用できる条件は、 s ⊇ p r e ( a ) {\displaystyle s\supseteq pre(a)} である。これが満たされている場合、アクションを適用できて、 その結果状態 s {\displaystyle s} は以下のような状態 s ′ {\displaystyle s'} に遷移する:
ここで、 e − , e + {\displaystyle e^{-},e^{+}} の適用の順番は重要であり、これは同じ命題が e − {\displaystyle e^{-}} 、 e + {\displaystyle e^{+}} の両方に含まれた場合には追加効果が優先するという動作を決定する。
関数 succ {\displaystyle \operatorname {succ} } は以下のように再帰的に行動の列に展開できる:
succ  ( s , [ ] ) = C {\displaystyle \operatorname {succ} (s,[])=C} succ  ( s , [ a 1 , a 2 , ...