人工智能1

题：归结法费时、下棋赢不了全国冠军、机器翻译一团糟。 归结法费时、下棋赢不了全国冠军、机器翻译一团糟。 以Feigenbaum为首的一批年轻科学家改变了战略思想，1977年提出 Feigenbaum为首的一批年轻科学家改变了战略思想，1977年提出 为首的一批年轻科学家改变了战略思想 知识工程的概念，以知识为基础的专家咨询系统开始广泛的应用。 知识工程的概念，以知识为基础的专家咨询系统开始广泛的应用。 著名专家系统的有： 著名专家系统的有： DENDRAL化学分析专家系统（斯坦福大学1968） DENDRAL化学分析专家系统（斯坦福大学1968 化学分析专家系统 1968） MACSYMA符号数学专家系统（麻省理工1971） MACSYMA符号数学专家系统（麻省理工1971 符号数学专家系统 1971） MYCIN诊断和治疗细菌感染性血液病的专家咨询系统（斯坦福大学1973） MYCIN诊断和治疗细菌感染性血液病的专家咨询系统（斯坦福大学1973 诊断和治疗细菌感染性血液病的专家咨询系统 1973） CASNET(Causal ASsciational Network)诊断和治疗青光眼的专家咨询 Network)诊断和治疗青光眼 诊断和治疗青光眼的专家咨询 系统（拉特格尔斯（Rutgers）大学70年代中） 70年代中 系统（拉特格尔斯（Rutgers）大学70年代中） CADUCEUS(原名INTERNIST)医疗咨询系统（匹兹堡大学）； CADUCEUS(原名INTERNIST)医疗咨询系统 匹兹堡大学）； 原名INTERNIST)医疗咨询系统（ HEARSAY I 和II语音理解系统（卡内基-梅隆大学） II语音理解系统 卡内基-梅隆大学） 语音理解系统（ PROSPECTOR地质勘探专家系统（斯坦福大学1976） PROSPECTOR地质勘探专家系统（斯坦福大学1976 地质勘探专家系统 1976） XCON计算机配置专家系统（卡内基-梅隆大学1978） XCON计算机配置专家系统（卡内基-梅隆大学1978 计算机配置专家系统 1978）
第一章 人工智能绪论
人工智能（ 人工智能（Artificial Intelligence,AI）是当前科学技 ） 发展的一门前沿学科，同时也是一门新思想，新观念， 发展的一门前沿学科，同时也是一门新思想，新观念， 新理论， 新理论，新技术不断出现的新兴学科以及正在发展的学 它是在计算机科学 控制论，信息论，神经心理学， 计算机科学， 科。它是在计算机科学，控制论，信息论，神经心理学， 等多种学科研究的基础发展起来的， 哲学，语言学等多种学科研究的基础发展起来的 哲学，语言学等多种学科研究的基础发展起来的，因此 又可把它看作是一门综合性的边缘学科 综合性的边缘学科。 又可把它看作是一门综合性的边缘学科。它的出现及所 取得的成就引起了人们的高度重视,并取得了很高的评价 并取得了很高的评价。 取得的成就引起了人们的高度重视 并取得了很高的评价。 有的人把它与空间技术，原子能技术一起并誉为20世纪 有的人把它与空间技术，原子能技术一起并誉为 世纪 的三大科学技术成就。 的三大科学技术成就。
19
5
形成（1956-1969） (2) 形成（1956-1969） 1956年提出了“Artificial Intelligence（人工智能）” 1956年提出了 年提出了“ Intelligence（人工智能）
1956 年夏由麻省理工学院的J.McCarthy、M.L.Minsky, IBM 公司信息 1956年夏由麻省理工学院的 J McCarthy、 IBM公司信息 年夏由麻省理工学院的
19
4
美籍奥地利数理逻辑学家Godel（哥德尔）（1906-1978），证明 美籍奥地利数理逻辑学家Godel（哥德尔）（1906-1978），证明 Godel ）（1906 ）， 了一阶谓词的完备性定；任何包含初等数论的形式系统， 了一阶谓词的完备性定；任何包含初等数论的形式系统，如果它 是无矛盾的，那么一定是不完备的。意义在于， 是无矛盾的，那么一定是不完备的。意义在于，人的思维形式化 和机械化的某种极限，在理论上证明了有些事是做不到的。 和机械化的某种极限，在理论上证明了有些事是做不到的。 英国数学家Turing(图灵) 1912-1954）,1936年提出了一种理想 英国数学家Turing(图灵)（1912-1954）,1936年提出了一种理想 Turing(图灵 计算机的数学模型（图灵机），1950年提出了图灵试验 ），1950年提出了图灵试验， 计算机的数学模型（图灵机），1950年提出了图灵试验，发表了 “计算机与智能”的论文。图灵奖。 计算机与智能”的论文。图灵奖 美国数学家Mauchly，1946发明了电子数字计算机ENIAC 美国数学家Mauchly，1946发明了电子数字计算机ENIAC Mauchly 发明了电子数字计算机 美国神经生理学家McCulloch，建立了第一个神经网络数学模型。 美国神经生理学家McCulloch，建立了第一个神经网络数学模型。 McCulloch 美国数学家Shannon 香农）,1948年发表了 通讯的数学理论》， Shannon（ 年发表了《 美国数学家Shannon（香农）,1948年发表了《通讯的数学理论》， 代表了“信息论”的诞生。 代表了“信息论”的诞生。
1 9 6 9 年 成 立 了 国 际 人 工 智 能 联 合 会 议 （ International Joint
Intelligence） C源自nferences On Artificial Intelligence）
19 7
(3)发展（1970年以后） (3)发展（1970年以后） 发展 年以后 70年代，开始从理论走向实践，解决一些实际问题。同时很快就发现问 70年代 开始从理论走向实践，解决一些实际问题。 年代，
研究中心的 N.Rochester, 贝尔实验室的 C.E.Shannon共同发起， Shannon共同发起， 共同发起 邀请了 Moore, Samuel, Selfridge, Solomonff, Simon, Newell 等人，10位数学家 信息学家、心理学家、神经生理学家、 位数学家、 等人，10位数学家、信息学家、心理学家、神经生理学家、计算机 科学家， 大学召开了一次关于机器智能的研讨会， 科学家 ， 在 Dartmouth 大学召开了一次关于机器智能的研讨会 ， Intelligence（ 会上 McCarthy 提议正式采用了 Artificial Intelligence（ 人工智 能）这一术语。 这次会议，标志着人工智能作为一门新兴学科正式 这一术语。 这次会议， 诞生了。 诞生了。 McCarthy（麦卡锡） McCarthy（麦卡锡）——人工智能之父 。 人工智能之父 这次会议之后的10年间，人工智能的研究取得了许多引人瞩目的成就： 这次会议之后的10年间，人工智能的研究取得了许多引人瞩目的成就： 10年间 在机器学习方面： 塞缪尔于1956年研制出了跳棋程序，该程序能从棋 在机器学习方面： 塞缪尔于1956年研制出了跳棋程序， 1956年研制出了跳棋程序 谱中学习，也能从下棋实践中提高棋艺； 谱中学习，也能从下棋实践中提高棋艺；
19
6
在定理证明方面：王浩于1958年在IBM机上证明了《数学原理》中有 在定理证明方面：王浩于1958年在IBM机上证明了《数学原理》 1958年在IBM机上证明了 关命题演算的全部定理（220条），还证明了谓词演 关命题演算的全部定理（220条），还证明了谓词演 算中150条定理85% 150条定理85%； 算中150条定理85%； 1965年 鲁宾逊（Robinson）提出了消解原理； 1965年，鲁宾逊（Robinson）提出了消解原理； 在模式识别方面：1959年塞尔夫里奇推出了一个模式识别程序； 在模式识别方面：1959年塞尔夫里奇推出了一个模式识别程序 年塞尔夫里奇推出了一个模式识别程序； 1965年罗伯特 Robert） 年罗伯特（ 1965年罗伯特（Robert）编制出可辨别积木构造的程 序； 在问题求解方面：1960年纽厄尔等人通过心理学试验总结出了人们求解 在问题求解方面：1960年纽厄尔等人通过心理学试验总结出了人们求解 问题的思维规律，编制了通用问题求解程序GPS, GPS,可以 问题的思维规律，编制了通用问题求解程序GPS,可以 用来求解11种不同类型的问题； 11种不同类型的问题 用来求解11种不同类型的问题； 在专家系统方面：斯坦福大学的费根鲍姆（E.A.Feigenbaum）自1965年 在专家系统方面：斯坦福大学的费根鲍姆（ Feigenbaum） 1965年 开始进行专家系统DENDRAL（化学分析专家系统）， 开始进行专家系统DENDRAL（化学分析专家系统） DENDRAL 1968年完成并投入使用 年完成并投入使用； 1968年完成并投入使用； 在人工智能语言方面：1960年McCarthy等人建立了人工智能程序设计语 在人工智能语言方面：1960年McCarthy等人建立了人工智能程序设计语 Lisp，该语言至今仍是建造智能系统的重要工具； 言Lisp，该语言至今仍是建造智能系统的重要工具；
人工智能
人工智能——计算机科学的一个分支，是智能计算机系统，即人类智 计算机科学的一个分支，是智能计算机系统， 人工智能 计算机科学的一个分支 慧在机器上的模拟， 慧在机器上的模拟，或者说是人们使机器具有类似于人 的智慧（对语言能理解、能学习、能推理）。 的智慧（对语言能理解、能学习、能推理）。
19 3
1.2 人工智能的发展简史
(1) 孕育（1956年前） 孕育（ 年前） 年前
古希腊的Aristotle（亚里士多德）（前384-322），给出了形式逻 古希腊的Aristotle（亚里士多德）（前384-322），给出了形式逻 Aristotle ）（ ）， 辑的基本规律。 辑的基本规律。 英国的哲学家、自然科学家Bacon（培根）（1561-1626），系统地给 英国的哲学家、自然科学家Bacon 培根）（1561-1626）， Bacon（ ）（1561 ），系统地给 出了归纳法。 知识就是力量” 出了归纳法。“知识就是力量” 德国数学家、哲学家Leibnitz（布莱尼茨）（1646-1716）。提出了 德国数学家、哲学家Leibnitz 布莱尼茨）（1646-1716）。 Leibnitz（ ）（1646 ）。提出了 关于数理逻辑的思想，把形式逻辑符号化， 关于数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运 算和推理。 算和推理。做出了能做四则运算的手摇计算机 英国数学家、逻辑学家Boole（布尔）（1815-1864）实现了布莱尼茨 英国数学家、逻辑学家Boole 布尔）（1815-1864） Boole（ ）（1815 的思维符号化和数学化的思想，提出了一种崭新的代数系统 的思维符号化和数学化的思想，提出了一种崭新的代数系统——布尔 布尔 代数。 代数。