計画問題

スタンフォード研究所問題解決機（STRIPS）は、人工知能の分野において、行動計画を自動的に作成するためのシステムです。1971年にリチャード・ファイクスとニルス・ニルソンによって開発されました。このシステムは、ロボットやソフトウェアなどが複雑な作業をどのように達成するかを自動的に決めるために使われます。目的は、目標達成に必要な一連の行動を生成することです。 たとえば、ロボットが部屋を掃除するとします。この場合、どの順番で家具を動かし、掃除機をかけ、ゴミを捨てるかなどを計画する必要があります。STRIPSはこのような計画を自動的に生成するのを助けます。具体的には、世界の状態を記述する論理式と、行動によって状態がどのように変化するかを記述するルールを使用します。 STRIPSは、初期状態、目標状態、行動の集合を入力として受け取ります。初期状態は現在の世界の状態を記述し、目標状態は達成したい状態を記述します。行動の集合は、実行可能な行動とその効果を記述します。STRIPSは、初期状態から目標状態に至る行動の列を探します。この行動の列が計画となります。 STRIPSは、幅優先探索や深さ優先探索などの探索アルゴリズムを使用して計画を生成します。探索アルゴリズムは、可能な行動の列を探索し、目標状態に到達する行動の列を見つけます。STRIPSは、効率的に計画を生成するために、様々な工夫が凝らされています。例えば、すでに探索した状態を記憶することで、同じ状態を何度も探索することを避けます。 STRIPSは、人工知能の分野における初期の計画システムの一つであり、その後の計画システムの開発に大きな影響を与えました。STRIPSは、現在でも、様々な分野で利用されています。たとえば、ロボットの制御、ゲームのAI、物流の計画などに利用されています。