---
schema_version: "library-reader-v1"
source_type: "original_book"
title: "智慧的疆界 从图灵机到人工智能"
author: null
edition: null
publisher: null
year: null
isbn: "9787111778004"
library_document_id: "cf76bc49-7e9b-4f42-bee8-3050a9fb9feb"
source_sha256: "a6e4d0c30c2781e62277891f79f33c2f62c58ae8db77453807229919f720b432"
pdf_physical_page_count: 456
pdf_physical_page_index_base: 0
range_start: 430
range_count: 10
html_url: "https://workshop.closeclaw.top/api/ai/read/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb?start=430&limit=10"
markdown_url: "https://workshop.closeclaw.top/api/ai/read/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb.md?start=430&limit=10"
previous_url: "https://workshop.closeclaw.top/api/ai/read/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb.md?start=420&limit=10"
next_url: "https://workshop.closeclaw.top/api/ai/read/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb.md?start=440&limit=10"
---

# 智慧的疆界 从图灵机到人工智能

> 页码规则：PDF_PHYSICAL_PAGE_INDEX 是从 0 开始的权威文件物理页索引；PRINTED_PAGE 是页面中识别出的印刷页码，可能为空，二者不得混用。

## PDF_PHYSICAL_PAGE_INDEX=430 | PRINTED_PAGE=415

1972 年 阿 兰· 科 尔 默 劳 尔（Alain Colmerauer） 设 计 了 Prolog 语 言（Programming by Logic 的缩写），这是一种逻辑编程语言。它创建在逻辑学的理论基础之上，最初被用于自然语言等研究领域。现在它已广泛地应用在人工智能的研究中，可以用来建造专家系统、智能知识库等。

1973 年 英国爱丁堡大学研发了名为“ Freddy”的装配机器人，Freddy可以通过机器视觉自动识别和定位要装配的模块。

附录 人工智能历史大事记

415

## PDF_PHYSICAL_PAGE_INDEX=431 | PRINTED_PAGE=416

1973 年 英国数学家詹姆士·莱特希尔（James Lighthill）针对英国人工智能研究状况，发表了业界赫赫有名的《莱特希尔报告》，这份报告是第一份真正具有广泛影响力的、直接刺破人工智能乐观思潮泡沫的调查文件。它严厉地批判了人工智能领域的许多基础性研究，特别是机器人和自然语言处理等几个最热门子领域，并给出了明确的结论：“人工智能领域的任何一部分都没有能产出符合当初向人们承诺的、具有主要影响力的成果。”这份报告直接导致了英国人工智能研究的全面低潮，并且其影响很快扩散到了美国及其他人工智能的研究之中，到了 1974 年，政府的资助预算清单上已经很难再找到对人工智能项目的资助了。

416

附录 人工智能历史大事记

## PDF_PHYSICAL_PAGE_INDEX=432 | PRINTED_PAGE=417

系统“ MYCIN”，该系统基于 LISP 语言开发，采用了可信度表示技术，不仅可以做确定性的判断，还可以进行不确定性的推理，并对推理结果的各种可能性进行解释。MYCIN 系统是知识工程的一个标杆式的实践样板，它基本解决了知识表示、知识获取、搜索策略、不确定性推理和结构设计等知识工程中的重要问题。MYCIN 对日后专家系统的设计产生了很大的影响，以 MYCIN专家系统作为基础平台，人们开发出了更多其他专业领域的专家系统，如EMYCIN 等。

附录 人工智能历史大事记

417

## PDF_PHYSICAL_PAGE_INDEX=433 | PRINTED_PAGE=418

1975 年 专家系统 DENDRAL 通过质谱分析发现了一种全新的化学现象，这是计算机第一次做出了能在科学杂志上发表的科学发现。

418

附录 人工智能历史大事记

## PDF_PHYSICAL_PAGE_INDEX=434 | PRINTED_PAGE=419

1979 年 汉斯·莫拉维克（Hans Moravec）在斯坦福大学建造了世界上第一台由计算机控制的自行驾驶的小车，成功环绕斯坦福大学人工智能实验室大楼走了一圈。

1980 年 美国人工智能协会（American Association for Artificial Intelligence，AAAI）在斯坦福大学成立，AAAI 是第一个国家性质的人工智能协会，也是迄今为止最有影响力的人工智能协会。

