STRIPS - WikipediaSTRIPS（Stanford Research Institute Problem Solver）とは、1971年、Richard FikesとNils John Nilssonが開発した自動計画に関する人工知能の一種。後にそのシステムの入力に使う形式言語も同じ名前で呼ばれるようになった。自動計画用の言語としては最も広く利用されている。本項目では、システムではなく言語に関して解説する。 STRIPS のインスタンスは以下の部分から構成される: 初期状態 (Init) 目標状態の記述 (Goal) - システムが到達しようとする状況 行動 (Actions) - 行動は状態に変化をもたらす操作なので、オペレータ(Operator)とも呼ばれる。各行動には以下の記述が含まれる: 事前条件 (Preconditions) - その行動を行うために満たされていなければならない条件 効果/事後条件
