問題番号: No.2199 (しっかりモード)

初期の人工知能研究において開発された、自動計画（プランニング）のための古典的な記号AIシステムであり、状態を述語論理の集合として表現し、アクションの事前条件と事後条件を「追加リスト」と「削除リスト」を用いて状態遷移として記述する仕組みとして、最も適切なものはどれか。