ch0绪论方案研究.ppt

四色定理的证明 四色定理 从1852年发现四色问题，世界上很多著名的科学家试图证明，但一直未能完成。 1976年6月，哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿次判断，终于完成了四色定理的证明，从而解决了一个历时100多年的问题，轰动了世界。 人工智能发展简史（自学之） 萌芽时期（1956年以前） 形成时期（1956-1961年） 发展时期（1961年以后） 萌芽时期（1956年以前） 850 B.C 古希腊的会劳动的机器人； 900 B.C 中国古代的歌舞机器人； 12-13世纪 西班牙的神学家试图制造能解决各种问题 的通用逻辑机； 17世纪 法国物理学家B.Pascal制成的机械加法器；在其基础上，德国数学家Leibniz制成了四则运算的计算器。 1920年 Karel Capek的科幻剧中的机器人Roborta； 1936年 英国数学家Turning提出了图灵机模型； 1938年 德国工程师Zuse研制成了第一台累计数字计算机； 1946年 美国诞生了第一台电子数字计算机ENIAC； 明德至诚、博学远志 福州大学软件学院 形成时期（1956-1961年） 1956年，在美国Dartmouth大学的一次历史性聚会是人工智能学科正式诞生的标志。 有三个较有影响的研究团队。 A.Newell、J.Shaw和H.Simon： 1957年，逻辑理论机LT， 1960年，通用问题求解器GPS，编程的表处理技术和NSS国际象棋机。 IBM研究小组：A.Samuel西洋跳棋程序， 1962年，战胜了美国的一个州冠军。 MIT研究小组：1959年，McCarthy发明了人工智能主要的语言：LISP。1958年开发了的行动计划咨询系统。1960年Minsky的论文：走向人工智能的步骤。 其他：1956年N.Chomsky的文法体系、1958年Shelffridge的模式识别系统 发展时期（1961年以后） 符号主义学派方面 归结原理推动了定理证明技术的发展。专家系统和知识工程技术已应用到各种计算机应用系统中，出现了智能管理信息系统、智能决策支持系统、智能控制系统、智能CAD系统、智能CAI系统、智能数据库系统和智能多媒体系统等等。知识表示、不确定性推理、机器学习等方面都取得了重大的进展。 连结主义学派方面 神经网络在智能控制、语言识别与合成、图形文字识别、数据压缩、知识工程、最优化问题求解和智能计算机等领域进行了实践并取得了一系列的成果 行为主义学派方面 Brooks等人的六脚行走机器人，是一种基于感知-动作模式的模拟昆虫行为的控制系统。 低潮发展期（1966~1976） 1958年Newell和Simon的预言 AI处在低潮和反对的声浪之中 这个时期AI获得了总结和提高 新一轮的高潮发展期（1977~1988） “知识就是力量”——1977年斯坦福大学在第五届人工智能大会上展示的专家系统ES。 20世纪80年代，日本批准了第五代计算机KIPS (知识信息处理系统)的十年研究计划 多学科共同发展时期（问题的求解、逻辑推理与定理的证明、自然语言的理解、博弈、自动程序设计、专家系统、机器学习、机器人……） 高潮迭起的发展时期（1989~2000） AI发展的里程碑——ANN 机器学习、遗传算法、web智能、机器人技术等 21世纪——AI发展的新时代 21世纪是智能科学、生命科学及其信息集成并融合应用的时代、作为现代信息技术的精髓，人工智能技术自然成为新世纪科学技术的前沿和焦点。 本课程的体系结构 有哪些信誉好的足球投注网站问题 博弈 逻辑推理 知识表示（自学） 机器学习（决策树、神经网络） 高级有哪些信誉好的足球投注网站（局部有哪些信誉好的足球投注网站、模拟退火、遗传算法、蚁群算法） 小结 什么是人工智能 人工智能的研究目标 人工智能的应用 人工智能的发展历程 课程的体系结构 LOGO 人工智能导论 ——绪论 福州大学软件学院 一、课程的性质，内容 人工智能是一门涉及面较宽的综合性学科，与数学、计算机科学、思维科学、神经生理学、心理学等多种学科都有密切的联系，需要多方面的知识。人工智能是一门不断有新理论、新思想涌现的前沿性学科。　　 通过学习掌握人工智能的基本理论知识、了解人工智能各个领域内容及其发展状况；掌握各种有哪些信誉好的足球投注网站、推理策略和方法；人工智能的知识表示方法；了解并掌握智能计算主要观点与算法；掌握机器学习概念及其算法、了解数据挖掘的基本概念和内容。 参考书与课时安排 《人工智能》丁世飞编著，清华大学出版社 《人工智能基础教程，（第二版）》朱福喜编著，清华大学出版社 《人工智能－复杂问题求解的结构和策略》（第6版）　Geo