传奇陨落! 人工智能领域的一位传奇大师,Douglas Lenat于8月31日与世长辞,享年72岁。Lenat因创建了机器学习程序AM而被授予两年一度的IJCAI计算机与思想奖(IJCAI Computers and Thought Award)。他是美国科学人工智能协会的创始成员之一,也是唯一一位同时在微软和苹果的科学顾问委员会任职的专家。他是美国科学促进会(AAAS)、美国科学人工智能协会(AAAI)和认知科学学会(Cognitive Science Society)的会员。他的研究领域包括:符号机器学习、知识表示、「认知经济」(cognitive economy)、 黑板系统(blackboard system)。作为Cycorp的CEO,以及Cyc项目的首席架构师。他对人工智能和知识表示的贡献是开创性的。他的挚友和合作伙伴马库斯,在得知他离世的第一时间,写了一篇长文来悼念他。这篇感人的文章,介绍了他在人生中的最后时刻,还在奋力工作,希望通过Cyc系统改善大语言模型在常识问题上的表现。Fridman的播客节目,也曾经采访过他。
Douglas Lenat的传奇一生
1950年9月13日,Lenat在宾夕法尼亚州费城出生,5岁时搬家去了特拉华州的威尔明顿。六年级时,Lenat在学校图书馆发现了关于Isaac Asimov物理学和生物学的通俗读物。于是,科学成了他对世界如何运转好奇心的探索渠道。但在Lenat十二岁半时,他的父亲突然离世了,Lenat的家失去了稳定的经济来源,开始频繁搬家。尚且年幼的Lenat把科学当作了一种慰藉,日以继夜地投入到对知识的探索中。1968年,Lenat进入了宾夕法尼亚大学,此时,越南战争正处于最激烈的阶段。Lenat认为前线的士兵人数严重不足,他很可能会被强制应召。时代的不确定性让Lenat决定加快在学业上的进度,他开始同时学习物理和数学。但编程仍是Lenat的爱好,在大学期间,Lenat甚至还成功靠编程养活了自己。他设计和开发了美国海军数据库问答系统的自然语言界面,而这个设计成为了美国航空母舰上使用的早期在线舰载操作手册。1972年,Lenat获得了宾夕法尼亚大学数学和物理学学士学位以及应用数学硕士学位。在上大学时,Lenat对物理和数学感兴趣,但最后他并未选择在这两个领域中深耕下去。在John W. Carr III 1971年教授的一门课上,Lenat了解到了人工智能。于是,毕业后Lenat来到了斯坦福大学,并在这里获得了计算机科学博士学位。
提出AM,呼吁AI「常识」研究
在攻读博士期间,Lenat发表了Automated Mathematician(AM)的论文。AM是第一批试图进行「发现」的计算机程序之一。也就是说,它是一个定理提出者,而不是定理证明者。对该程序的试验促进了批评和改进的循环,使人们对人类的创造力有了更深刻的理解。1977年,AM被授予IJCAI计算机和思想奖。AM是迈向通过发现进行学习的科学、迈向将创造性过程去神秘化并证明计算机程序可以做出新颖和创造性发现的第一步。1976年,Lenat开始在卡内基梅隆大学担任计算机科学助理教授,并开始了人工智能程序Eurisko的研究工作。在研究中,Lenat发现了AM的局限性:它只能遵循一套固定的趣味性启发式(interestingness heuristics)方法。相比之下,Eurisko将其启发式规则表示为第一类对象(first class objects),因此它可以探索、操作和发现新的启发式方法,就像它(与AM)探索、操作和发现新的领域概念一样。1978年,Lenat回到斯坦福大学担任计算机科学助理教授,继续他的研究工作,并建立了Eurisko自动发现和启发式发现程序。Eurisko取得了许多有趣的发现,获得了巨大的赞誉,Lenat的论文《启发式规则的理论与实验研究》(Heuretics: Theoretical and Experimental Study of Heuristic Rules)获得了1982年AAAI会议的最佳论文奖。Lenat和在施乐PARC工作的John Seely Brown一起于1984年发表了一份分析AM和Eurisko系列研究的局限性报告。该报告认为,要想在真正的、通用的、符号化的人工智能领域取得进展,就需要有一个庞大的「常识」知识库,并对其进行适当的形式化和表述。还需要有一个推理引擎,能够通过将该知识库应用于具体问题和应用,找到数十或数百个深层次的结论和论据。1984到1994 年期间,Lenat成为了MCC(Microelectronics and Computer Technology Corporation)的首席科学家,不过在这之后,他仍继续回到斯坦福大学,每年教授大约一门课程。在400人的MCC,莱纳特能够让几十名研究人员而不仅仅是几名研究生研究「常识」知识库。