c.curionode图灵奖档案

1975 · 人工智能

寻找解决问题的路径

符号系统将计算机程序与人类问题求解的理论联系起来。

1975图灵奖
寻找解决问题的路径: 符号系统将计算机程序与人类问题求解的理论联系起来。
Curionode 原创 AI 图解海报。 下方提供完整的文字版讲解。
阅读图解文字
  1. 表示

    描述当前的情境。

  2. 搜索

    探索有希望的选项。

  3. 抵达

    检查候选方案是否达成目标。

启发式搜索使某些庞大的问题空间能够被处理,也让认知理论获得可检验的形式。

启发式规则可能很有效,但不一定保证最短路径,也不一定准确模拟人类思考。

01 · 核心想法

用日常语言理解

艾伦·纽厄尔和赫伯特·西蒙与 J. C. 肖等人一起,用符号表示问题,并在可能的解法中搜索。他们的研究连接了人工智能与认知心理学,也推动了列表处理。程序既可以解决问题,也可以成为关于思维过程的明确假说。

为什么重要

启发式搜索使某些庞大的问题空间能够被处理,也让认知理论获得可检验的形式。

02 · 人物

是谁让想法成为现实?

插画肖像:艾伦·纽厄尔

艾伦·纽厄尔

艾伦·纽厄尔通过构造模拟问题求解的程序研究智能。他与赫伯特·西蒙等合作者开发了“逻辑理论家”和“通用问题求解器”。他的研究把信息处理作为理解人类认知与机器推理的共同框架。他在卡内基梅隆推动计算机科学和认知科学的发展,后来继续探索 Soar 等综合认知架构。

阅读人物介绍 ↗
插画肖像:赫伯特·西蒙

赫伯特·西蒙

赫伯特·西蒙把人类决策研究带入早期人工智能。他与艾伦·纽厄尔等合作者使用“逻辑理论家”等程序,研究人如何通过符号搜索解决问题。他更广泛的研究关注组织与有限理性,即在信息和资源有限时作出决策。在卡内基梅隆,他把计算机科学与心理学、经济学和管理学联系起来。

阅读人物介绍 ↗

03 · 延伸阅读

来自原始资料

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

  1. ACM 官方档案:Allen Newell ↗amturing.acm.org
  2. 海德堡获奖者论坛:Allen Newell ↗www.heidelberg-laureate-forum.org
  3. ACM 官方档案:Herbert Simon ↗amturing.acm.org
  4. 海德堡获奖者论坛:Herbert Simon ↗www.heidelberg-laureate-forum.org