1、 计算机科学的重要分支计算机科学的重要分支 计算机科学与技术专业的核心课程之一、也是自动化、电计算机科学与技术专业的核心课程之一、也是自动化、电子信息工程等专业的选修课程子信息工程等专业的选修课程 如何用计算机来模拟人类智能,即如何用计算机实现诸如如何用计算机来模拟人类智能,即如何用计算机实现诸如问题求解、规划推理、模式识别、知识工程、自然语言处问题求解、规划推理、模式识别、知识工程、自然语言处理、机器学习等只有人类才具备的理、机器学习等只有人类才具备的智能智能,使得计算机更,使得计算机更好得为人类服务。好得为人类服务。课程简介课程简介考试考试笔试笔试开卷开卷Outline主要参考书目主要参考
2、书目AI的定义的定义 AI的基础及萌芽的基础及萌芽AI的创立及发展的创立及发展 AI与人类智能与人类智能AI的研究流派的研究流派AI的研究范围的研究范围AI对人类的影响对人类的影响AI在中国在中国AI领域的著名期刊及会议领域的著名期刊及会议 Stuart Russell,Peter Norvig.“Artificial Intelligence:A Modern Approach”.Pearson Education,2002.中译本:中译本:人工智能人工智能一种现代方法一种现代方法(第二版第二版),姜哲姜哲 等译等译,人民邮电出版社人民邮电出版社,2004,2004 蔡自兴,徐光佑蔡自兴,徐
3、光佑.人工智能及其应用人工智能及其应用(第三版第三版).).北京:北京:清华大学出版社,清华大学出版社,2004.2004.陆汝钤陆汝钤.人工智能人工智能(上、下册上、下册).).科学出版社,科学出版社,2000.2000.史忠植史忠植.高级人工智能高级人工智能(第二版第二版).).科学出版社科学出版社,2006.,2006.Outline主要参考书目主要参考书目AI的定义的定义 AI的基础及萌芽的基础及萌芽AI的创立及发展的创立及发展 AI与人类智能与人类智能AI的研究流派的研究流派AI的研究范围的研究范围AI对人类的影响对人类的影响AI在中国在中国AI领域的著名期刊及会议领域的著名期刊及会
4、议 定义定义1 智能机器智能机器能够在各类环境中自主地或交互地执行各种拟人任务能够在各类环境中自主地或交互地执行各种拟人任务(anthropomorphic tasks)的机器。的机器。定义定义2 人工智能人工智能(学科学科)计算机科学中涉及研究、设计和应用智能机器的一个分支。计算机科学中涉及研究、设计和应用智能机器的一个分支。近期主要目标在于研究用机器来模仿和执行人脑的某些智力功近期主要目标在于研究用机器来模仿和执行人脑的某些智力功能,并开发相关理论和技术。能,并开发相关理论和技术。定义定义3 人工智能人工智能(能力能力)智能机器所执行的通常与人类智能有关的智能行为,如判智能机器所执行的通常
5、与人类智能有关的智能行为,如判断、推理、证明、识别、感知、理解、通信、设计、思考、规断、推理、证明、识别、感知、理解、通信、设计、思考、规划、学习和问题求解等思维活动。划、学习和问题求解等思维活动。定义定义4 一种使计算机能够思维,使机器具有智力的激动人一种使计算机能够思维,使机器具有智力的激动人心的新尝试(心的新尝试(Haugeland,1985)。)。定义定义5 那些与人的思维、决策、问题求解和学习等有关活那些与人的思维、决策、问题求解和学习等有关活动的自动化(动的自动化(Bellman,1978)。)。定义定义6 用计算模型研究智力行为用计算模型研究智力行为(Charniak和和McDe
6、rmott,1985)。)。定义定义7 研究那些使理解、推理和行为成为可能的计算研究那些使理解、推理和行为成为可能的计算(Winston,1992)。)。定义定义4和和5涉及拟人思维涉及拟人思维定义定义6和和7与理性思维有关与理性思维有关定义定义8 一种能够执行需要人的智能的创造性机器的技术一种能够执行需要人的智能的创造性机器的技术(Kurzwell,1990)。)。定义定义9 研究如何使计算机做事让人过得更好(研究如何使计算机做事让人过得更好(Rick和和Knight,1991)。)。定义定义10 一门通过计算过程力图理解和模仿智能行为的学一门通过计算过程力图理解和模仿智能行为的学科(科(S
7、chalkoff,1990)。)。定义定义11 计算机科学中与智能行为的自动化有关的一个分支计算机科学中与智能行为的自动化有关的一个分支(Luger和和Stubblefield,1993)。)。定义定义8和和9涉及拟人行为涉及拟人行为定义定义10和和11与学科范围有关与学科范围有关Outline主要参考书目主要参考书目AI的定义的定义 AI的基础及萌芽的基础及萌芽AI的创立及发展的创立及发展 AI与人类智能与人类智能AI的研究流派的研究流派AI的研究范围的研究范围AI对人类的影响对人类的影响AI在中国在中国AI领域的著名期刊及会议领域的著名期刊及会议 l哲学(哲学(428 B.C.现在)现在)
8、意识、思维的理性部分的形式化 l数学(数学(800 现在)现在)逻辑、计算、概率 l经济学(经济学(1776 现在)现在)决策、博弈、运筹学 l神经科学(神经科学(1861 现在)现在)简单细胞的集合能够导致思维、意识和行动1.AI的基础的基础l 心理学心理学(1879现在现在)认知心理学认知心理学:大脑当作信息处理装置 实验心理学实验心理学:1879年Wundt在莱比锡大学首创l 控制论控制论(1948现在现在):1948年年Vienerl 语言学语言学(1957现在现在):Shinner,乔姆斯基理论,乔姆斯基理论l 计算机工程计算机工程(1940-现在现在)电动机械式计算机电动机械式计算
9、机Heath Robinson:1940年图灵研究组,用于破译德军情报 真空电子管通用机器真空电子管通用机器Colossus:1943年图灵研究组 可编程计算机可编程计算机Z-3:1941年德国的Konrad Zuse 2.AI的萌芽的萌芽古希腊伟大的哲学家、思想家,古希腊伟大的哲学家、思想家,Plato(柏拉图)的学生(柏拉图)的学生代表作代表作工具论工具论对对AI的主要贡献:的主要贡献:为形式逻辑奠定了基础,而形式逻辑是一切推理活动的最基本的出发点。Aristotle(亚里士多德亚里士多德)(公元前384322)Aristotle对对AI的主要贡献的主要贡献(续续)“三段论三段论”以真言判
10、断为其前提的一种以真言判断为其前提的一种演绎演绎推理,借助于一个共同项,把推理,借助于一个共同项,把两个直言判断联系起来,而得出结论。两个直言判断联系起来,而得出结论。例如:一切金属都是能够熔解的;铁是金属;所以,铁是能够熔例如:一切金属都是能够熔解的;铁是金属;所以,铁是能够熔解的。解的。“演绎法演绎法”“模态逻辑模态逻辑”【说明说明】:古希腊文化是人类民主、科学的启蒙,对整个人类做:古希腊文化是人类民主、科学的启蒙,对整个人类做出了十分巨大的贡献!出了十分巨大的贡献!英国哲学家、自然科学家英国哲学家、自然科学家著名口号:著名口号:“知识就是力量知识就是力量”代表作:代表作:新工具新工具对对
11、AI的主要贡献:的主要贡献:系统地提出了“法”,成为和Aristotle演绎法相辅相成的思维法则。20世纪世纪70年代末,年代末,Stanford大学大学Feigenbaum提出专家系统时,以提出专家系统时,以Bacon的口号为重要依据。的口号为重要依据。Bacon(培根)(培根)(15611626)德国数学家、哲学家德国数学家、哲学家 对对AI的主要贡献:的主要贡献:关于“”的思想,把形式逻辑符号化,从而能对人的思维进行运算和推理。提出的计划:提出的计划:建立一种通用的符号语言,以及一种在此基础上进行推理的演算。Leibnitz(莱布尼茨莱布尼茨)(16461716)美籍奥地利数理逻辑学家美
12、籍奥地利数理逻辑学家 对对AI的主要贡献:的主要贡献:研究数理逻辑中的一些根本性问题,即“形式系统的完备性和可判定性”。1930年证明:一阶谓词演算的完备性年证明:一阶谓词演算的完备性定理。定理。1931年证明了两条不完备性定理:年证明了两条不完备性定理:提出人的思维形式化和机械化的某些极限,在理论上证明了有些事情是做不到的。Godel(哥德尔哥德尔)(19061978)英国数学家英国数学家 1936年提出一种理想计算机的数学模年提出一种理想计算机的数学模型型“图灵机图灵机”。对对AI的主要贡献:的主要贡献:1950年提出著名的年提出著名的“图灵实验图灵实验”。给出智能标准的明确定义:给出智能
13、标准的明确定义:把人和计算机分处两个不同的房间,并且互相对话,如果作为人的一方不能判断对方是人还是计算机,则那台计算机就达到了人的智能。Turing(图灵图灵)(19121954)1946年研制成功世界上第一台电子计年研制成功世界上第一台电子计算机算机“ENIAC”对对AI的主要贡献:为人工智能研究奠的主要贡献:为人工智能研究奠定了物质基础定了物质基础 John Von Nouma(约翰约翰冯冯诺依曼诺依曼)(19031957)W.S.Mcculloch(麦克洛奇麦克洛奇)&W.Pitts(皮兹皮兹)1943年,结合了神经生理学和数理逻辑的研究,提出了年,结合了神经生理学和数理逻辑的研究,提出
14、了M-P神经网络模型。神经网络模型。1943年建立第一个年建立第一个“神经网络数学模型神经网络数学模型”开创微观开创微观AI 通过模拟人脑来实现智能通过模拟人脑来实现智能 美国数学家美国数学家 1948年创立年创立“信息论信息论”对对AI的主要贡献:的主要贡献:信息论认为人的心理活动可通过信息的形式加以研究,并提出了描述人的心理活动的数学模型。信息论和心理学的结合构成了当代信息论和心理学的结合构成了当代AI研研究的一个重要潮流究的一个重要潮流宏观人工智能研宏观人工智能研究究克劳德克劳德香农香农(Claude Elwood Shannon1916-2001)信息论是运用概率论与数理统计的方法研信
15、息论是运用概率论与数理统计的方法研究信息、信息熵、通信系统、数据传输、究信息、信息熵、通信系统、数据传输、密码学、数据压缩等问题的应用数学学科。密码学、数据压缩等问题的应用数学学科。Outline主要参考书目主要参考书目AI的定义的定义 AI的基础及萌芽的基础及萌芽AI的创立及发展的创立及发展 AI与人类智能与人类智能AI的研究流派的研究流派AI的研究范围的研究范围AI对人类的影响对人类的影响AI在中国在中国AI领域的著名期刊及会议领域的著名期刊及会议 美国的人工智能之父麦卡锡美国的人工智能之父麦卡锡 John McCarthy(麦卡锡)(麦卡锡)1971年图灵奖获得者。年图灵奖获得者。192
16、7年年9月出生于美国波士顿。月出生于美国波士顿。1948年年 加州理工大学获数学学士学位。加州理工大学获数学学士学位。1951年年 普林斯顿获数学博士学位。普林斯顿获数学博士学位。曾供职于普林斯顿,斯坦福曾供职于普林斯顿,斯坦福,Dartmouth 和和MIT。1962年,加入斯坦福大学,并创建了斯坦福人工智能实验室,年,加入斯坦福大学,并创建了斯坦福人工智能实验室,工作直到工作直到2000年退休。年退休。l1956年夏天年夏天lBoston,Dartmouth(达特茅斯达特茅斯)学院学院lMcCarthy召集召集l与会人员与会人员数学家数学家McCarthy信息学家信息学家Shannon心理
17、学家心理学家和和神经生理学家神经生理学家Lochester(IBM信息研究中心负责人),Moore(IBM),Solomonff(MIT)计算机科学家计算机科学家Simon,Newell,Samuel,Minsky(哈佛),Selfridge(MIT)。1.AI的诞生的诞生 McCarthy在此次会议上提议正式使用:在此次会议上提议正式使用:Artificial Intelligence(简称(简称AI),),标志着标志着“人工智能人工智能”作为一门作为一门独独立学科立学科正式诞生。正式诞生。2.AI曲折的发展历程曲折的发展历程早期的热情、巨大的期望(早期的热情、巨大的期望(1952-1969
18、)现实的困境(现实的困境(1966-1973)基于知识的系统:力量的钥匙?基于知识的系统:力量的钥匙?(1969 1979)AI成为工业成为工业 (1980 现在现在)神经网络的回归神经网络的回归 (1986 现在现在)AI 成为科学成为科学(1987 现在现在)Intelligent Agent的出现的出现 (1995 现在现在)第一阶段:早期的热情、巨大的期望第一阶段:早期的热情、巨大的期望 (19521969)自然语言的机器翻译自然语言的机器翻译 1953年,美国乔治大学,年,美国乔治大学,1954年年IBM公司在公司在701计算机上做俄译英的公开表计算机上做俄译英的公开表演。此时,前苏
19、联、中国也开展机器翻译的研究。演。此时,前苏联、中国也开展机器翻译的研究。利用计算机证明数学定理利用计算机证明数学定理 1956年,年,Newell和和Simon,用程序,用程序Logic Theorist证明证明数学原理数学原理第二章第二章中的中的38条定理,条定理,1963年证明全部年证明全部52条定理。条定理。(人工智能的真正开端)(人工智能的真正开端)1956年,年,Samuel研制了第一个跳棋程序研制了第一个跳棋程序 具有学习功能,打败一个州冠军。具有学习功能,打败一个州冠军。1956年,年,Selfridge研制第一个字符识别程序。研制第一个字符识别程序。1959年,提出年,提出功
20、能更强的功能更强的模式识别模式识别。1957年,年,Newell,Shaw和和Simon研究不依赖研究不依赖具体领域的通具体领域的通用解题程序用解题程序GPS(General Problem Solving)1965年,年,Robinson提出消解法(即归结原理)提出消解法(即归结原理),掀起研究,掀起研究计算机定理证明的又一次高潮。计算机定理证明的又一次高潮。Newell,Simon等人过于乐观等人过于乐观 不出10年,计算机将成为世界象棋冠军世界象棋冠军。不出10年,计算机将发现和证明重要的数学定理发现和证明重要的数学定理。不出10年,计算机将能谱写具有优秀作曲家水平的乐曲谱写具有优秀作曲
21、家水平的乐曲。不出10年,大多数心理学理论将在计算机上形成心理学理论将在计算机上形成。有人甚至断言,20世纪世纪80年代将全面实现年代将全面实现AI,2000年机年机器智能超过人。器智能超过人。第二阶段:现实的困境第二阶段:现实的困境(19661973)消解法(归结原理)能力有限消解法(归结原理)能力有限 例如:证明两个连续函数之和仍是连续函数,推了10万步还没有推出。Sauel的下棋程序,1965年,世界冠军世界冠军Helmann获得四连胜获得四连胜。机器翻译闹出不少笑话机器翻译闹出不少笑话 有人挖苦说,美国花了2000万美元为机器翻译机器翻译立了一块“墓碑墓碑”。机器翻译闹出的笑话举例:机
22、器翻译闹出的笑话举例:“The spirit is willing but the flesh is weak”“心有余而力不足心有余而力不足”机器翻译过程:英语英语 俄语俄语 英语英语结果被译为:“The vodka is good but the meat is spoiled”“伏特加是好的,肉变质了伏特加是好的,肉变质了”。“Out of sight,out of mind”“眼不见心不烦眼不见心不烦”将其翻译成俄语,“又瞎又疯又瞎又疯”。从神经生理学角度研究从神经生理学角度研究AI,存在不可逾越的困难。人脑有,存在不可逾越的困难。人脑有1010以上个神经元,能否将以上个神经元,能否将
23、1010个机器组成一个联合运行个机器组成一个联合运行的网络?的网络?1973年,英国发表了年,英国发表了Lighthill report,认为,认为AI的研究即使的研究即使不是骗局,至少也是庸人自扰。终止了英国的不是骗局,至少也是庸人自扰。终止了英国的AI研究。研究。IBM公司也取消了本公司范围内的公司也取消了本公司范围内的AI研究活动。研究活动。第三阶段第三阶段 KBS:力量的钥匙力量的钥匙?(1969-1979)Newell,Simon等老一辈AI专家,关心的是“通用的、万能的通用的、万能的符号逻辑运算体系符号逻辑运算体系”物理符号系统假设物理符号系统假设。Nilsson更进一步提出,物理
24、符号体系的核心方法是逻辑演绎逻辑演绎方法方法。他的口号“命题主义命题主义”,主张一切AI研究应在一个类似逻辑的形式框架内进行。1968年,Stanford年轻教授Feigenbaum主持的专家系统DENDRAL问世,开创了AI的一个重要应用领域,以知识为以知识为基础的专家咨询系统(基础的专家咨询系统(KBS)。)。1994年度图灵奖得主。年度图灵奖得主。1965年世界上第一个专家系统程序年世界上第一个专家系统程序 DENDRAL。DENDRAL中保存着化学家的知识和质谱仪的知识,可以中保存着化学家的知识和质谱仪的知识,可以 根据给定的有机化合物的分子式和质谱图,从几千种可能根据给定的有机化合物
25、的分子式和质谱图,从几千种可能的分的分 子结构中挑选出一个正确的分子结构。子结构中挑选出一个正确的分子结构。验证了费根鲍姆验证了费根鲍姆 关于知识工程的理论的正确性关于知识工程的理论的正确性 为专家系统软件的发展和应为专家系统软件的发展和应 用开辟了道路,逐渐形成具有用开辟了道路,逐渐形成具有相当规模的市场,其应用遍及各个相当规模的市场,其应用遍及各个 领域、各个部门。领域、各个部门。爱德华爱德华费根鲍姆费根鲍姆(Edward Albert Feigenbaum)人工智能研人工智能研 究的一个历史性突破。究的一个历史性突破。医学专家系统:医学专家系统:MYCIN。名言:名言:“知识中蕴藏着力知
26、识中蕴藏着力 量量”(“In the Knowledge lies the power”)。于培根的名言。于培根的名言知识就是力量知识就是力量 意义相近,但更意义相近,但更确切:知识只有被人所发掘和掌握时,才确切:知识只有被人所发掘和掌握时,才 能生成力量。能生成力量。1963年年 Computers and Thought世界上第一本有关人世界上第一本有关人工智能的经典性专著。工智能的经典性专著。80年代年代The Handbook of Artificial Intelligence内容涵内容涵盖人工智能的理盖人工智能的理 论与实践的方方面面,是从事人工智能研论与实践的方方面面,是从事人工
27、智能研究和开发的工程技术究和开发的工程技术 人员必备的参考书。人员必备的参考书。Feigenbaum及其提出的及其提出的KBS的主要贡献的主要贡献在IJCAI-1977上,Feigenbaum提出知识工程、专家系统及其知识工程、专家系统及其开发工具开发工具Feigenbaum认为,万能的逻辑体系从根本上说是不可能的,万能的逻辑体系从根本上说是不可能的,其最大弱点就是缺乏知识,缺乏人类在几千年的文明史上积其最大弱点就是缺乏知识,缺乏人类在几千年的文明史上积累起来的知识累起来的知识。Feigenbaum的主要贡献:知识工程知识工程是1977-1987AI中最有成就的分支之一在恢复和推进AI的社会形
28、象社会形象方面起了很大作用第四阶段:第四阶段:AI成为工业成为工业(1980 现在现在)专家系统及其开发工具专家系统及其开发工具 1981年,日本的年,日本的“第五代计算机第五代计算机”计划计划 英国的英国的Alvey Report建议恢复投资建议恢复投资AI 提出提出“基于知识的智能系统基于知识的智能系统”(Intelligent Knowledge Based System,IKBS)第五阶段:神经网络的回归第五阶段:神经网络的回归(1986-现在现在)1969年,年,Bryson 提出反向传播算法提出反向传播算法 1982年,年,Hopfield神经元网络神经元网络 (成功的求解了旅行商
29、问题)1986年,年,Rumelhart&McClelland:主编论文集:主编论文集 Parallel Distributed Processing 形成形成“联接主义联接主义”方法,与方法,与“符号主义符号主义”方法形成互补方法形成互补第六阶段第六阶段:AI成为科学(成为科学(1987现在)现在)AI理论应建立在严密的数学基础数学基础上 严格的定理、确凿的实验证据,不靠直觉不靠直觉与现实应用相关与现实应用相关,而不是与玩具样例相关机器学习不应与信息论信息论分离不确定性推理不应与随机模型随机模型分离搜索不应和经典的优化及控制经典的优化及控制分离自动推理不应和形式化方法形式化方法分离在方法论上
30、,AI已成为坚实的科学方法科学方法利用Internet和共享测试数据库及代码,AI系统的重复实重复实验验成为可能第七阶段第七阶段:Intelligent Agent的出现的出现(1995-现在现在)Internet:最重要的Intelligent Agent 环境之一AI 成为搜索引擎、推荐系统、商务智能系统搜索引擎、推荐系统、商务智能系统的基本工具“Agent的观点的观点”:将AI领域目前分离的子领域重新组织为一个有机整体有机整体Russell&Norvig.AI:A Modern ApproachPools et al.1998Nilsson,1998Outline主要参考书目主要参考书目
31、AI的定义的定义 AI的基础及萌芽的基础及萌芽AI的创立及发展的创立及发展 AI与人类智能与人类智能AI的研究流派的研究流派AI的研究范围的研究范围AI对人类的影响对人类的影响AI在中国在中国AI领域的著名期刊及会议领域的著名期刊及会议 1、人类认知过程、人类认知过程 探求高层次思维决策与初级信息处理的关系探求高层次思维决策与初级信息处理的关系 用计算机程序模拟人的思维策略水平,用计算机程序模拟人的思维策略水平,用计算机语言模拟人的初级信息处理过程。用计算机语言模拟人的初级信息处理过程。研究认知过程的主要任务研究认知过程的主要任务2、智能信息处理系统的假设、智能信息处理系统的假设信息处理系统:
32、信息处理系统:符号操作系统符号操作系统(Symbol Operation System)物理符号系统物理符号系统(Physical Symbol System)。符号:模式符号:模式(pattern)。(1)输入符号输入符号(input)(2)输出符号输出符号(output)(3)存储符号存储符号(store)(4)复制符号复制符号(copy)(5)建立符号结构建立符号结构通过找出各符号间的关系,在符号系统中形成符号结构通过找出各符号间的关系,在符号系统中形成符号结构(6)条件性迁移条件性迁移(conditional transfer)根据已有符号,继续完成活动过程。根据已有符号,继续完成活动
33、过程。一个完善的符号系统应具有一个完善的符号系统应具有6种基本功能:种基本功能:如果一个物理符号系统具有上述全部如果一个物理符号系统具有上述全部6种功能,能够完成这种功能,能够完成这个全过程,那么它就是一个完整的物理符号系统。个全过程,那么它就是一个完整的物理符号系统。人具有上述人具有上述6种功能;种功能;现代计算机也具备物理符号系统的这现代计算机也具备物理符号系统的这6种功能。种功能。把人看成一个智能信息处理系统把人看成一个智能信息处理系统 任何一个系统,如果它能表现出智能,那么它就必定能够任何一个系统,如果它能表现出智能,那么它就必定能够执行上述执行上述6种功能。种功能。反之,任何系统如果
34、具有这反之,任何系统如果具有这6种功能,那么它就能够表现出种功能,那么它就能够表现出智能;智能;智能是指人类所具有的智能。智能是指人类所具有的智能。物理符号系统的假设物理符号系统的假设推论推论1 既然人具有智能,那么他既然人具有智能,那么他(她她)就一定是个物理符号系统。就一定是个物理符号系统。推论推论2 既然计算机是一个物理符号系统,它就一定能够表现既然计算机是一个物理符号系统,它就一定能够表现出智能。(人工智能的基本条件)出智能。(人工智能的基本条件)推论推论3 既然人是一个物理符号系统,计算机也是一个物理符既然人是一个物理符号系统,计算机也是一个物理符号系统,那么就能够用计算机来模拟人的
35、活动。号系统,那么就能够用计算机来模拟人的活动。物理符号系统物理符号系统3个推论个推论 认知生理学认知生理学 认知心理学认知心理学 认知信息学认知信息学 认知工程学认知工程学 人类的认知行为具有不同的层次人类的认知行为具有不同的层次 研究认知行为的生理过程研究认知行为的生理过程 研究人的神经系统研究人的神经系统(神经元、中枢神经系统和大脑神经元、中枢神经系统和大脑)的活动的活动 认知科学研究的认知科学研究的底层底层认知生理学认知生理学 研究认知行为的心理活动研究认知行为的心理活动 主要研究人的思维策略主要研究人的思维策略 认知科学研究的认知科学研究的顶层顶层认知心理学认知心理学 研究人的认知行
36、为在人体内的初级信息处理研究人的认知行为在人体内的初级信息处理 主要研究人的认知行为如何通过初级信息自然处理,由生理主要研究人的认知行为如何通过初级信息自然处理,由生理活动变为心理活动及其逆过程,即由心理活动变为生理行为。活动变为心理活动及其逆过程,即由心理活动变为生理行为。认知活动的认知活动的中间层中间层,承上启下。,承上启下。认知信息学认知信息学 研究认知行为的信息加工处理研究认知行为的信息加工处理 主要研究如何通过以计算机为中心的人工信息处理系统,主要研究如何通过以计算机为中心的人工信息处理系统,对人的各种认知行为(如知觉、思维、记忆、语言、学习、对人的各种认知行为(如知觉、思维、记忆、
37、语言、学习、理解、推理、识别等)进行信息处理。理解、推理、识别等)进行信息处理。研究认知科学和认知行为的工具研究认知科学和认知行为的工具 现代认知心理学和现代认知生理学的重要研究手段。现代认知心理学和现代认知生理学的重要研究手段。认知工程学认知工程学 机器智能可以模拟人类智能机器智能可以模拟人类智能 智能计算机的功能智能计算机的功能 下棋、证明定理、翻译语言文字和解决难题等下棋、证明定理、翻译语言文字和解决难题等 神经计算机神经计算机(neural computer)能以类似人类的方式进行能以类似人类的方式进行“思考思考”,力图重建人脑的形象。,力图重建人脑的形象。通过对量子计算通过对量子计算
38、(quantum computing)的研究,产生量子计的研究,产生量子计算机。算机。3、人类智能的计算机模拟、人类智能的计算机模拟 1950年,图灵发表年,图灵发表计算机能思考吗?计算机能思考吗?,给人工智能下,给人工智能下一个定义,而且论证了人工智能的可能性。一个定义,而且论证了人工智能的可能性。如果一台机器能够通过图灵实验,那它是智慧的。如果一台机器能够通过图灵实验,那它是智慧的。图灵实验的本质:让人在不看外型的情况下不能区别是机图灵实验的本质:让人在不看外型的情况下不能区别是机器的行为还是人的行为时,这个机器就是智慧的。器的行为还是人的行为时,这个机器就是智慧的。图灵实验图灵实验 游戏
39、由一男游戏由一男(A)、一女、一女(B)和一名询问者和一名询问者(C)进行;进行;C与与A、B被隔离,通过电传打字机与被隔离,通过电传打字机与A、B对话。对话。询问者只知道二人的称呼是询问者只知道二人的称呼是X,Y,通过提问以及回答来判,通过提问以及回答来判断,最终作出断,最终作出“X是是A,Y是是B”或者或者“X是是B,Y是是A”的结论。的结论。游戏中,游戏中,A必须尽力使必须尽力使C判断错误,而判断错误,而B的任务是帮助的任务是帮助C。当一个机器代替了游戏中的当一个机器代替了游戏中的A,并且机器将试图使得,并且机器将试图使得C相信相信它是一个人。它是一个人。如果机器通过了图灵测试,就认为它
40、是如果机器通过了图灵测试,就认为它是智慧智慧的。的。图灵测试图灵测试Outline主要参考书目主要参考书目AI的定义的定义 AI的基础及萌芽的基础及萌芽AI的创立及发展的创立及发展 AI与人类智能与人类智能AI的研究流派的研究流派AI的研究范围的研究范围AI对人类的影响对人类的影响AI在中国在中国AI领域的著名期刊及会议领域的著名期刊及会议(1)符号主义符号主义(Symbolicism)(2)联结主义联结主义(Connectionism)(3)行为主义行为主义(Actionism)1、人工智能的主要学派人工智能的主要学派 符号主义符号主义(Symbolicism),逻辑主义,逻辑主义(Logi
41、cism)、心理学派、心理学派(Psychlogism)或计算机学派或计算机学派(Computerism)物理符号系统物理符号系统(即符号操作系统即符号操作系统)假设和有限合理性原理。假设和有限合理性原理。联结主义联结主义(Connectionism),仿生学派,仿生学派(Bionicsism)、生理学、生理学派派(Physiologism)神经网络及神经网络间的连接机制与学习算法。神经网络及神经网络间的连接机制与学习算法。行为主义行为主义(Actionism),进化主义,进化主义(Evolutionism)、控制论学、控制论学派派(Cyberneticsism)控制论及感知控制论及感知-动作
42、型控制系统。动作型控制系统。2 对人工智能发展历史的不同看法对人工智能发展历史的不同看法 符号主义符号主义人工智能源于数理逻辑。人工智能源于数理逻辑。在在1956年首先采用年首先采用“人工智能人工智能”这个术语。这个术语。启发式算法启发式算法专家系统专家系统知识工程理论与技术知识工程理论与技术长期一枝独秀,为人工智能的发展作出重要贡献,尤其是专长期一枝独秀,为人工智能的发展作出重要贡献,尤其是专家系统的成功开发与应用,为人工智能走向工程应用和实现家系统的成功开发与应用,为人工智能走向工程应用和实现理论联系实际具有特别重要意义。理论联系实际具有特别重要意义。人工智能的主流派。人工智能的主流派。代
43、表有纽厄尔、肖、西蒙和尼尔逊代表有纽厄尔、肖、西蒙和尼尔逊(Nilsson)等。等。联结主义联结主义人工智能源于仿生学,特别是人脑模型的研究。人工智能源于仿生学,特别是人脑模型的研究。1943年,生理学家麦卡洛克年,生理学家麦卡洛克(McCulloch)和数理逻辑学家皮茨和数理逻辑学家皮茨(Pitts)创立的脑模型,即创立的脑模型,即MP模型。模型。60-70年代,对以感知机年代,对以感知机(perceptron)为代表的脑模型的研究为代表的脑模型的研究出现热潮,在出现热潮,在70年代后期至年代后期至80年代初期落入低潮。年代初期落入低潮。Hopfield教授在教授在1982年和年和1984年
44、发表两篇重要论文,提出用年发表两篇重要论文,提出用硬件模拟神经网络时,联结主义又重新抬头。硬件模拟神经网络时,联结主义又重新抬头。1986年鲁梅尔哈特年鲁梅尔哈特(Rumelhart)等人提出多层网络中的反向传等人提出多层网络中的反向传播播(BP)算法。算法。此后,从模型到算法,从理论分析到工程实现,为神经网络此后,从模型到算法,从理论分析到工程实现,为神经网络计算机走向市场打下基础。计算机走向市场打下基础。对对ANN的研究热情仍然不减。的研究热情仍然不减。行为主义行为主义人工智能源于控制论。人工智能源于控制论。控制论思想早在控制论思想早在40-50年代就成为时代思潮的重要部分,影年代就成为时
45、代思潮的重要部分,影响了早期的人工智能工作者。响了早期的人工智能工作者。60-70年代,控制论系统的研究取得一定进展年代,控制论系统的研究取得一定进展80年代诞生了智能控制和智能机器人系统。年代诞生了智能控制和智能机器人系统。近年来,以人工智能新学派的面孔出现,引起许多人的兴趣近年来,以人工智能新学派的面孔出现,引起许多人的兴趣与研究。与研究。3 对人工智能基本理论的争论对人工智能基本理论的争论 符号主义符号主义人的认知基元是符号,认知过程即符号操作过程。人的认知基元是符号,认知过程即符号操作过程。人是一个物理符号系统,计算机也是一个物理符号系统。人是一个物理符号系统,计算机也是一个物理符号系
46、统。能用计算机来模拟人的智能行为能用计算机来模拟人的智能行为用计算机的符号操作来模拟人的认知过程。用计算机的符号操作来模拟人的认知过程。人的思维是可操作的。人的思维是可操作的。知识是信息的一种形式,是构成智能的基础。知识是信息的一种形式,是构成智能的基础。人工智能的核心问题是知识表示、知识推理和知识运用。人工智能的核心问题是知识表示、知识推理和知识运用。知识可用符号表示,也可用符号进行推理,知识可用符号表示,也可用符号进行推理,能建立起基于知识的人类智能和机器智能的统一理论体系。能建立起基于知识的人类智能和机器智能的统一理论体系。联结主义联结主义人的思维基元是神经元,而不是符号处理过程。人的思
47、维基元是神经元,而不是符号处理过程。对物理符号系统假设持反对意见,认为人脑不同于电脑对物理符号系统假设持反对意见,认为人脑不同于电脑并提出联结主义的大脑工作模式,以取代符号操作的电脑工并提出联结主义的大脑工作模式,以取代符号操作的电脑工作模式。作模式。行为主义行为主义智能取决于感知和行动智能取决于感知和行动(所以称为行为主义所以称为行为主义)提出智能行为的提出智能行为的“感知感知-动作动作”模式。模式。智能不需要知识、不需要表示、不需要推理;智能不需要知识、不需要表示、不需要推理;人工智能可以象人类智能一样逐步进化人工智能可以象人类智能一样逐步进化(称为进化主义称为进化主义);智能行为只能在现
48、实世界中与周围环境交互作用而表现出来。智能行为只能在现实世界中与周围环境交互作用而表现出来。符号主义符号主义(还包括联结主义还包括联结主义)对真实世界客观事物的描述及其智对真实世界客观事物的描述及其智能行为工作模式是过于简化的抽象,不能真实地反映客观存在。能行为工作模式是过于简化的抽象,不能真实地反映客观存在。4 对人工智能技术路线的争论对人工智能技术路线的争论 如何在技术上实现人工智能系统、研制智能机器和开发智如何在技术上实现人工智能系统、研制智能机器和开发智能产品能产品 沿着什么技术路线和策略来发展人工智能沿着什么技术路线和策略来发展人工智能 存在不同的派别,不同的路线存在不同的派别,不同
49、的路线 专用路线、通用路线专用路线、通用路线 硬件路线硬件路线、软件路线、软件路线 专用路线专用路线 研制与开发专用的智能计算机、人工智能软件、专用开研制与开发专用的智能计算机、人工智能软件、专用开发工具、人工智能语言和其它专用设备。发工具、人工智能语言和其它专用设备。通用路线通用路线 通用的计算机硬件和软件能够对人工智能开发提供有效通用的计算机硬件和软件能够对人工智能开发提供有效的支持,能够解决广泛的和一般的人工智能问题。的支持,能够解决广泛的和一般的人工智能问题。强调人工智能应用系统和人工智能产品的开发,应与计强调人工智能应用系统和人工智能产品的开发,应与计算机主体技术和主流技术相结合。算
50、机主体技术和主流技术相结合。把知识工程视为软件工程的一个分支。把知识工程视为软件工程的一个分支。硬件路线硬件路线 人工智能的发展主要依靠硬件技术。人工智能的发展主要依靠硬件技术。智能机器的开发主要有赖于各种智能硬件、智能工具及智能机器的开发主要有赖于各种智能硬件、智能工具及固化技术。固化技术。软件路线软件路线 强调人工智能的发展主要依靠软件技术。强调人工智能的发展主要依靠软件技术。认为智能机器的研制主要在于开发各种智能软件、工具认为智能机器的研制主要在于开发各种智能软件、工具及其应用系统。及其应用系统。5 AI研究的研究的5个基本问题个基本问题1987年年5月,在月,在MIT召开了召开了AI专