Loading article…
ジャック・ミンカー（1927年7月4日 - 2021年4月9日）[ 3 ] [ 4 ]は、人工知能、演繹データベース、論理プログラミング、非単調推論の第一人者でした。[ 5 ]また、コンピュータ科学者の人権分野で国際的に認められたリーダーでもありました。メリーランド大学コンピュータ科学科の名誉教授であり、同科はコンピュータ、数学、自然科学カレッジの一部です。[ 6 ]
ミンカーは1927年7月4日にニューヨーク州ブルックリンで生まれた[ 3 ] 。 1949年にブルックリン大学で学士号[ 3 ] 、 1950年にウィスコンシン大学で修士号[ 3 ]、 1959年にバーナード・エプスタインの指導の下ペンシルベニア大学で博士号を取得した[ 1 ]。
ミンカーは1951年にベル・エアクラフト社、RCA、アウアーバッハ社で働き、産業界でのキャリアをスタートさせた。 [ 7 ]彼は1967年にメリーランド大学に加わり、1971年にコンピュータサイエンスの教授となり、1974年には同学科の初代学科長となった。 [ 8 ]彼は1998年に名誉教授となった。[ 8 ]
ミンカーは、演繹データベースと選言論理プログラミングの分野の創始者の一人です。彼は、意味クエリの最適化と、演繹データベースのための協調的で有益な回答に重要な貢献をしました。また、一般化閉世界仮定（GCWA）を開発し、選言データベースと選言論理プログラムの理論的基盤を構築しました。 [ 9 ]
ミンカー氏は査読付き論文を150本以上発表しており、演繹データベース、論理プログラミング、人工知能における論理の利用に関する書籍を5冊編集または共同編集している。また、学術誌『 Theory and Practice of Logic Programming』の創刊編集長を務めた。
ミンカーは1973年から憂慮する科学者委員会の副委員長を務めており[ 10 ] [ 11 ]、1980年から1989年までは計算機学会の科学的自由と人権委員会（CSFHR）の副委員長を務めた[ 12 ]。彼はソ連末期からアナトリー・シャランスキーとアレクサンダー・レルナーの釈放を求める運動を主導した。また、アンドレイ・サハロフとその妻エレナ・ボンナーのために運動を行った。彼の回顧録『科学的自由と人権：冷戦時代の良心的な科学者たち』は2012年にIEEEコンピュータソサエティプレスから出版された。彼の元博士課程の学生にはテリー・ガステルランドがいる[ 2 ]。
ミンカーは1989年に米国科学振興協会（AAAS）のフェローに選出され、1990年に人工知能振興協会（AAAI）の創設フェロー、1991年に電気電子学会（IEEE）のフェロー[ 13 ] 、1994年に計算機学会（ACM）の創設フェローに選出された[ 14 ]。
彼は、1985年に人権に関する業績でACM優秀貢献賞、1989年にACM功労賞、1996年にメリーランド大学学長メダル、2005年に権威あるACMアレン・ニューウェル賞を受賞しました。アレン・ニューウェル賞は、コンピュータ科学の知識の幅を広げ、コンピュータ科学と他の分野との橋渡しに貢献した個人を、コンピュータ学会が表彰するものです。彼はまた、科学者の科学的自由と人権のために行った活動により、2011年にニューヨーク科学アカデミーからハインツ・R・ペイゲルス人権賞を受賞しました。[ 15 ]
演繹データベース、選言論理プログラミング、および人工知能への貢献に対して。
科学者が自由かつオープンに専門職に従事する権利を擁護し、科学的自由と人権を奪われた科学者の名前を世間に知らしめ、これらの被害者に希望を与え、ACMの支援を知らせた功績に対して。