ドリュー・マクダーモット(1949年12月27日 - 2022年5月26日[ 1 ] )は、イェール大学のコンピュータ科学の教授でした。[ 2 ]彼は人工知能と自動計画への貢献で知られています。
ドリュー・マクダーモットは、マサチューセッツ工科大学(MIT)で理学士、理学修士、博士の学位を取得した。
彼は1983年にイェール大学の終身教授になった。1991年から1995年まで学科長を務め、2018年に退職した。[ 3 ]
マクダーモットの研究は人工知能の分野であり、哲学にも手を染めていた。彼の博士論文は自動計画の分野であった。[ 4 ]その研究の中で、彼は抽象的および具体的な行動と方針の階層を指すために「タスクネットワーク」という用語を作り出した。
マクダーモットは1980年代初頭に非単調論理に関する先駆的な研究を行い、AIにおける「論理主義的」手法、すなわち知識と推論を演繹と準演繹の観点から形式化する手法の提唱者であった。1987年、彼は論理主義的アプローチを批判する論文を発表した。この批判は、非単調な時間的推論に対する既知のすべてのアプローチに欠陥があることを指摘した以前の論文(スティーブ・ハンクスとの共著)に一部基づいており、その欠陥は現在イェール射撃問題と呼ばれている。
その後、新たなアプローチが発見されたものの、マクダーモットはAIの他の分野、例えばビジョンやロボット工学に目を向け、再び自動プランニングの研究を始めた。彼のプランニングに関する研究は、階層的なタスクネットワークプランニングではなく、「古典的な」ケースに焦点を当てていた。1990年、彼は人工知能振興協会のフェローに選出され[ 5 ]、最初のフェローの一人となった。
1996年、マクダーモット(およびヘクター・ゲフナーとブライ・ボネットはそれぞれ独立に)は、目標から逆算(「回帰」)することで簡略化されたドメインモデルから推定値を導き出すヒューリスティック探索の考え方に基づいた「推定回帰プランニング」を発見した。簡略化されたバージョンは、アクションによって削除された命題を無視することで、完全なドメインモデルから自動的に得られる。
2000年、マクダーモットはセマンティックウェブの発展により論理学が新たな応用分野として見出されたことから、再び論理学に興味を持つようになった。彼はオントロジー変換とセマンティックウェブサービスに関する研究を行った。
マクダーモットは、ジェームズ・ヘンドラーらとともに、AIプランニングシステム会議の設立に尽力した中心人物であり、同会議は欧州プランニング会議と合併し、毎年開催される国際自動プランニング・スケジューリング会議(ICAPS)となった。彼はまた、ICAPSと併せて年2回開催される国際プランニングコンペティションの立ち上げにも貢献した。さらに、彼は複数の先行する表記法を基にプランニングドメイン定義言語(PDL)を構築し、プランニングシステムへの入力のための標準表記法を確立したグループを率いた。
マクダーモットの研究の傍らには、心の哲学への関心があった。これは、彼が幼い頃に「電子脳」には「考える部分」がなく、したがって生物の脳にもおそらくないだろうと気づいたことに端を発している。この関心は、2001年に意識の計算モデルに関する著書を出版するという形で結実した。
マクダーモットは1975年に結婚し、1997年に離婚、同年再婚した。最初の結婚で2人の子供がいる。2番目の妻ジュディ・ニューゲントとは、1999年から亡くなるまでコネチカット州ニューヘイブンに住んでいた。