人工智能与知识产业.ppt

人工智能和知识产业 陆汝钤 中国科学院数学与系统科学研究院 John McCarth y (约翰麦卡锡) (1927—) 1971年获图灵奖 1956年创立 “人工智能”概 念 人工智能诞生初期的迅猛发展 第一个下棋程序 第一个定理证明程序 第一个不定积分程序 第一个模式识别程序 第一个机器翻译程序 争议和质疑 人工智能研究为什么进展缓慢? 当初允诺的目标为何没有实现? ■需要多长时间才能够真正实现人工智能? ■人工智能有可能实现吗? 人工智能是一个永远长不大的孩子吗? 进一步的争议和质疑 什么是智能? 什么是人工智能? 人工智能是一门科学还是一种技术? 什么是通向人工智能实现的最佳之路? ■机器会比人更聪明吗? 聪明的机器有一天会统治人类吗? 进一步的争议和质疑 什么是智能? 什么是人工智能? 人工智能是一门科学还是一种技术? 什么是通向人工智能实现的最住之路? ■机器会比人更聪明吗? 聪明的机器有一天会统治人类吗? 1.符号智能 ■用符号推理模拟人类思维过程 主要纲领:物理符号系统假设 标志性成果 符号定理证明器 符号处理语 Alan Newell(阿兰奈伟尔) Herbert simon〔赫伯特西蒙) 1927-1992 1920-2001 物理符号系统假设: 一个物理符号系统具备了智能行 为所需的充分和必要的条件 图灵奖获奖演说-1975 12计算智能 通过海量计算实现人工智能 ■主要纲领:恰当的计算模型能带来智能 ■标志性成果: 遗传算法 --经网络 --软计算 Confident, but concerned Deep blue bytes back! 卡斯帕罗夫负于深蓝,25:3.5