第一章人工智能导论.pptVIP

人工智能导论;人工智能技术与 空间技术、 原子能技术 一起被誉为20世纪的三大科学技术成就。; 人工智能的定义 人工智能的诞生与发展 相关学派和他们的认知观 人工智能的研究和应用领域;定义1 人工智能是一种使计算机能够思维，使机器具有智力的激动人心的新尝试。 定义2 人工智能是那些与人的思维、决策、问题求解和学习等有关活动的自动化。 定义3 人工智能是用计算模型研究智力行为。 定义4 人工智能是研究那些使理解、推理和行为成为可能的计算。;定义5 人工智能是一种能够执行需要人的智能的创造性机器的技术。 定义6 人工智能研究如何使计算机做事让人过得更好。 定义7 人工智能是一门通过计算过程力图理解和模仿智能行为的学科。 定义8 人工智能是计算机科学中与智能行为的自动化有关的一个分支。 其中，定义1和定义2涉及拟人思维；定义3和定义4与理性思维有关；定义5和定义6涉及拟人行为；定义7和定义8与拟人理性行为有关。;Russell Norvig的定义; 人工智能是计算机科学的一个分支，是研究使计算机表现出人类智能的学科。 它涉及逻辑学、计算机科学、脑科学、神经生理学、心理学、哲学、语言学、信息论、控制论等多个学科，是一门综合性的交叉和边缘学科。; 人工智能学科的诞生经历了漫长的历史过程。历史上一些伟大的科学家和思想家对此作出了巨大的贡献，为今天的人工智能研究作了长足和充分的准备。; 亚里士多德（Aristotle）（公元前384 — 322） 古希腊伟大的哲学家、思想家，研究人类思维规律的鼻祖，为形式逻辑奠定了基础，提出了推理方法，给出了形式逻辑的一些基本定律，创造了三段论法。; 弗兰西斯﹒培根（Francis Bacon）（1561 — 1626） 英国哲学家和自然科学家，系统提出了归纳法，成为和亚里士多德的演绎法相辅相成的思维法则。他强调了知识的重要作用，指出“知识就是力量”。; 莱布尼茨（Leibnitz）（1646 — 1716） 德国数学家和哲学家，提出了关于数理逻辑的思想，即把形式逻辑符号化，从而对人的思维进行运算和推理的思想。 ;布尔（Boole）（1815 — 1864） 英国数学家、逻辑学家。他的主要贡献是初步实现了莱布尼茨关于思维符号化和数学化的思想，提出了一种崭新的代数系统——布尔代数，凡是传统逻辑能处理的问题，布尔代数都能处理。 符号逻辑 对于逻辑代数，布尔的方法是着重于外延逻辑，即类的逻辑．其中类或集合用x，y，z，…表示，而符号X，Y，Z，…则代表个体元素．用1表示万有类，用0表示空类或零类．他用xy表示两个集合的交[他称这个运算为选拔(election)]，即x与y所有共同元素的集合… ; 歌德尔（G?del）（1906 — 1978） 美籍奥地利数理逻辑学家，他研究数理逻辑中的一些带根本性的问题，即不完全性定理和连续假设的相对协调性证明 ，指出了把人的思维形式化和机械化的某些极限，在理论上证明了有些事情是机器做不到的。; 图灵（Turing）（1912 — 1954） 英国数学家。他于1936年提出了一种理想计算机的数学模型（图灵机）。现已公认，所有可计算函数都能用图灵机计算，这为电子计算机的构建提供了理论根据。 1950年，他还提出了著名的“图灵实验”，给智能的标准提供了明确的定义： 把人和计算机分两个房间，并且相互对话，如果作为人的一方不能判断对方是人还是计算机，那这台计算机就达到了人的智能。; 莫克利（J.W.Mauchly）（1907 — 1980） 美国数学家，和他的学生埃克特（J.P.Eckert），于1946年研制成功了世界上第一台通用电子数字计算机ENIAC。; 冯·诺依曼（John von Neumann）（ 1903 — 1957) 美籍匈牙利数学家，提出了以二进制和程序存储控制为核心的通用电子数字计算机体系结构原理，奠定了现代电子计算机体系结构的基础。1946——EDVAC。; 麦卡锡（John McCarthy），美国数学家、计算机科学家，“人工智能之父”。 ; 1956年夏，在美国的达特茅斯学院，由McCarthy（斯坦福大学）、Minsky（哈佛大学）、Lochester（IBM公司）、Shannon（贝尔实验室）四人共同发起， 邀请IBM公司的More、Samuel，MIT的Selfridge、Solomonff，还有Simon、Newell等人参加学术讨论班，在一起共同学习和探讨用机器模拟智能的各种问题。 在会上，经McCarthy提议，决定使用“人工智能”一词来概括这个研究方向。这次具有历史意义的