1960年代後半に開発されたプログラミング言語「Planner」は、人工知能における既存の論理的アプローチに代わる、知識のプロシージャルな埋め込みを導入した。このプロジェクトは、30年以上にわたる研究を通じて並行計算と論理プログラミングの発展に影響を与えた計算機科学者兼数学者、カール・エディ・ヒューイットのキャリアにおける中心的な柱となった。
MITでの学術的基盤
カール・エディ・ヒューイットは1971年にマサチューセッツ工科大学（MIT）で数学の博士号を取得した。博士論文の指導教官には、シーモア・パパート、マービン・ミンスキー、マイク・パターソンがいた。卒業後、MITの電気工学・計算機科学科の教員となり、1999–2000年度まで教鞭をとった。退職後は同学科の名誉教授の地位を授与された。在職中、グル・アガ、ヘンリー・ベーカー、ウィリアム・クリンガー、アイリーン・グライフ、米澤明憲など、多数の博士課程学生を指導した。
Plannerの開発
MIT人工知能研究所に在籍中、ヒューイットはロボットの自動計画と定理証明のために設計された言語「Planner」に取り組んだ。ジョン・マッカーシーのような研究者が好んだ従来の論理的手法とは異なり、Plannerはアサーションと目標からパターン指向の呼び出しを利用した。この言語のサブセットである「Micro-Planner」は、ジェリー・サスマン、ドリュー・マクダーモット、ユージン・チャーニアク、テリー・ウィノグラードによって実装され、その後SHRDLUや自然言語による物語理解実験などのプログラムを支えた。ヒューイットは後に、Plannerの概念の実装を洗練させることを目的としたLispの拡張版である「Muddle」で協力した。
アクターモデルと並行計算
1972年、ヒューイットは大学院生と共に並行計算のアクターモデルを開発した後、焦点を移した。ピーター・ビショップとリチャード・スタイガーとの共著による1973年の論文で正式に導入されたこのモデルは、並列プロセスのための新しいフレームワークを提案した。この研究はプログラミング言語「Scheme」の作成に影響を与え、サスマンとスティールは、彼らのアクター作成演算子がラムダ計算演算子と同一であることを指摘した。アクターモデルはその後、E、SALSA、ActorScriptなどの様々な言語や、理論的なπ計算の開発に情報を提供した。
専門的なアウトリーチと後年の研究
ヒューイットは国際的な学術的プレゼンスを維持し、1989年9月から1990年8月まで日本の慶應義塾大学でIBMチェア客員教授を務めた。また、スタンフォード大学でも客員教授を務めた。研究の最後の10年間は、一貫性のないデータを扱う情報システムのための厳密な基盤を作ることを目指し、不整合の堅牢性に焦点を当てた。彼の学術的成果は、オープン情報システム、パラコンシステント論理、クラウドコンピューティング、組織的マルチエージェントシステムなど、多様な分野に及んだ。
基本情報
- 生年：1944年 - 没年：2022年、アプトス - 国籍：アメリカ合衆国 - 学歴：マサチューセッツ工科大学 - 主な分野：計算機科学 - 主な業績：Planner - 指導教官：マービン・ミンスキー - 客員教授：慶應義塾大学
読者からの質問
### Planner言語の目的は何でしたか？
Plannerは、特に人工知能やロボット工学で使用するために、自動計画と定理証明のために設計された。
### ヒューイットは並行プログラミングにどのように貢献しましたか？
彼は並行計算のための形式システムであるアクターモデルを開発し、それが複数のプログラミング言語やπ計算の開発に影響を与えた。
