STRIPS
STRIPS のインスタンスは ⟨ O , I , G ⟩ {\displaystyle \langle O,I,G\rangle } で表され、それぞれの意味は以下である:
O {\displaystyle O} (Operators) はオペレータ集合(アクション集合)。各オペレータは o = ⟨ p r e ( o ) , e + ( o ) , e − ( o ) ⟩ {\displaystyle o=\langle pre(o),e^{+}(o),e^{-}(o)\rangle } で表され、 p r e ( o ) {\displaystyle pre(o)} (precondition) は事前条件、 e + ( o ) {\displaystyle e^{+}(o)} は 効果のうち命題を真とする 追加効果 (Add effect)、 e − ( o ) {\displaystyle e^{-}(o)} は 行動実行後に命題を偽とする削除効果 (Delete effect)である。
I {\displaystyle I} は初期状態であり、最初に真となっている命題変数の集合である。STRIPSは閉世界仮説を採用するので、ここに記載されていない命題変数は初期状態で偽となる。
G {\displaystyle G} は目標条件であり、ゴールで真となっているべき命題論理式。
表記は論文によって様々で、これに P {\displaystyle P} (Propositions - 命題論理変数) または V {\displaystyle V} (Variables - 命題変数から)を追加するもの、 O {\displaystyle O} の代わりに A {\displaystyle A} (Actions)、 I {\displaystyle I} のかわりに s 0 {\displaystyle s_{0}} (0番目の状態(state))、 G {\displaystyle G} の代わりに S ∗ {\displaystyle S^{*}} (終わりとなる状態の集合), e + , e − {\displaystyle e^{+},e^{-}} のかわりに a , d {\displaystyle a,d} が使われる場合もある。 オペレータはコスト c {\displaystyle c} を含んで定義される場合もあり、コストのないものは通常すべてのアクションに対してコスト1が仮定される。