导语
在人工智能领域,当深度学习和大型语言模型席卷一切时,一位学者却用近40年时间默默构建一个截然不同的系统——Cyc。道格拉斯·莱纳特是Cyc项目的创始人,该项目致力于将人类关于世界运作的基本常识和规则形式化,构建一个庞大的逻辑知识库。在本期访谈中,莱纳特深入剖析了“常识”对于AI实现真正理解的基石作用,分享了获取、表示和推理海量常识知识的艰辛历程与核心洞见,并展望了这一基石如何让AI与人类携手,变得更聪明。
Cyc项目创始人道格拉斯·莱纳特在访谈中阐述了其长达40年构建常识知识库的使命。他解释了常识为何是AI真正理解世界的关键,如何通过形式逻辑表达和获取数千万条知识,以及如何处理知识中的矛盾。他认为,当AI系统拥有足够的常识基础后,便能通过阅读和对话自我学习,最终与人类协作,使整体变得更聪明。

在人工智能领域,当深度学习和大型语言模型席卷一切时,一位学者却用近40年时间默默构建一个截然不同的系统——Cyc。道格拉斯·莱纳特是Cyc项目的创始人,该项目致力于将人类关于世界运作的基本常识和规则形式化,构建一个庞大的逻辑知识库。在本期访谈中,莱纳特深入剖析了“常识”对于AI实现真正理解的基石作用,分享了获取、表示和推理海量常识知识的艰辛历程与核心洞见,并展望了这一基石如何让AI与人类携手,变得更聪明。
展开「深读」看每一段讨论的问题与论据。
讨论的问题:什么是理解?它与行动和知识有何关系?
论据 / 案例:作者以‘狗取报纸’为例,说明狗能完成动作但不懂报纸内容;以‘驾驶中突发垃圾车爆袋’为例,说明在意外情况下需要常识做出快速决策。
讨论的问题:覆盖人类常识知识库究竟需要多少条目?
论据 / 案例:作者提及1984年斯坦福会议及参会者;估算方法;美国《国家合作研究法》及MCC研究联盟的成立背景。
讨论的问题:如何从文本中大规模获取常识知识?如何处理知识库中的不一致性?
论据 / 案例:技术:分析文本隐含假设、句子间推理空白、矛盾案例(如猫王既活着又闹鬼的报道)。比喻:地球表面整体是球形,但日常生活视作平面。
讨论的问题:构建知识库的目标是终点还是起点?AI将如何影响人类智力?
论据 / 案例:作者以计算器使人丧失心算能力、互联网可能使人更无知为例,说明技术对智力的双重影响;将语言的发明与通用AI的出现类比。
讨论的问题:如何高效地让人类专家扩展和修正知识库?
论据 / 案例:溯因推理(abduction)案例:看到人淋雨湿透,推断可能是因为下雨。项目:与NIH、克利夫兰诊所合作的基因组关联研究,用于过滤虚假相关性。
讨论的问题:语义网与Cyc有何关联与区别?知识图谱的局限是什么?
论据 / 案例:以《罗密欧与朱丽叶》中朱丽叶服药情节为例,说明理解需复杂推理;提及搜索引擎Northern Light的案例(无理解但基于用户行为反馈效果好)。
讨论的问题:如何设计AI交互界面以促进深度学习?如何从系统中涌现情感与意识问题?
论据 / 案例:Mathcraft教学软件案例;系统询问‘我是一个人吗?’;关于AI未来应享有人类基本权利的讨论。
讨论的问题:如何处理语言中的模糊性?如何对复杂概念进行有效表征?
论据 / 案例:细化案例:‘爱’被分为约50-60种;‘在…里’被分为约75种。指出语言为简洁性而牺牲了精确性。