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]