文档介绍：计算智能化与机器智能
第一页，共21页
计算智能化需求
十八世纪的工业革命使人类在体力上得到了解放，繁重的体力工作由机器完成不仅提高了工作效率还使人们有更多的时间来从事创造性的工作，极大地促进了人类社会的进步和经济的发展。然而，如何使机器具有人类的智能，从而让人类从脑力劳动中解放出来是人类追求的更高目标。
第二页，共21页
机器智能的研究
第三页，共21页
人工智能的提出
什么是智能？智能的本质是什么？被列为自然界的四大奥秘之一（物质的本质、宇宙的起源、生命的本质、智能的发生）。
1950年，图灵在《Mind》杂志上发表的文章“计算机与智能”（Computing Machinery and Intelligence）开启了人类对机器智能研究的新时代。
1956年夏天，在达特茅斯（Dartmouth）大学举办的一个长达2个月的研讨会。与会者认真讨论了用机器模拟人类智能的问题，会上首次提出了“人工智能”这一术语。这次会议成为人类历史上第一次人工智能会议，标志着人工智能学科的诞生。
第四页，共21页
人工智能即是用人工的方法在机器上实现的人类智能，它是一种人造智能。
人工智能学科是一门研究如何构造智能机器（智能计算机）或智能系统，使其能模拟、延伸、扩展人类智能的学科。
现代的计算机系统在一定的程度上对人类的智能进行了模拟、延伸和扩展。
例子
计算速度
存储能力
机械手
……
人工智能的提出
第五页，共21页
孕育期（1956年以前）
亚里斯多德：《工具论》
布尔：《思维法则》
图灵：图灵机
麦克洛奇，匹兹：第一个神经网络模型
1946年：第一台数字计算机
图灵：“机器能思维吗？”
控制论，信息论
形成期（1956~1969）
1956：达特茅斯研讨会
塞缪尔：第一个跳棋程序
王浩：证明了《数学原理》中有关命题演算的全部定理（220个），谓词演算的150条定理。
鲁宾逊：消解原理，奎莱安：基于语义网络
麦卡锡：人工智能语言LISP
1969年：国际人工智能联合会议
人工智能的发展历史
第六页，共21页
发展期（1969年以后）
1970年《International Journal of AI》正式出版，International Joint Conferences on Artificial Intelligence每两年举行一次。
1972年Winograd发表了自然语言理解系统SHRDLV。
1973年Schank提出知识表示的概念从属方法，1974年Minsky提出框架表示法。
1972年柯麦瑞尔（Comerauer）提出并实现了逻辑程序设计语言Prolog。
1972年肖特里菲等人开始研制用于诊断和治疗感染性疾病的专家系统MYCIN。
1977年，费根鲍姆提出了“知识工程”的概念。
1976年6月，哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿次判断，完成了四色定理的证明，从而解决了一个历时100多年的数学难题。
1981年日本宣布了第五代计算机发展计划，掀起了人工智能研究的又一个高潮。
20世纪80年代，专家系统获得了成功的应用。
20世纪80年代，神经网络研究复苏。
1997年5月11日， “深蓝” 在六局比赛中以3 . 5比2 . 5的总比分战胜了世界象棋冠军盖利·卡斯帕洛夫(Garry Kasparov)。
人工智能的发展历史
第七页，共21页
ACM 图灵奖获得者分类(1966--2005)
总共获奖人数(1966--2005)：40届，50人。
人工智能（4项6人）
Marvin Lee Minsky (1969) -- 神经元网络
John McCarthy (1971) -- LISP
Allen Newell，Herbert Simon (1975) -- Logic Theory Machine
Raj Reddy，Edward Feigenbaum(1994) -- 专家系统
人工智能的发展历史
第八页，共21页
什么样的机器或系统是有智能
1950年，图灵在他的论文《计算机与智能》中给出了描述，被称为“图灵测试”。图灵认为“如果机器在某些现实的条件下，能够非常好地模仿人回答问题，以至提问者在相当长时间里误认它不是机器，那么机器就可以被认为是能够思维的”。这样的机器也被认为是有智能的，且智能的水平和测试者相当。
智能测试
第九页，共21页
第十页，共21页