カール・ヒューイット - Wikipediaヒューイットは世界初の人工知能向けプログラミング言語 Planner の設計で知られている。Planner は手続き的計画に基づいた言語であり、表明とゴールからパターンに基づいて手続きを呼び出す。ヒューイットは1971年、マービン・ミンスキー、シーモア・パパート、Mike Peterson の指導の下で数学の学位を取得した。彼の高レベルな手続き的計画という形式の「手続き的知識の埋め込み」という方法論は、ジョン・マッカーシーの提唱した論理学的手法（数理論理学による宣言的知識表現）とは一線を画していた。Planner のサブセット Micro Planner は Gerry Sussman、Eugene Charniak、テリー・ウィノグラードが実装した。これはウィノグラードの有名な SHRDLU プログラムに使われ、Eugine Charniak の自然言語ストーリー理解や他のいくつかのプロ
