1_人工智能概述摘要.ppt

Song YT * AI研究方法的争论 争论的主要问题包括： 人工智能是否能模拟人的智能？如何模拟？ 对结构模拟和行为模拟是否可以分离研究？ 对感知、思维和行为是否可分离研究？ 对认知与学习以及逻辑思维和形象思维等问题是否可以分离研究？ 是否有必要建立人工智能的统一理论体系？如何建立？ Song YT * 研究方法的争论（一） 符号主义 人工智能的研究方法应为功能模拟方法。即通过研究人类认知系统的功能和机理，再用计算机进行模拟，从而实现人工智能。 主张用逻辑方法来建立人工智能的统一理论体系。 障碍：“常识”问题，不确知事物的知识表示和问题求解等。因而受到其它学派的批判与否定。 Song YT * 研究方法的争论（二） 联结主义 人工智能的研究方法应主要采用结构模拟的方法，即着重于人的生理神经网络结构； 认为功能、结构与智能行为是密切相关的，不同的结构表现出不同的智能行为。 目前，已提出多种人工神经网络结构和一些联结学习算法。 Song YT * 研究方法的争论（三） 行为主义 人工智能的研究方法应为行为模拟方法。 也认为，功能、结构和智能行为是不可分的，不同的行为表现出不同的功能和不同的控制结构。 你同意那种学派的观点？？ 结构模拟？ 功能模拟？ 行为模拟？ Song YT * Song YT * AI的发展历程 国外发展 国内发展 Song YT * 人工智能的产生与发展 人工智能术语1956年正式提出，并作为 一个学科的名称使用至今有近51年的历史。 孕育期（1956年以前） 形成期（1956年—1970年） 知识应用期（1971年—80年代末） 综合集成期（80年代末—今） Song YT * 人工智能的产生与发展—孕育期（1956年以前） 在人工智能诞生之前，一些著名的科学家就已经创立了数理逻辑、自动机理论、控制论和信息论，并发明了通用电子数字计算机。这些为人工智能的产生准备了必要的思想、理论和物质技术条件。 亚里斯多德：演绎法； 培根：归纳法； 莱布尼茨：把形式逻辑符号化，使得人们可以对思维进行运算和推理，奠定了数理逻辑的基础。 帕斯卡：制造了第一台加法器。 巴贝奇：发明了差分机和分析机； 布尔：布尔代数； 图灵：自动机理论； 冯?诺依曼：存储程序的概念； 莫克利和埃克特：第一台通用电子计算机，为机器智能的研究与实现提供了物质基础。 维纳：控制论；信息论：香农； 克洛奇和皮兹：第一个神经网络模型（MP模型）。 Song YT * 计算机的诞生 1943年，36岁的物理学家莫克利和24岁的工程师埃克特合写的关于制造电子计算的报告，由陆军军械部派出的联络官格尔斯坦中尉提交到了军械部召开的一次专家会议上。当时，军械部的科学顾问、著名的数学家维伯伦仰靠在座椅上沉思片刻，突然站起身来，对试炮厂导弹实验室的负责人西蒙上校大声说：“西蒙，给他这笔经费。”随即离开了会议室。 经过三年的努力，1946年，一台名叫“埃尼亚克”的电子计算机正式诞生了。从此，就有了电子计算机的历史，而“埃尼亚克”也作为一座丰碑载入了电子计算机的发展史。后来，经美籍匈牙利科学家、后来被誉为“电子计算机之父”的冯.诺伊曼教授的改进，奠定了今天的计算机科学的基础。 Song YT * 人工智能的产生与发展——形成期（1956-1970） 1956年，麦卡斯正式采用了“人工智能”这一术语。形成了三个研究小组：心理学小组、IBM工程课题研究小组、MIT小组。 心理学小组：1957年，纽厄尔等人的心理学小组研制了一个称为逻辑理论机的数学定理证明程序(LT)。开创了用机器研究人类思维活动规律的工作。 IBM工程课题小组：1956年，塞缪尔研制成功了一个具有自学习、自组织和自适应能力的西洋跳棋程序。主要贡献在于发现了启发式有哪些信誉好的足球投注网站是表现智能行为的最基本机制。 MIT小组：1958年，麦卡斯建立了行动规划咨询系统；1960年，麦卡斯又研制了人工智能语言LISP；1961年，明斯基发表了“走向人工智能的步骤”的论文。 其它方面：1965年，鲁宾逊提出了归结原理；1965年，费根鲍姆成功的研制了第一个专家系统；1969年，成立了国际人工智能联合会议。 Song YT * 人工智能的产生与发展—知识应用期（1971-80年代末) 人工智能在经过形成期的快速发展之后，很快遇到了许多困难，遭受到很大的挫折。 在博弈方面，塞缪尔的下棋程序与世界冠军对弈，5局败了4局。 在定理证明方面，发现归结原理能力有限，一个简单的问题推了数万步还未推出。 在问题求解方面，处理结构不良的问题时，会产生组合爆炸。 在机器翻译方面，闹出了许多笑话。 在神经心理学方面，研究发现人脑的神经元多达1011，在现有技术条件下用机器从结构上模拟人脑是根本不可能的。