↑: [[G検定に関する知識]] - 1971年、スタンフォード研究所のファイクスとニルソンが開発したプランニングシステム - ロボットに「目標までの行動の順番を自分で考えさせる」 - 各動作に「前提条件」と「効果」を定義し、目標から逆算して手順を組み立てる - 古典的なプランニングの基礎。現代のロボット動作計画にも受け継がれている - cf. [[SHRDLU]] - cf. [[フレーム問題]]