人工智能控制2 第0篇 章 绪论 研究生现代控制工程教案 人工智能控制 .pptVIP

中国人工智能发展简况 中国学者是人工智能的研究中的重要力量，对人工智能的发展作出了巨大的贡献，取得了举世瞩目的成就。 在国外，中国学者活跃在几乎所有的人工智能的研究组织机构或团队中，直接对人工智能的发展作出了巨大的贡献。 1977年，涂序彦和郭荣江在《自动化》第1期上发表了国内首篇关于AI的论文“智能控制及其应用”，拉开了中国人工智能研究的序幕。 20世纪80年代，各种人工智能学术团体纷纷成立 中国人工智能学术团体 1980年4月，以常迥教授为首的中国自动化学会模式识别与机器智能专业委员会在武汉成立。 1980年8月，以王湘浩教授为首的全国高校人工智能研究会在长春成立(吉林大学)。 1981年9月，以秦元勋教授为首的全国高校人工智能学会在长沙成立。 1982年4月，以王湘浩教授为首的中国计算机学会人工智能学组在杭州成立。并于1986年11月升格为人工智能与模式识别专业委员会。 1986年5月，以何志均教授为首的中国软件行业人工智能协会在北京成立。 1987年6月，以陆汝钤教授为首的中国计算机学会软件专业委员会智能软件学组在北京成立。 1987年，国家高技术智能计算机系统专家组在北京成立。 吴文俊的数学机械化领域 70年代后期又开创了崭新的数学机械化领域。 在中国数学史、代数几何学以及与对策论领域也有系列独创性成果，做出了杰出贡献。这些成果不仅对数学研究影响深远，还在许多高科技领域得到应用。 代数消元法。1984年，“全美定理机器学术会议”在丹佛近郊的格里美大学城召开，这是个不大不小的会议，与会者100余人，全是国际数学自动推理领域的精英。他提交了一篇“用吴方法证明几何定理”的论文，同时在现场用电脑演示，短短的十几分钟证明了几百条几何定理，整个会场顿时哗然。这真是不可思议迄今为止所有的几何定理机器证明都是沿袭泰斯坦或希尔伯特的路线进行的，而这个年轻人却另辟蹊径，用所谓的吴方法——代数消元法自成体系。 张景中的机器证明的研究 1985年进行机器证明的研究，与合作者创立了计算机生成几何定理和读证明的原理与算法，使这一人工智能领域30多 年来进展缓慢的重要问题有了突破性的进展，在国际上取得了公认的领先地位。 1982年以来，发表学术论著150多篇/册。专著《几何定理机器证明理论与算法新进展》于1995年获中科院自然科学奖一等奖，1997年获国家自然科学奖二等奖。 计算机科学系人工智能课程组 凌应标制作 @2006年8月 第0章 绪论 内容提要 0.1 什么是人工智能 0.2 图灵测试 0.3 中文屋子问题 0.4 人工智能的研究目标 0.5 人工智能的发展简史 0.6 人工智能的研究领域 0.1 什么是人工智能AI 人类智能 早期的AI 创立AI学科 争论和问题 人类智能 人类在认识世界和改造世界的活动中表现出来的能力 直觉思维——通过视觉、听觉、触觉等 感官活动，接受并理解文字、图象、声音和语言等各种外界信息，即认识和理解外界环境的能力。 理性思维——通过人脑的生理和心理活动以及有关的信息处理过程，将感性知识抽象为理性知识，并能对事物运行的规律进行分析、判断和推理，这就是提出概念、建立方法，进行演绎和归纳推理、作出决策。 学习能力——通过教育、训练和学习过程，日益丰富自身的知识和技能。 适应能力——对不断变化的外界环境能灵活地作出适当的反应。 早期的AI 传说与幻想 900 B.C 中国古代的歌舞机器人； 850 B.C 古希腊的会劳动的机器人； 12-13世纪 西班牙的神学家试图制造能解决各种问题的通用逻辑机； 尝试与成果 17世纪 法国物理学家B.Pascal制成的机械加法器；在其基础上，德国数学家Leibniz制成了四则运算的计算器。 1920年 Karel Capek的科幻剧中的机器人Roborta； 1936年 英国数学家Turning提出了图灵机模型； 1938年 德国工程师Zuse研制成了第一台累计数字计算机； 1946年 美国诞生了第一台电子数字计算机ENIAC； 创立AI学科 历史性聚会 时间 1956年夏季 地点 美国Dartmouth大学 人物：多位学术大师共同发起人。 J.McCarthy 现任斯坦福大学教授—人工智能之父； M.L.Minsky 现任麻省理工学院教授； N.Lochester 时任IBM公司信息研究中心负责人； C.E.Shannoon 时任贝尔实验室信息部数学研究员； 以及应邀学者T.Moore, A.L.Samuel, O.Selfridge, R.Solomonff, A.Newell, H.A. Simon等等. 人工智能的研究途径 人类智能是涉及信息描述和信息处理的复杂过程，因而实现人工智能是一项艰巨的任务。 人工智能是多种学科互