[农学]人工智能课件.ppt

一. 孕育期（1956年之前） 一. 孕育期（1956年之前） 一. 孕育期（1956年之前） 二. 形成期（1956年-1969年） 这一时期的主要研究大致有以下一些方面： 三. 知识应用期（1970年-80年代末） 人工智能遇到了许多麻烦： 在其它方面，人工智能也遇到了这样那样的问题： 以知识为中心的研究： 历史上的人工智能大师 下面介绍图灵和几位获得图灵奖的人工智能大师 阿伦?图灵（Alan Turing） 计算机科学理论的创始人 1912年出生于英国伦敦，1954年去世 1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论 1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试 1966年为纪念图灵的杰出贡献，ACM设立图灵奖 马文?明斯基（Marniv Lee Minsky） 人工智能之父 框架理论的创立者 首位获得图灵奖的人工智能学者 马文?明斯基（Marniv Lee Minsky） 1927年出生于美国纽约 1951年提出思维如何萌发并形成的基本理论 1956年达特茅斯会议的发起人之一 1958年在MIT创建世界上第一个AI实验室 1969年获得图灵奖 1975年首创框架理论 约翰?麦卡锡（John McCarthy） 人工智能之父 LISP语言的发明人 首次提出AI的概念 约翰?麦卡锡（John McCarthy） 1927年出生于美国波士顿 1956年发起达特茅斯会议，并提出“人工智能”的概念 1958年与明斯基一起创建世界上第一个人工智能实验室 发明α－β剪枝算法 1959年开发LISP语言 开创逻辑程序研究，用于程序验证和自动程序设计 1971年获得图灵奖 赫伯特?西蒙（Herbert A. Simon） 符号主义学派的创始人 爱好广泛的全能科学家 中国科学院外籍院士 赫伯特?西蒙(Herbert A. Simon） 1916年出生于美国的威斯康辛州 1943年在匹兹堡大学获政治学博士学位 1969年因心理学方面的贡献获得杰出科学贡献奖 1975年和他的学生艾伦?纽厄尔共同获得图灵奖 1978年获得诺贝尔经济学奖 1986年因行为学方面的成就获得美国全国科学家奖章 50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT，证明了《数学原理》第二章中的全部52个定理，开创了机器定理证明这一新的学科领域 57年开发了IPL(Information Processing Language)语言，是最早的AI语言。 60年开发了“通用问题求解系统”GPS 66年开发了最早的下棋程序之一MATER 70年发展与完善了语义网络的概念和方法 70年代提出了“物理符号系统假说” 70年代提出决策过程模型，成为DSS的核心内容 爱德华?费根鲍姆（Edward A. Feigenbaum） 知识工程的提出者 大型人工智能系统的开拓者 爱德华?费根鲍姆（Edward A. Feigenbaum） 1936年出生于美国的新泽西州 通过实验和研究，证明了实现智能行为的主要手段是知识 1977年提出知识工程，使人工智能从理论转向应用 名言：知识蕴藏着力量 1994年和劳伊?雷迪共同获得图灵奖 1963年主编了《计算机与思想》一书，被认为是世界上第一本有关人工智能的经典性专著 1965年开发出世界上第一个专家系统 开发出著名的专家系统MYCIN 80年代合著了四卷本的《人工智能手册》 开设Teknowledge和IntelliGenetics两个公司，是世界上第一家以开发和将专家系统商品化的公司 在英国，1971年剑桥大学应用数学家詹姆士（James）先生应政府要求，发表了人工智能综合报告，指责“人工智能研究不是骗局，也是庸人自扰”。这个目光短浅的报告被政府采纳后，英国的人工智能研究经费被削减、机构被解散。 在美国，曾一度热衷于人工智能研究的IBM公司也下令取消了在该公司范围内的所有人工智能研究活动。 从此，形势急转直下，在全世界范围内人工智能研究陷入困境、落入低谷。 在这种极其困难的环境下，仍有一大批人工智能学者不畏艰辛、潜心研究。 他们在认真总结前一阶段研究工作经验教训的同时，从费根鲍姆以知识为中心开展人工智能研究的观点中找到了新的出路。 专家系统悄悄开始孕育，使得人工智能在后来出现的困难和挫折中能很快找到前进方向，迅速地再度兴起。 专家系统（Expert System，简写为 ES）是一个具有大量的专门知识，并能够利用这些知识去解决特定领域中需要由专家才能解决的那些问题的计算机程序。 专家系统实现了人工智能从理论研究走向实际应用，从一般思维规律探讨走向专门知识运用的重大突破，是人工智能发展史上