附录 人工智能历史大事记

419

## PDF_PHYSICAL_PAGE_INDEX=435 | PRINTED_PAGE=420

1981 年 丹尼·希利斯（Danny Hillis）发明连接机（Connection Machine），这是一种专门面向人工智能和符号处理的大规模并行超级计算机。

1982 年 在知识工程之父费根鲍姆的建议下，由日本国际贸易和工业部一手建立的“第五代计算机计划”（The Fifth Generation Computer SystemsProject）正式开始。日本定义的第五代计算机实质上是一种软硬件结合的面向知识和信息的人工智能系统，这个项目承载着日本信息技术超越西方的希望，倾全国之力打造，但是最终以失败告终。

420

附录 人工智能历史大事记

## PDF_PHYSICAL_PAGE_INDEX=436 | PRINTED_PAGE=421

1982 年 约翰·霍普菲尔德（John Hopfield）发明了 Hopfield 神经网络，这被视为近代神经网络的开端。近代的贝叶斯网络（Bayesian Network）、自组织映射（Self-Organized Map）也是在这一年被提出的。

1983 年 纽厄尔在卡内基梅隆大学发布了认知架构“ Soar”（State，Operator And Result），Soar 源于纽厄尔和司马贺的通用问题求解程序 GPS。它以知识块理论为基础，利用基于规则的记忆，获取搜索控制知识和操作符，即能从经验中学习，能记住自己是如何解决问题的，并把这种经验和知识用于以后的问题求解过程中，实现通用问题求解。

1983 年 杰弗里·辛顿（Geoffrey Hinton）发明了玻尔兹曼机（BoltzmannMachine）。波尔兹曼机是一种随机神经网络。在这种网络中神经元只有两种输出状态，即二进制的 0 或 1。状态的取值由概率统计法则决定，由于这种概率统计法则的表达形式与著名统计力学家路德维希 · 玻尔兹曼（LudwigBoltzmann，1844—1906）提出的玻尔兹曼分布类似，故将这种网络取名为玻尔兹曼机。

附录 人工智能历史大事记

421

## PDF_PHYSICAL_PAGE_INDEX=437 | PRINTED_PAGE=422

1986 年 辛顿发明了误差反向传播算法。虽然这个算法之前已经被反复发明过几次，但其价值并未得到应有的重视，直到辛顿在《自然》杂志上发表论文清晰地描述了该算法，才开始被学术界广泛关注，神经网络也由此踏出了它的漫长复兴之路的第一步。

1986 年 慕尼黑联邦国防军大学的恩斯特·迪克曼斯（Ernst Dickmanns）教授制造了世界上第一台在真实街道上自动行驶的汽车，并且在一条没有行人和其他车辆的空旷公路上行驶到了 55 英里 / 小时的速度。

422

附录 人工智能历史大事记

## PDF_PHYSICAL_PAGE_INDEX=438 | PRINTED_PAGE=423

附录 人工智能历史大事记

423

## PDF_PHYSICAL_PAGE_INDEX=439 | PRINTED_PAGE=424

Handwritten Digit Recognition with a Back-Propagation Network

Y 1e Cua, B. Boser. J S Denker. D. Henderson. A. E. Howard. W. Iubbard. and L. D. Jackel AT&:T Bell 1aboralories, Bomdel, N J. 07733

1991 年 在第一次海湾战争中，美军在实战中应用了人工智能程序“DART”来调度和优化物质运输的线路和顺序，收到了良好的效果。

1994 年 加拿大阿尔伯塔大学设计的跳棋程序“ Chinook”第二次挑战1991 年退役的世界冠军马里恩·廷斯利（Marion Tinsley，第一次以 2∶4 负于廷斯利），激战六局皆和局后，廷斯利因健康因素退出比赛，七个月后因胰腺癌过世。比赛由当时世界排名第二的多恩·拉夫尔提（Don Lafferty）接替进行，后来 Chinook 成功打败拉夫尔提，赢得全美跳棋锦标赛冠军。

424

附录 人工智能历史大事记

下一段：[继续读取](https://workshop.closeclaw.top/api/ai/read/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb.md?start=440&limit=10)
