人工智能导论所用教材

1.2 人工智能的发展简史（续）
❖ （3）在模式识别方面，1959年塞尔夫里奇 推出了一个模式识别程序，1965年罗伯特编 制出了一个可分辨积木构造的程序。
❖ （4）在问题求解方面，1960年纽厄尔等人 通过心理学实验总结出了通用问题求解程序 GPS（General Problem Solving)，可以用来 求解11种不同类型的问题。例如：我国的人 工智能学家吴文俊先生研究的初等几何定理 证明问题，不仅可以解决初等几何中的所有 定理证明问题，还可以推广到欧式几何中去。
❖ (2)英国哲学家培根（F.Bacon)提出了归纳法，还提 出了“知识就是力量”的口号，这对20世纪70年 代人工智能转向以知识为中心的研究都产生了很重 要的影响。
❖ (3)德国数学家莱不尼茨（G.Leibniz)提出了万能 符号和推理计算的思想，这一思想不仅为数理逻 辑的产生和发展奠定了基础，而且是现代机器思 维设计思想的萌芽。
❖ 那麽，通过什麽途径来达到这个目标呢？
❖ 人工智能的创始人之一，尼尔逊对实现的途 径做了如下的总结：
❖ 通过对知识表示技术；机械化推理技术和系 统构成技术来实现人工智能技术。我们也将 按着这样一个原则和主线来介绍和学习人工 智能。
❖ 在此之前，先来了解一下AI的发展简史。
1.2 人工智能的发展简史
❖ 第一阶段—孕育期
❖ 第二阶段—形成期
❖ 第三阶段—发展期
❖
பைடு நூலகம்
知识工程与专家系统
❖
网络时代及其人工智能技术
❖ 1956年人工智能作为一门新兴的学科由美 国正式提出，现在它已成为人类科学技术 中一门充满生机和希望的前沿性学科。归 纳起来它的发展经历了孕育、形成、发展 这样三个阶段。
1.2 人工智能的发展简史（续）
❖ (4)英国逻辑学家布尔（G.Boole)创立了布尔代数。
❖ (5)英国数学家图灵对人工智能的贡献是在1936 年他提出了一种理想计算机的数学模型—图灵机。 这为后来电子数字计算机的问世奠定了理论基础。
❖ (6)美国生理学家麦克洛奇（W.McCulloch)与匹 兹（W.Pitts)在1943年建成了第一个神经网络模 型（M-P模型）
❖ 1956年的夏季，由麻省理工学院的麦卡锡与明 斯基、IBM公司的洛切斯特、贝尔实验室的香农 共同发起，邀请了IBM公司的莫尔等10人在美国 的达特莫斯（Dartmouth)大学召开了一个历时 两个月的研讨会。会上由麦卡锡提议正式采用 了人工智能这一术语。
❖ 这是一次具有历史意义的重要会议，它标志着 人工智能作为一门新兴的学科正式诞生了。在 这一历史时期的主要成果有：
1.1什麽是人工智能（续）
❖ (1)、数学学派 ❖ (2)、心理学学派 ❖ 其中数学学派的观点认为：求解智能问题完
全依靠算法（Algorithm)。这一学派的观点认 为求解一切智能问题都应该建立数学模型并 利用算法来求解问题。 ❖ 心理学学派的观点则认为：求解智能问题应 该依靠心理学模型,把人在解决各种问题时所 使用的经验、方法、策略、窍门等都编成程 序，（并称这种程序为启发式程序Heuristic ） 利用启发式程序来求解智能问题。
❖ 由于算法和启发式程序都各有利弊，所以人 工智能在求解智能问题时，不能单纯地使用 算法也不能单纯地使用启发式程序，而是使 用两个智能算子—算法和启发式程序（也叫 过程）共同工作。
❖ 目前我们对人工智能的研究仍然是从近期目 标出发（因为美国和日本研究了10年（82年 至92年），投入了大量的人力、物力，其中 日本耗资540个亿的日圆，但研制智能机的计 划宣告失败）,也就是说目前还是利用现在的 资源—计算机，研究如何使计算机更聪明、 更象人甚至在某些方面代替人。
❖ 开创了对微观人工智能的研究工作，为后来人工 神经网络的研究奠定了基础。
❖ （7）美国数学家莫克利（J.W.Mauchly)和埃柯 特（J.P.Eckert)在1946年研制出了世界上第一 台电子数字计算机ENIAC这项划时代的研究成果 为人工智能的研究奠定了物质基础。
❖ 2.形成期（1956-1969）
1.1什麽是人工智能（续）
❖ 2、人工智能的远期目标是研究人脑的微观结 构和宏观功能，以期制造出和人脑的结构一 致的智能机，并能完成人脑的宏观功能。
❖ 由于人工智能是一个新兴的学科，从事人工 智能的人来自各个不同的学科和领域，他们 对人工智能的理解和解释或多或少的印上了 他们原来学科的印记， 所以人工智能中的学 派五花八门，他们的观点也不尽相同，但是 归纳起来主要有两大学派：
❖ 1.孕育(1956年以前)期
❖ 人工智能之所以取得今天的成就是和几代科学家的 共同努力分不开的,是各有关学科共同发展的结果. 这个历史时期的主要成果为:
❖ (1)公元前4世纪的希腊哲学家Aristotle提出了形式 逻辑，他提出的三段论（既析取三段论 ：P （PQ）Q和假言三段论 （PQ) (Q R) PR) ，至今仍然是演绎推理的基本依据。
❖ （6）在人工智能语言方面，1960年麦卡锡研制 出了人工智能语言LISP，它是一种表结构语言， 该语言至今仍然是建造智能系统的重要工具。
❖ 这一时期发生的一个重大事件是1969年成立了 国际人工智能联合会（International Joint Conferences ON Artificial Intelligence,简称 IJCAI)，每两年召开一次国际学术交流会，宣读 论文，讨论和交流研究成果，探讨研究方向。 该学会的成立标志着人工智能学科已经得到了 世界的公认。
❖ （1）在机器学习方面，塞谬尔1956年研制出 了一个跳棋程序。这个程序能从棋谱中学习。 1959年它击败了塞谬尔，1962年它又击败了一 个州的冠军。（遗憾的是从此以后它没再取胜 过）。
❖ （2）在定理证明方面，美籍华人王浩在1960 年在机器上实现了命题逻辑的证明问题。被命 名为王浩算法。1965年鲁宾逊提出了消解原理， 为机器证明作出了突破性的贡献。
❖ （5）在专家系统方面，美国斯坦福大学的费 根鲍姆1968年研制成功了专家系统DENDRAL。 该系统不仅为人们提供了一个实用的智能系统， 而且对知识的表示、存储、获取、推理及利用 等技术是一次非常有益的探索，对人工智能的 发展产生了深刻的影响，其意义远远超出了系 统本身的价值。（因为人工智能曾经有过一段 低迷时期，是专家系统使人工智能走向实用阶 段…）