問題 No.2199
初期の人工知能研究において開発された、自動計画（プランニング）のための古典的な記号AIシステムであり、状態を述語論理の集合として表現し、アクションの事前条件と事後条件を「追加リスト」と「削除リスト」を用いて状態遷移として記述する仕組みとして、最も適切なものはどれか。
【正解の解説】
STRIPS
料理のレシピ本に例えると、「冷蔵庫に卵がある（事前条件）」を確認し、「卵を割る（アクション）」ことで「殻が消え（削除リスト）」て「中身がボウルに入る（追加リスト）」という一連の状態変化を数式で厳密にパズルゲームのように解き明かす仕組みです。
スポンサーリンク
【その他の選択肢の解説】
PDDL
STRIPSが「仕組み（エンジン）」であるのに対し、PDDLはそれを記述するための「共通言語（フォーマット）」という決定的な違いがあります。試験ではシステムと記述言語を混同させる典型的な引っかけとしてよく出題されます。
SOAR
SOARはAIが人間のように「記憶して、考えて、学習する」心の仕組み全体をコンピュータ上で再現しようとする試みです。特定の目標に向けた手順を作るプランニング手法であるSTRIPSとは、目指しているアプローチの方向性が全く異なります。
PROLOG
PROLOGは「こういうルールと事実があるとき、この質問の答えは何か」を論理的に推論するプログラミング言語です。確かに述語論理を使う点はSTRIPSと共通していますが、こちらは汎用的な言語であり、アクションによる状態変化を管理する仕組みそのものではありません。