c.curionode图灵奖档案

1971 · 人工智能

让程序处理想法的结构

Lisp 将符号表达式变成程序可以操作的材料。

1971图灵奖
让程序处理想法的结构: Lisp 将符号表达式变成程序可以操作的材料。
Curionode 原创 AI 图解海报。 下方提供完整的文字版讲解。
阅读图解文字
  1. 构造

    用列表表示表达式。

  2. 变换

    应用符号处理规则。

  3. 求值

    解释得到的表达式。

符号编程支持了早期人工智能研究,也影响了自动内存管理和函数式编程等语言特性。

符号操作依赖表示方法和规则,本身并不等于理解。

01 · 核心想法

用日常语言理解

约翰·麦卡锡参与创建了人工智能领域,并发展了以符号表达式和列表为核心的 Lisp 语言。程序不仅能处理数值,还能操作代表规则、表达式乃至其他程序的结构。这为探索机器推理提供了持久的工具。

为什么重要

符号编程支持了早期人工智能研究,也影响了自动内存管理和函数式编程等语言特性。

02 · 人物

是谁让想法成为现实?

插画肖像:约翰·麦卡锡

约翰·麦卡锡

约翰·麦卡锡帮助确立人工智能这一研究领域,并开发了与符号人工智能紧密相关的 Lisp 语言。他在斯坦福研究知识的形式化表示与常识推理,也倡导让多人交互使用同一台计算机的分时技术。他把有关机器智能的长远问题,与研究者能够实际使用的语言和计算基础设施联系起来。

阅读人物介绍 ↗

03 · 延伸阅读

来自原始资料

本站原创讲解依据官方获奖记录。领域标签用于编辑导航。

  1. ACM 官方档案:John McCarthy ↗amturing.acm.org
  2. 海德堡获奖者论坛:John McCarthy ↗www.heidelberg-laureate-forum.org