人工智能导论 教学课件 作者 鲍军鹏 人工智能－1绪论.ppt

Aristotle (公元前384—322) 在《工具论》的著作中提出形式逻辑。 Bacon (1561—1626)在《新工具》中提出归纳法。 Leibnitz (1646—1716) 研制了四则计算器，提出了“通用符号”和“推理计算”的概念，使形式逻辑符号化，可以说是“机器思维”研究的萌芽。 19世纪以来，数理逻辑、自动机理论、控制论、信息论、仿生学、计算机、心理学等科学技术的进展，为人工智能的诞生，准备了思想、理论和物质基础。 Boole (1815—1864)创立了布尔代数，他在《思维法则》一书中，首次用符号语言描述了思维活动的基本推理法则。 1936: 图灵提出了“图灵机”概念——一种理想计算机的数学模型。 1943：美国神经生理学家W.McCulloch and W.Pitts提出了M-P模型，奠定了人工神经网络发展的基础。 1946: ENIAC Electronic Numerical Integrator and Calculator 1950: Alan Turing的文章“Computing Machinery and Intelligence.”提出图灵测试。 在50年代，计算局限在数值处理，例如，计算弹道等。 1950年，Shannon完成了第一个下棋程序。开创了非数值计算的先河。 Newell, Simon, MaCarthy and Minsky等均提出以符号为基础的计算。 1956夏: 麦卡锡(McCarthy)等10人正式提出了“人工智能” 这一术语。 1956：赛缪尔(Samuel)研制出了跳棋程序。 1957: Newell, Shaw和Simon提出通用问题求解系统 GPS 1958： 美籍华人王浩在IBM－740机器上用3～5分钟证明了《数学原理》中有关命题演算的全部定理(220条)。1959年鲁宾逊(Robinson)提出了消解定理，为定理的机器证明作出了突破性贡献。 1958: McCarthy在MIT实现了 LISP 1959: Samuel的跳棋程序打败他本人 能学棋谱、能从对阵中学习 1962年打败Connecticut洲的跳棋冠军 1965：Stanford的费根鲍姆(E.A.Feigenbaum)开展了专家系统DENDRAL的研究，并于1968年投入使用。这是一个分析化合物分子结构的专家系统。 1958: Newell和Simon的四个预测 十年内，计算机将成为世界象棋冠军 1997年“深蓝”才第一次击败国际象棋世界冠军 十年内，计算机将发现或证明有意义的数学定理 1976年美国数学家Kenneth Appel等人在三台大型机上完成了四色定理证明。1977年我国数学家吴文俊在提出了一种几何定理机械化证明方法 十年内，计算机将能谱写优美的乐曲 十年内，计算机将能实现大多数的心理学理论 一个笑话（英俄翻译）： The spirit is willing but the flesh is week. （心有余而力不足） The vodka is strong but meat is rotten. （伏特加酒虽然很浓，但肉是腐烂的） 出现这样的错误的原因： Spirit： 1）精神 2）烈性酒、酒精 结论： 必须理解才能翻译，而理解需要知识 1966: ALPAC的负面报告造成 美国政府取消对机器翻译的资助 1969: Minsky 和 Papert的感知机报告造成美国政府取消对神经网络研究的资助。 1973: James Lighthill爵士的负面报告使得英国政府取消对AI研究的资助 “人工智能研究是不成功的，不值得政府资助。” 英政府接受了此报告的观点。从那时起至今，英国AI研究一蹶不振。 1969年，Minsky出版Perceptron一书。 一方面，他批评感知机无法解决非线性问题，例如， XOR问题。复杂性信息处理应该以解决非线性问题为主。 另一方面，几何方法应该代替分析方法作为主要数学手段。 对人工智能发展的影响： 在以后的二十年，感知机的研究方向被忽视。 基于符号的知识表示成为主流。 基于逻辑的推理成为主要研究方向。 1977: SRI启动 PROSPECTOR 工程 帮助地质专家探测和解释矿物 1978年发现钼矿脉(molybdenum vein) 1977: Edward Feigenbaum正式提出知识工程作为一门学科 在1977年IJCAI会议上 1980: John McDermott的XCON专家系统 用于配置 VAX 机器系统 知识工程时代 专家系统 知识工程 知识工程席卷全球 1981: 日本政府宣布日本五代机（first-generation computer）计划（即智能计算机） 1982: John Hopf