STRIPS

初期の人工知能研究において開発された、計画生成を行うための言語およびシステムです。目標を達成するための一連の行動手順を導き出す推論手法として設計されました。

各状態の記述、目標、行動の前提条件と結果をあらかじめ定義します。この定義に基づいて、目標に到達するための適切な行動の列を見つけ出す推論プロセスを実行します。

記号的AIにおける状態空間探索の先駆けであり、論理的な推論モデルの基礎となりました。G検定では、現代のディープラーニング以前の、記号主義的な人工知能の歴史として出題されることがあります。