1971 年のロボットは、どうやって計画を立てていたか — STRIPS と、いまのエージェント

1971年、SRI のロボット Shakey を動かすために、Fikes と Nilsson が生み出した STRIPS という計画立案システムがあります。行動を「前提・追加・削除」の3点だけで書き、「書かれていないものは変わらない」と決めた。これにより、世界の事実を毎回全部書き直さずに済むようになりました。最小限の記述で、計画づくりが機械的な探索になったのです。

きょう LLM エージェントが「計画を立てて実行する」形を眺めると、既視感があります。なぜなら、同じ問題を半世紀前に一度きちんと解いた人たちがいるからです。ただし、ここが重要なのですが、LLM エージェントは STRIPS の直系ではありません。でも、差が見えるからこそ、いま何が失われているかが分かる。STRIPS は「行動を検証できる形で書く」ことに徹底しました。前提が揃っているか確かめられ、実行後の状態も計算できる。一方、いまの LLM に手順を書かせると、たいてい自然言語の箇条書きが返ってきます。読めます。それらしくもあります。でも、正しさを確かめる手がかりがない。落ちるとしたら、ここです。

AI に「手順書を作れ」と頼むなら、返ってきたものを鵜呑みにしない。「なぜこの順序なのか」「この段階で何が変わるのか」「変わらないものは何か」を問い直すクセをつければ、手順書の信頼性が一段階上がります。