Loading article…
ダグラス・レナット | |
|---|---|
 | |
| 生まれる | 1950年9月13日 |
| 死亡 | 2023年8月31日（満72歳） |
| 教育 | ペンシルベニア大学、スタンフォード大学（博士号） |
| 職業 | コンピュータ科学者 |
| 雇用主 | サイコープ株式会社 |
| 知られている | Lisp プログラミング言語、Cycorp, Inc.のCEO、AM、Eurisko、Cyc |
| 受賞歴 | 1977 IJCAI コンピューターと思想賞 |
ダグラス・ブルース・レナット（1950年9月13日 - 2023年8月31日）は、アメリカのコンピュータ科学者、人工知能研究者[1] [2]であり、テキサス州オースティンのサイコープ社の創設者兼CEOであった。
レナットは、機械学習プログラムAMを作成したことにより、1976年に2年に一度のIJCAI Computers and Thought Awardを受賞しました。彼は、（統計的ではなく記号的な）機械学習（AMおよびEuriskoプログラムを使用）、知識表現、[3]「認知経済」、[4]黒板システム、および1984年に「オントロジーエンジニアリング」と名付けたもの（MCCでのCycプログラム、および1994年以降はCycorpで）に取り組んできました。彼はまた、軍事シミュレーション、[6]や、米国政府、軍、諜報機関、科学機関の多数のプロジェクトにも携わってきました。1980年に、彼は従来のランダム突然変異ダーウィニズムに対する批判を発表しました。[7] [8] 彼は、ヒューリスティックルールの性質を探求する一連の記事[9] [10] [11] [12]をJournal of Artificial Intelligenceに執筆しました。
レナットはAAAIの最初のフェローの一人で、マイクロソフトとアップルの両方の科学諮問委員会に務めた唯一の人物である。彼はAAAS、AAAI、認知科学協会のフェローであり、 J. Automated Reasoning、J. Learning Sciences、J. Applied Ontologyの編集者でもあった。彼は1991年にTTI/Vanguardを設立した一人であり、その諮問委員会のメンバーであった。[13] 彼はWired 25の一人に選ばれた。 [14]
経歴と教育
レナットは1950年9月13日にアメリカ合衆国フィラデルフィアで生まれた。 [15]彼が5歳のとき、家族はデラウェア州ウィルミントンに引っ越した。そこでは父親のネイサン・レナットが瓶詰め工場を所有していた。[15] 彼が13歳のとき父親が亡くなり、家族はペンシルバニア州に戻り、彼はチェルトナム高校に通った。[15] 放課後のアルバイトはビーバー大学でネズミの檻やガチョウの囲いを掃除することだったが、それが彼にプログラミングをもっと良い職業として学ぶ動機を与えた。[15]
彼はペンシルバニア大学に入学し、プログラミングで生計を立てた。プログラミングには、アメリカ海軍のオンライン操作マニュアル用の自然言語インターフェースの設計と開発も含まれていた。 1972年に数学と物理学の学士号、応用数学の修士号を取得した。 [15]
デニス・ガボールの指導も受けた彼の卒業論文は、40 MHz 範囲の音波を現実世界の物体に反射させ、その干渉パターンを 2 メートル四方のプロットに記録し、それを 10 ミリ四方のフィルム画像に縮小し、そのフィルムを通してレーザーを照射して、3 次元画像オブジェクトを投影するというものでした。これが最初の音響ホログラムです。[要出典]ガボール博士との議論に決着をつけるため、レナットは、回転して時間とともに拡大する地球儀の干渉パターンのコンピュータ プリントアウトを縮小して 5 次元ホログラムをコンピュータで生成し、大きな 2 次元の紙のプリントアウトを適度な大きさの 5 センチ四方のフィルム表面に縮小しました。このフィルム表面を通して従来のレーザー ビームで 3 次元画像を投影すると、フィルムを上下左右に動かすと、2 つの独立した方法 (回転とサイズ変更) で画像が変化するようになりました。[要出典]
レナットはスタンフォード大学のコンピュータサイエンスの博士課程の学生で、そこで発表された研究には、入力/出力ペアからの自動プログラム合成と自然言語による明確化対話が含まれていました。 [16]
研究
レナットは1976年にスタンフォード大学でコンピュータサイエンスの博士号「AM: ヒューリスティック探索としての数学の発見」(人工知能における知識ベースシステムとして出版、[17]ランドール・デイビスの博士論文と共にマグロウヒル社、1982年に出版)を取得した。[要出典]彼の論文指導教官はコーデル・グリーン教授であった。
彼の論文であるAM (Automated Mathematician) は、発見を試み、つまり定理の証明者ではなく定理の提案者となることを試みた最初のコンピュータ プログラムの 1つでした。このプログラムで実験を行うことで、批判と改善のサイクルが生まれました。このようなプログラムを構築するには、多くの問題に対処する必要がありました。知識を形式的、表現的、具体的に表現する方法、新しい発見の価値を判断するための何百ものヒューリスティックな「興味深さ」ルールをプログラムする方法、記号的および帰納的に推論するタイミングと頻度データから統計的に推論するタイミングのヒューリスティック、このような推論プログラムのアーキテクチャ (設計上の制約) はどのようなものか、ヒューリスティックが機能する理由、およびヒューリスティックの「内部構造」はどのようなものかなどです。AM は、コンピュータ プログラムが斬新で創造的な発見を行えることを実証するための最初のステップの 1 つでした。[18]
1976 年、レナットはカーネギーメロン大学でコンピュータサイエンスの助教授として教鞭をとり、AI プログラムEuriskoの作業を開始しました。AM の限界は、興味深さのヒューリスティックの固定セットに従うことに縛られていたことです。対照的に、Eurisko はヒューリスティック ルールをファーストクラス オブジェクトとして表現したため、AM が新しいドメイン概念を探索、操作、発見したのと同じように、Eurisko も新しいヒューリスティックを探索、操作、発見することができました。[引用が必要]
レナットは1978年にスタンフォード大学に戻り、コンピュータサイエンスの助教授となり、ユーリスコの自動発見およびヒューリスティック発見プログラムの構築に取り組みました。ユーリスコは多くの興味深い発見をして大きな称賛を浴び、レナットの論文「ヒューリスティック：ヒューリスティックルールの理論的および実験的研究」[19]は1982年のAAAI会議で最優秀論文賞[要出典]を獲得しました。
「常識」を求める
レナット（ゼロックスPARCでジョン・シーリー・ブラウンと共同研究）は1984年に、AMとユーリスコの研究の限界について分析した論文を発表した。[20] 実際の汎用シンボリックAIへの進歩には、適切に形式化され表現された「常識」の膨大な知識ベースと、その知識ベースを特定の質問やアプリケーションに適用することで得られる数十または数百の結論や議論を見つけることができる推論エンジンが必要であると結論づけた。[21]
この AM と Eurisko による AI へのアプローチの成功と限界の分析、そして AI へのボトルネックを打破するには大規模な (数千人年、数十年にわたる) 研究開発努力が必要であるという最終的な訴えは、1982 年にボブ インマン提督と当時テキサス州オースティンで形成されていたMCC研究コンソーシアムの注目を集め、その結果、レナットは 1984 年から 1994 年まで MCC の主任科学者になりましたが、この期間の後もスタンフォードに戻って年に 1 つのコースを教え続けました。400 人の MCC で、レナットは数人の大学院生ではなく数十人の研究者にその常識的な知識ベースに取り組んでもらうことができました。 [出典が必要]
サイコープ
Cycの最初の10年間の研究開発の成果[22]は、1994年末にMCCから分離され、Cycorpという会社になりました。1986年に彼は、Cycを完成させるには少なくとも25万のルールと1,000人年の労力がかかると見積もっていましたが、[23]おそらくその2倍の労力がかかり、2017年までに彼と彼のチームはCycの構築に約2,000人年の労力を費やし、約2400万のルールとアサーションを作成しました（「事実」は数えていません）。[要出典]
レナットは、亡くなるまでサイコープのCEOとしてサイクの開発を続けた。サイクの開発の最初の10年間（1984-1994年）は、日本の第五世代コンピュータプロジェクトに対抗するためにアメリカの大手企業が長期研究資金をプールして資金提供を受け、次の10年間（1995-2006年）は米国政府機関の研究契約によって資金提供を受けたが、現在（2007-2023年）までの30年間は、金融サービス、エネルギー、ヘルスケア分野を含むサイクの商用アプリケーションを通じて主にサポートされてきた。[24] これらの後期のプロジェクトの1つは、 Mathcraftと呼ばれる教育による学習アプリケーションであった。[25]
個人の生と死
レナットはマール・バルークと結婚し、娘をもうけた。[26] 2人は離婚し、後にサイコープ社の経営者メアリー・シェパードと再婚した。[27] 2023年8月31日、胆管癌のため72歳で亡くなった。 [28] [15]
引用
- 「知性は1000万のルールである」[29]これは、著者が読者全員が持っていると想定している事前知識と暗黙の知識（「人xが人yを知っている場合、人xの死亡日は人yの誕生日より早いはずがない」など）を指し、WikipediaやGoogleで検索すると見つかるようなはるかに多くの「事実」は考慮されません。
- 「大きく拡張されたCycが無数のソフトウェアアプリケーションの基盤となる時が来るかもしれない。しかし、その目標に到達するにはさらに20年はかかるだろう。」[30]
- 「本当に膨大な量の情報が知識として統合されると、人間とソフトウェアのシステムは超人的なものになるだろう。これは、文字を持つ人類が文字を持つ前の人類と比べて超人的であるのと同じ意味である。」[31]
- 「時には、表面上の知性だけでは不十分だ。」[32]
- 「もしコンピューターが人間だったら、自閉症や統合失調症、あるいはその他の脆弱な存在として現れるでしょう。そのような人間が子供の世話をしたり、食事を作ったりするのは賢明ではないし危険ですが、家庭用ロボットではそれが実現しつつあります。それは『私たちにはやるべき重要な仕事があるが、それを犬や猫にやらせるつもりだ』と言っているようなものです。」[33]
- 「我々に必要なのは、まさに『AIマンハッタン計画』、つまり常識への全面攻撃である。課題は常識の百科事典を作ることだ」とミチオ・カクはレナトを引用して述べている。[34]
著作
- Brown, John Seely; Lenat, Douglas (1983 年 8 月)。「AM と Eurisko が機能しているように見える理由」。Proceedings of National Conference on AI (AAAI–83)。第 1 巻 (Proceedings of the AAAI Conference on Artificial Intelligence、3): 236–240 。2024 年5 月 3 日に閲覧。
- デイビス、ランドール、レナット、ダグラス B. (1982)。人工知能における知識ベースシステム。ニューヨーク：マグロウヒルインターナショナルブック社。ISBN 978-0-07-015557-2。
- Hayes-Roth, Frederick、Waterman, Donald Arthur、Lenat, Douglas B. 編 (1983)。Building Expert Systems。マサチューセッツ州レディング: Addison-Wesley Pub. Co. ISBN 978-0-201-10686-2。
- Lenat, Douglas B. 「インテリジェント システム向けコンピュータ ソフトウェア: AI の概要」、Scientific American、 1984 年 9 月。
- レナット、ダグラス B.、クラークソン、アルバート、カークミジアン、ガロ (1983)。「兆候と警告分析のためのエキスパートシステム」。人工知能に関する第 8 回国際合同会議議事録 - 第 1 巻。IJCAI'83。米国カリフォルニア州サンフランシスコ: Morgan Kaufmann Publishers Inc.: 259–262。[35]
- レナット、ダグラス B.ファイゲンバウム、エドワード A. (1991 年 2 月)。 「知識の限界について」。アーティフ。インテル。47 (1-3): 185-250。土井：10.1016/0004-3702(91)90055-O. ISSN 0004-3702。[36]
- レナット、ダグラス B.; グハ、RV (1990-01-01)。大規模知識ベースシステムの構築：Cycプロジェクトにおける表現と推論。マサチューセッツ州レディング：アディソンウェスレー。ISBN 9780201517521。[ 37]
- レナット、ダグラス・B. 2001年から2001年：常識とHALの心[38]
- レナット、ダグラス B. (2008-07-10)。「カメの声：AIに何が起こったのか？」AIマガジン。29 (2) 。doi :10.1609/aimag.v29i2.2106。ISSN 0738-4602 [39 ]
- Blackstone EH、Lenat、DB、Ishwaran H. 「どのケアが最善かを知るために必要なインフラストラクチャ：開発が必要な方法」、(Olsen L.、Grossman、C.、McGinnis、M. 編) 「効果的な方法を学ぶ：比較効果研究に必要なインフラストラクチャ」。医学研究所学習健康システムシリーズ、全米アカデミー出版、pp. 123–144、2011 年。
- Lenat DB、Durlach P.「生徒を模擬学習体験に没頭させることで数学の知識を強化する。」 J. International Journal of Artificial Intelligence in Education.、2014
- レナット、ダグラス B. (2016-04-13). 「WWTS (チューリングは何と言うだろうか?)」. AI マガジン. 37 (1): 97–101. doi :10.1609/aimag.v37i1.2644. ISSN 0738-4602 [40]
- 下記の参考文献も参照してください。
参考文献
- ^ Out of their Minds - 15人の偉大なコンピュータ科学者の生涯と発見 | Dennis Shasha | Springer. Copernicus. Copernicus. 1998. ISBN 9780387982694。
- ^ レナット、ダグラス B. (1995) 。「人工知能」。サイエンティフィック・アメリカン。273 (3): 80–82。JSTOR 24981725。
- ^ Lenat, Douglas; Greiner, Russell (1980). 「RLL: 表現言語」.第 1 回 AAAI 会議議事録. 1 .
- ^ Lenat, Douglas B.; Hayes-Roth, Frederick; Klahr, Philip (1979)。「人工知能システムにおける認知経済」。人工知能に関する第 6 回国際合同会議議事録 - 第 1 巻。IJCAI'79。米国カリフォルニア州サンフランシスコ: Morgan Kaufmann Publishers Inc.: 531–536。ISBN 978-0934613477。
- ^ Lenat, DB (1989 年 3 月)。「オントロジー対知識工学」IEEE Transactions on Knowledge and Data Engineering 1 (1): 84–88. doi : 10.1109/69.43405. ISSN 1041-4347。
- ^ Lenat, DB; Fishwick, PA; Modjeski, RB; Oresky, CM; Clarkson, A; Kaisler, S (1991). 「STRADS: 戦略的自動発見システム」.知識ベースシミュレーション: 方法論とアプリケーション.
- ^ レナット、ダグラス。「自然のヒューリスティックス：DNA の考えられる突然変異」スタンフォード ヒューリスティック プログラミング プロジェクト、1980 年、技術レポート HPP-80-27。
- ^ Lenat, Douglas B. (1983). 「発見による学習におけるヒューリスティックスの役割: 3 つのケーススタディ」。機械学習。シンボリック計算。Springer、ベルリン、ハイデルベルク。pp. 243–306。doi :10.1007/978-3-662-12405-5_9。ISBN 9783662124079。
- ^レナット、ダグラス (1982)。「 ヒューリスティックスの性質」。人工知能ジャーナル。19 。
- ^レナット、ダグラス ( 1983)。「ヒューリスティックスの性質 II: ヒューリスティック検索による理論形成」。人工知能ジャーナル。20 。
- ^レナット、ダグラス (1983)。「 ヒューリスティックスの性質 III: ユーリスコ」。人工知能ジャーナル。20 。
- ^ レナット、ダグラス (1984)。「ヒューリスティックスの性質 IV: AM と Eurisko が機能する理由」。人工知能ジャーナル。23 。
- ^ 2017年10月12日アーカイブ、Wayback Machine
- ^ Wired スタッフ。「The Wired 25」。WIRED 。 2017年11月29日閲覧。
- ^ abcdef Metz, Cade (2023年9月4日). 「AIをより人間らしくしようとしたダグラス・レナット氏が72歳で死去」ニューヨーク・タイムズ. 2023年9月4日閲覧。
- ^ 「プログラム理解システムの進捗報告」C. コーデル グリーン、リチャード J. ウォルディンガー、デビッド R. バーストウ、ロバート エルシュラガー、ダグラス B. レナット、ブライアン P. マッキューン、デビッド E. ショー、ルイス I. スタインバーグ。メモ AIM-240、レポート STAN-CS-74-444、人工知能研究所、コンピュータ サイエンス学部、スタンフォード大学、カリフォルニア州スタンフォード、1974 年 8 月
- ^ Davis, Randall; Lenat, Douglas B. (1982). 人工知能における知識ベースシステム: 2 つのケーススタディ。ニューヨーク、ニューヨーク、米国: McGraw-Hill, Inc. ISBN 978-0070155572。
- ^ Lenat, Douglas B.; Gregory, Harris (1977). 「科学的発見を探すルールシステムの設計」
- ^ 「ヒューリティクス：ヒューリスティックルールの理論的および実験的研究」www.aaai.org 。 2017年11月6日閲覧。
- ^ Lenat, Douglas B.; Brown, John Seely (1984年8月1日). 「なぜamとeuriskoは機能するように見えるのか」.人工知能. 23 (3): 269–294. CiteSeerX 10.1.1.565.8830 . doi :10.1016/0004-3702(84)90016-X.
- ^ Lenat, Douglas B.; Borning, Alan; McDonald, David; Taylor, Craig; Weyer, Steven (1983)。「Knoesphere: 百科事典的知識によるエキスパート システムの構築」。第 8 回国際人工知能合同会議議事録 - 第 1 巻。IJCAI'83: 167–169。
- ^ レナット・ダグラス。「Hal の遺産: 2001 年のコンピューターは夢と現実。2001 年から 2001 年まで: 常識と HAL の心」。Cycorp , Inc. 2006 年 10 月 6 日時点のオリジナルよりアーカイブ。2006 年9 月 26 日閲覧。
- ^ コンピュータを理解する: 人工知能アムステルダム:タイムライフブックス1986年、p. 84。ISBN 978-0-7054-0915-5。
- ^ レナット・ダグラス; ウィットブロック・マイケル; バクスター・デイビッド; ブラックストーン・ユージン; ディートン・クリス; シュナイダー・デイブ; スコット・ジェリー; シェパード・ブレイク (2010 年 7 月 28 日)。「臨床研究者のアドホック クエリに答えるための Cyc の活用」。AIマガジン。31 ( 3 ): 13–32。doi : 10.1609 /aimag.v31i3.2299。ISSN 0738-4602。
- ^ Lenat, Douglas B.; Durlach, Paula J. (2014 年9 月 1 日)。「生徒をシミュレートされた学習体験に没頭させることで数学の知識を強化する」。International Journal of Artificial Intelligence in Education。24 ( 3): 216–250。doi : 10.1007/s40593-014-0016 - x。ISSN 1560-4292。S2CID 72571 。
- ^ カリ・シロ（2023年11月16日）「彼はAIに人生の事実を教えた」スタンフォード・マガジン
- ^ 「コンピューターに常識を教える一人の天才の孤独な戦い」Wired 2016年3月24日2023年9月2日閲覧。
- ^ ダグラス・レナットの死亡記事
- ^ レナット・ダグラス (1988)。「The Case for Inelegance」。産業用人工知能に関する国際ワークショップ議事録、東京、1988年5月。
- ^ ウッド、ラモント。サイコープ：常識のコスト、テクノロジーレビュー、2005年3月
- ^ マイケル・A・ヒルツィック（2001年6月21日）「考える機械の誕生」ロサンゼルス・タイムズ
- ^ 「時には知能の見かけだけでは不十分 | CogWorld」。cognitiveworld.com 。 2017年11月29日閲覧。
- ^ ラブ、ディラン（2014年7月2日）。「世界で最も野心的な人工知能プロジェクトは、30年間ほぼ秘密裏に運営されてきた」。ビジネスインサイダー。 2020年10月7日閲覧。
- ^ カク・ミチオ（1999年3月4日）『ビジョン：科学は21世紀をどう変革するのか』オックスフォード大学出版局、64ページ。ISBN 978-0-19-288018-5。
- ^ Lenat, Douglas B.; Clarkson, Albert; Kircmidjian, Garo (1983)。「兆候と警告分析のためのエキスパートシステム」。人工知能に関する第 8 回国際合同会議議事録 - 第 1 巻。IJCAI'83: 259–262。
- ^ レナット、ダグラス B.;ファイゲンバウム、エドワード A. (1991 年 2 月)。 「知識の限界について」。アーティフ。インテル。47 (1-3): 185-250。土井：10.1016/0004-3702(91)90055-O. ISSN 0004-3702。
- ^ Lenat, Douglas B.; Guha, RV (1990 年 1 月 1 日)。大規模知識ベースシステムの構築: Cyc プロジェクトにおける表現と推論。マサチューセッツ州レディング: Addison- Wesley。ISBN 9780201517521。
- ^ クラーク、アーサー C. (1998 年 2 月 6 日)。ストーク、デビッド G. (編)。HALの遺産: 2001 年の夢と現実のコンピュータ(再版)。マサチューセッツ州ケンブリッジ: MIT プレス。ISBN 9780262692113。
- ^ Lenat, Douglas B. (2008年7月10日). 「The Voice of the Turtle: Whatever Happened to AI?」. AI Magazine . 29 (2). doi :10.1609/aimag.v29i2.2106. ISSN 0738-4602. 2017年11月7日時点のオリジナルよりアーカイブ。2017年11月7日閲覧。
- ^ レナット・ダグラス・B. (2016年4月13日). 「WWTS (チューリングなら何と言うだろう?)」. AI Magazine . 37 (1): 97–101. doi : 10.1609/aimag.v37i1.2644 . ISSN 0738-4602.
さらに読む
- ウルフラム、スティーブン（2023年9月5日）。「ダグ・レナット（1950-2023）を偲んで、論理で世界を捉えようとする彼の探求」スティーブン・ウルフラム著作。 2023年9月7日閲覧。
外部リンク
- Cyc.com の Douglas Lenat の経歴ページ ( Wayback Machineで 2015-05-23 にアーカイブ)
- NIPS 2008での「セマンティック ウェブを超えて」ビデオ講義。
- 「ダビデはいかにしてゴリアテに勝利したか」ニューヨーカー誌の記事。
- 「ダグラス・レナット：Cyc と AI における常識的推論の解決への探求」Lex Fridman ポッドキャスト #221、2021 年。