Douglas Lenat

Douglas Bruce Lenat於1950年9月13日生於美國賓夕法尼亞州費城，父母為Nathan Lenat和Gertrude（Cohen）Lenat。⁠[1]

他在賓夕法尼亞大學University of PennsylvaniaUniversity of Pennsylvania（賓夕法尼亞大學，簡稱 Penn）是位於美國費城的私立研究型大學、常春藤盟校成員。學校將歷史追溯至1740年的慈善學校籌建項目；Benjamin Franklin 於1749年提出辦學方案，學院於1751年開課，1791年合併形成現名機構。賓大設12個學院，本科教育主要由文理、工程、護理和 Wharton 四個學院承擔。2025年秋學生總數為29,384人；2025財年捐贈基金為248.1億美元。截至2026年10月，校長為 J. Larry Jameson，其任期計劃於2027年6月30日結束。點擊查看完整詞條攻讀物理和數學，取得本科與碩士學位；1971年修讀人工智能入門課後，於1972年前往Stanford UniversityStanford UniversityStanford University是美國加利福尼亞州的研究型大學，由Leland與Jane Stanford於1885年創立，1891年開學。點擊查看完整詞條，博士階段起初研究自動編程。⁠[2]

1976年，他獲Stanford University博士學位，論文題為AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search，導師為Cordell Green。⁠[3]

論文中的程序Automated Mathematician（AM）生成並修改代表數學概念的Lisp小程序；他因此獲得1977年IJCAI Computers and Thought Award。⁠[4]

他先後在Carnegie Mellon UniversityCarnegie Mellon UniversityCarnegie Mellon University（CMU）是位於美國賓夕法尼亞州匹茲堡的私立研究型大學。學校前身是 Andrew Carnegie 於1900年出資創辦的 Carnegie Technical Schools，1912年改名 Carnegie Institute of Technology，1967年與 Mellon Institute 合併後定名為今名。學校以計算機科學、機器人、工程與藝術等領域著稱，在卡塔爾、硅谷和盧旺達設有校區。截至2025年9月，全校註冊學生16,582人。現任校長為 Farnam Jahanian。2026年9月30日，學校宣佈獲得 Ken Griffin 30億美元捐贈，並將在邁阿密興建新校區。點擊查看完整詞條和Stanford University擔任計算機科學教授。⁠[5]

1980年，他參與創辦美國人工智能協會（AAAI）和Teknowledge公司；他後來同時擔任MicrosoftMicrosoftMicrosoft（微軟）是由 Bill Gates 和 Paul Allen 於1975年創辦、總部位於美國華盛頓州雷德蒙德的科技公司，業務涵蓋 Windows、Microsoft 365、Azure、企業軟件、人工智能、遊戲和設備。點擊查看完整詞條和AppleAppleApple（蘋果公司）是1976年創辦、總部位於美國加利福尼亞州庫比蒂諾的上市科技公司。業務包括 iPhone、Mac、iPad、可穿戴設備，以及數字內容、支付、雲端存儲等服務。公司通過自研硬件、操作系統和服務構建產品體系。點擊查看完整詞條的科學顧問委員會成員。⁠[6]

他在Stanford開發的後續程序Eurisko把啟發式規則本身當作可探索和修改的對象。⁠[4]

1981年7月4日週末，Eurisko在加州San Mateo贏得Traveller遊戲錦標賽；1982年主辦方大幅修改規則後它再度奪冠，主辦方隨後請其團隊不再參賽。⁠[2]

1984年底，他辭去Stanford教職，開始Cyc項目。⁠[7]

Cyc在由美國計算機、半導體和電子廠商組成的研發聯合體MCC（Microelectronics and Computer Technology Corporation）啟動，目標是用符號AI建立涵蓋大量人類常識的知識庫。⁠[8]

他在MCC任首席科學家，把這項工作稱為ontological engineering（本體工程）。⁠[6]

1990年，他因Cyc方面的工作當選AAAI Fellow。⁠[9]

1994年底，Cyc項目從MCC分拆為Cycorp, Inc.，由他擔任CEO。⁠[6]

1995年，他在Communications of the ACMAustralian Community MediaAustralian Community Media（ACM）是澳大利亞地區與鄉村新聞出版集團，旗下有The Canberra Times等逾100個品牌；2019年Nine將其出售給由Antony Catalano與Thorney Investment Group相關方控制的公司。點擊查看完整詞條發表文章CYC: a large-scale investment in knowledge infrastructure，稱自1984年以來已投入約一個人世紀的工作，人工錄入約10⁶條常識公理，另有數百萬條由系統推理得出並緩存。⁠[10]

2002年4月，Cyc技術的開源版本OpenCyc 0.6.0在SourceForge發佈，下載包約40MB。⁠[11]

截至2005年3月，Cycorp有54名員工，約一半收入來自美國政府機構，其餘來自企業，公司保持盈利、沒有負債，股份全部由員工持有。他承認公司不得不隨資助方向調整，並稱約一半資金推動了Cyc朝所需方向前進。⁠[12]

2016年3月，由他的長期合作者Michael StewartMichael StewartMichael Stewart是M12管理合夥人，關注人工智能、深科技與未來計算；他曾在Applied Ventures、Applied Materials和Intel Research任職。點擊查看完整詞條任CEO的公司Lucid開始將Cyc商業化，曾與Cleveland Clinic合作篩選臨床研究患者。他認為沒有手工編碼的知識，機器學習和深度學習會有缺陷；紐約大學的Gary Marcus則稱Cyc以笨重著稱，過去十年鮮有公開消息。⁠[7]

他以Cyc創始人的身份做客Lex FridmanLex FridmanLex Fridman 是生於蘇聯、在美國長大的計算機科學家和播客主持人，任 MIT 研究科學家，研究人機交互與自動駕駛。他主持的 Lex Fridman Podcast 以數小時長篇對話著稱，嘉賓包括多國領導人和科技企業領袖。點擊查看完整詞條 Podcast第221期，節目介紹Cyc為已持續37年、旨在解決AI常識知識與推理的項目，話題包括知識庫構建、自動推理、語義網、OpenCyc和本體工程。⁠[13]

2023年7月31日，他與Gary Marcus在arXiv發表Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc，提出未來AI的16項要求，認為可信的通用AI需要將大語言模型與形式化符號推理結合。⁠[14]

Marcus回憶，兩人曾合作約一年撰寫一份未完成的長稿，此文是他在此基礎上寫成的較短版本。⁠[15]

他於2023年8月31日去世。⁠[9]

他在得克薩斯州奧斯汀去世；他與合作者為Cyc投入超過2000人年，編寫了超過2500萬條規則。⁠[5]

他因膽管癌去世，享年72歲，遺屬包括妻子Mary Shepherd、首任妻子Merle Baruch、女兒Nicole、兩名孫輩和一名兄弟。⁠[16]

Gary Marcus稱Cyc是一項“a ground-breaking, clarion experiment that never fully gelled”（開創性但始終未完全成形的實驗），並認為其專有性質限制了它在學術界的影響。⁠[15]

Cycorp：官網：https://cyc.com/（在新窗口打開）⁠[13]