第0章-人工智能与知识工程课件

上传人:无*** 文档编号:241601115 上传时间:2024-07-08 格式:PPT 页数:66 大小:1.67MB
返回 下载 相关 举报
第0章-人工智能与知识工程课件_第1页
第1页 / 共66页
第0章-人工智能与知识工程课件_第2页
第2页 / 共66页
第0章-人工智能与知识工程课件_第3页
第3页 / 共66页
点击查看更多>>
资源描述
人工智能与知识工程人工智能与知识工程 华北电力大学华北电力大学 计算机系计算机系 刘丽刘丽 教材及参考书籍教材及参考书籍参考教材:参考教材:人工智能,马少平、朱小燕,清华大学出版社,2004年。人工智能与知识工程,王永庆编著,西安交通大学出版社,1998年。人工智能教程(第二版),王士同,电子工业出版社,2006。主要参考文献:主要参考文献:人工智能技术导论(第三版),廉师友,西安电子科技大学出版社,2007年。人工智能,史忠植,王文杰,清华大学出版社,2007年。人工智能原理及其应用,王万森,电子工业出版社,2007年。人工智能:智能系统指南(原书第2版),(澳)MICHAEL NEGNEVITSKY编著,顾力栩等译,机械工业出版社,2007年。人工智能:复杂问题求解的结构和策略(原书第5版),(美)GEORGE F.LUGER编著,史忠植等译,机械工业出版社,2006年。7/8/20242华北电力大学华北电力大学考试方法考试方法考试开卷百分比:50%大作业课程总结百分比:40%平时成绩出勤百分比:10%7/8/20243华北电力大学华北电力大学大作业大作业题目人工生命人工免疫系统人工神经网络进化计算(遗传算法、进化策略、进化规划)多智能体系统分形方式每题89人,独立完成,形成书面学习笔记、研究综述等综合报告成果,口头报告(定义、原理、研究进展、程序实例等),学术交流7/8/20244华北电力大学华北电力大学主要内容主要内容绪论知识表示搜索技术回溯策略、无信息图搜索、启发式图搜索,与或图搜索谓词逻辑与归结原理人工智能的程序设计语言不确定性推理方法机器学习人工智能新技术7/8/20245华北电力大学华北电力大学第第0章章 绪论绪论0.1 什么是人工智能0.2 图灵测试0.3 中文屋子问题0.4 人工智能的研究目标0.5 人工智能发展简史0.6人工智能研究课题7/8/20246华北电力大学华北电力大学0.1 什么是人工智能什么是人工智能很早人类就有制造机器人的幻想黄帝的“指南车”诸葛亮的“木牛流马”亚里士多德的形式逻辑莱布尼茨的关于数理逻辑的思想“机器人”一词的来源7/8/20247华北电力大学华北电力大学莱布尼茨莱布尼茨 n手摇计算机(Leibniz Wheel)p整个机器由齿轮系统传动p重要部件是阶梯形轴p便于实现简单的四则运算第一个认识到二进制记数法重要性的人,系统地提出了二进制数的运算法则 7/8/20248华北电力大学华北电力大学现代人工智能的兴起现代人工智能的兴起现代人工智能(Artificial Intelligence,AI)一般认为起源于美国1956年的一次夏季讨论(达特茅斯会议),在这次会议上,第一次提出了“Artificial Intelligence”这个词与会者:McCarthy、Minsky、Locheseter、Shannon、Samuel、Newell、Simon等AI至今没有统一的定义7/8/20249华北电力大学华北电力大学什么是人工智能?什么是人工智能?J.McCarthyAI使一部机器的反应方式就像是一个人在行动时所依据的智能7/8/202410华北电力大学华北电力大学约翰约翰麦卡锡(麦卡锡(John McCarthy)人工智能之父LISP语言的发明人首次提出AI的概念7/8/202411华北电力大学华北电力大学约翰约翰麦卡锡(麦卡锡(John McCarthy)1927年出生于美国波士顿1956年发起达特茅斯会议,并提出“人工智能”的概念1958年与明斯基一起创建世界上第一个人工智能实验室发明剪枝算法1959年开发LISP语言开创逻辑程序研究,用于程序验证和自动程序设计1971年获得图灵奖7/8/202412华北电力大学华北电力大学什么是人工智能?什么是人工智能?J.NilssonAI是关于知识的科学,即怎样表示知识、获取知识和使用知识的科学P.Winston(Patrick Henry Winston:美国人工智能协会前主席,美国麻省理工学院(MIT)人工智能和计算机科学教授,美国Ascent技术公司总裁和创始人之一)AI研究如何使计算机去做过去只有人才能做的富有智能的工作7/8/202413华北电力大学华北电力大学l逻辑学派的奠基人之一,对AI的发展做出了重大的贡献lP.E.Hart,N.J.Nilsson,and B.Raphael.A formal basis for the heuristic determination of minimum cost paths in graphs.IEEE Trans.Syst.Sci.and Cybernetics,SSC-4(2):100-107,1968”-A*算法l斯坦福大学终身的工程学KUMAGAI教授 l曾任ARTIFICIAL INTELLIGENCE、MACHINE LEARNING杂志的编辑、斯坦福大学计算机科学系系主任、SRT人工智能中心主任及美国人工智能协会理事长J.Nilson7/8/202414华北电力大学华北电力大学什么是人工智能?什么是人工智能?M.MinskyAI是让机器做本需要人的智能才能做到的事情的一门学科A.FeigenbaumAI是一个知识信息处理系统7/8/202415华北电力大学华北电力大学马文马文明斯基(明斯基(Marniv Lee Minsky)人工智能之父框架理论的创立者首位获得图灵奖的人工智能学者7/8/202416华北电力大学华北电力大学马文马文明斯基(明斯基(Marniv Lee Minsky)1927年出生于美国纽约1951年提出思维如何萌发并形成的基本理论1956年达特茅斯会议的发起人之一1958年在MIT创建世界上第一个AI实验室1969年获得图灵奖1975年首创框架理论7/8/202417华北电力大学华北电力大学爱德华爱德华费根鲍姆(费根鲍姆(Edward A.Feigenbaum)知识工程的提出者大型人工智能系统的开拓者7/8/202418华北电力大学华北电力大学爱德华爱德华费根鲍姆(费根鲍姆(Edward A.Feigenbaum)1936年出生于美国的新泽西州通过实验和研究,证明了实现智能行为的主要手段是知识1977年提出知识工程,使人工智能从理论转向应用名言:知识蕴藏着力量1994年和劳伊雷迪共同获得图灵奖7/8/202419华北电力大学华北电力大学1963年主编计算机与思想,被认为是世界上第一本有关人工智能的经典性专著1965年开发出世界上第一个专家系统Dendral 开发出著名的专家系统MYCIN80年代合著了四卷本的人工智能手册开设Teknowledge和IntelliGenetics两个公司,是世界上最早以开发和将专家系统商品化的公司爱德华爱德华费根鲍姆(费根鲍姆(Edward A.Feigenbaum)7/8/202420华北电力大学华北电力大学劳伊劳伊雷迪(雷迪(Raj Reddy)大型人工智能系统的开拓者7/8/202421华北电力大学华北电力大学劳伊劳伊雷迪(雷迪(Raj Reddy)1937年出生于印度,1966年在美国获得博士1994年与费根鲍姆共同获得图灵奖主持过一系列大型AI系统的开发Navlab 能在道路行驶的自动车辆项目LISTEN 用于扫盲的语音识别系统以诗人但丁命名的火山探测机器人项目自动机工厂项目,提出“白领机器人学”7/8/202422华北电力大学华北电力大学什么是人工智能什么是人工智能像人一样思考的系统理性地思考的系统“要使计算机能够思考.意思就是:有头脑的机器”(Haugeland,1985)“与人类的思维相关的活动,诸如决策、问题求解、学习等活动”(Bellman,1978)“通过利用计算模型来进行心智能力的研究”(Chamiak和McDermott,1985)“对使得知觉、推理和行为成为可能的计算的研究”(Winston,1992)像人一样行动的系统理性地行动的系统“一种技艺,创造机器来执行人需要智能才能完成的功能”(Kurzweil,1990)“研究如何让计算机能够做到那些目前人比计算机做得更好的事情”(Rich和Knight,1991)“计算智能是对设计智能化智能体的研究”(Poole等,1998)“AI.关心的是人工制品中的智能行为”(Nilsson,1998)7/8/202423华北电力大学华北电力大学什么是人工智能什么是人工智能AI研究的是如何运用知识,以便像人类一样完成富有智能的工作就AI的本质来说,可以认为人工智能是一门研究如何制造出人造的智能机器或智能系统,来模拟人类智能活动的能力,以延伸人们智能的科学7/8/202424华北电力大学华北电力大学人工智能和通常程序的人工智能和通常程序的比较人工智能人工智能人工智能人工智能 通常计算机程序通常计算机程序通常计算机程序通常计算机程序主要是符号处理 主要是数字处理启发式搜索 依靠算法控制结构和知识域相分离 信息和控制联结在一起易于修改、更新和改变 难以修改允许不正确的答案 要求正确的回答AIAI程序:程序:干什么干什么干什么干什么 传统程序:传统程序:干些什么及如何干干些什么及如何干干些什么及如何干干些什么及如何干7/8/202425华北电力大学华北电力大学智能和智力智能和智力“智能”源于拉丁“LegereLegere”,意思是收集、汇集,智能通常用来表示从中进行选择、理解和感觉自然智能人类和一些动物所具有的智力和行为能力 智力是针对具体情况的,根据不同的情况有不同的含义“智力”是指学会某种技能的能力,而不是指技能本身 7/8/202426华北电力大学华北电力大学智能和智力智能和智力智能的定义和描述:(1)善于判断、理解和推理判断、理解和推理(2)综合智力主要是指“相互关系的训练相互关系的训练”(3)形成要领形成要领和掌握含义掌握含义的能力(4)全面考试的能力全面考试的能力或思维的效率思维的效率(5)先天的、综合的和认知的能力先天的、综合的和认知的能力(6)智力活动包括在某一情况下抓抓住住本本质质并对他们作出适当的反应适当的反应(7)适当地行动、理智地思考、有效地适应环境的总总体能力。体能力。(8)身体和社会环境的适应性适应性 判断、理解、推理、形成概念、适当的反应和适应性等判断、理解、推理、形成概念、适当的反应和适应性等7/8/202427华北电力大学华北电力大学0.2图灵测试图灵测试如何知道一个系统是否具有智能呢?1950年,计算机科学家图灵提出了著名的“图灵测试”7/8/202428华北电力大学华北电力大学测试的设置测试的设置测试的参与者:测试人被测试人一个人一个声称自己有人类智力的机器测试过程:测试人与被测试人是分开的,测试人只有通过一些装置(如键盘)向被测试人问一些问题,这些问题随便是什么问题都可以7/8/202429华北电力大学华北电力大学测试的设置测试的设置7/8/202430华北电力大学华北电力大学问过一些问题后测试人能正确地分出谁是人谁是机器机器没有通过图灵测试测试人没有分出谁是机器谁是人机器通过了图灵测试,具有了具有了图灵测试意义下的智能图灵测试意义下的智能计算机为了通过图灵测试,要很好地模拟人类的优点优点和不足不足不能比人类愚蠢,也不能比人类聪明在某些方面变得愚蠢并不是很难的事情困难的是一些常识性的问题人类可以非常轻松的处理常识性的问题,但对于计算机来说却非常困难测试的设置测试的设置7/8/202431华北电力大学华北电力大学图灵测试图灵测试示范示范1 1问:请给我写出有关“第四号桥”主题的十四行诗。答:不要问我这道题,我从来不会写诗。问:34957加70764等于多少?答:(停30秒后)105721问:你会下国际象棋吗?答:是的。问:我在我的K1处有棋子K;你仅在K6处有棋子K,在R1处有棋子R。现在轮到你走,你应该下那步棋?答:(停15秒钟后)棋子R走到R8处,将军!7/8/202432华北电力大学华北电力大学图灵测试图灵测试示范示范2 2问:你会下国际象棋吗?答:是的。问:你会下国际象棋吗?答:是的。问:请再次回答,你会下国际象棋吗?答:是的。一部笨机器一部笨机器!7/8/202433华北电力大学华北电力大学图灵测试图灵测试示范示范3 3问:你会下国际象棋吗?答:是的。问:你会下国际象棋吗?答:是的,我不是已经说过了吗?问:请再次回答,你会下国际象棋吗?答:你烦不烦,干嘛老提同样的问题。大概是人而不是机器!7/8/202434华北电力大学华北电力大学图灵测试图灵测试示范示范4 4很多人研究过计算机对话程序,如J.Weizenbaum写的Eliza(扮演心理医生),模仿心理医生和女病人的对话P:所有男人都一个样。E:这从何说起呢?P:他们总是这样和那样的找我们的麻烦。E:你能举一个例子吗?P:好吧,你瞧,我的男朋友叫我的这儿来。E:哦,你的男朋友叫你到这儿来。P:他说我显得精神沮丧已经很长时间了。E:听到你说你精神沮丧,我很同情。P:说真的,我很不高兴。E:你认为到这儿来能帮助你高兴起来吗?P:那当然,我需要帮助。E:如果你得到了帮助,那将意味着什么?7/8/202435华北电力大学华北电力大学图灵测试图灵测试对人类来说容易求解的问题,对计算机来说并不一定容易解决对人类来说困难的问题,计算机处理起来不一定困难利用计算机难以通过图灵测试的特点,逆向使用图灵测试,解决复杂问题防止利用程序对网络系统进行恶意攻击,在登录界面上,除了要输入用户名、密码之外,还要识别出系统随机产生的一些在复杂背景上的变形文字7/8/202436华北电力大学华北电力大学人工智能碰上人工智能?人工智能碰上人工智能?康奈尔大学大学的创意机器实验室进行了这样一个实验:把两个对话型的AI-Cleverbot连到一块去,看看它们俩会聊些什么http:/ 人工智能遇上人工智能.flv7/8/202437华北电力大学华北电力大学0.3希尔勒的中文屋子希尔勒的中文屋子罗杰施安克的故事理解程序(举例)机器是否真的理解了呢?希尔勒的中文屋子问题:通过了图灵测试就具有了智能吗?思考题:如何理解希尔勒的中文屋子?该程序可以在“阅读”一个英文故事之后,回答和故事有关的问题来自反对者的声音,即便通过了图灵实验,也不认为就是理解了7/8/202438华北电力大学华北电力大学0.4 AI的研究目标的研究目标AI是研究如何制造出人造的智能机器或智能系统,来模拟人类智能活动的能力,以延伸人们智能的科学人类智能活动的能力:人类在认识世界和改造世界的活动中,由脑力劳动表现出来的能力认识和理解世界环境的能力提出概念、建立方法,进行演绎和归纳推理、作出决策的能力学习的能力自我适应的能力7/8/202439华北电力大学华北电力大学0.4 AI的研究途径的研究途径心理学(符号主义):人工智能源于数理逻辑。认识的基本元素是符号,智能和知识可用符号表示、擅长抽象思维人工智能的主流学派,代表有纽厄尔、肖、西蒙和尼尔逊等生理学(联结主义):原理主要为神经网络及神经网络间的连接机制与学习算法认为认识的基本元素是神经元,认识过程是大量神经元的并行活动,擅长形象思维生物进化(行为主义)行为主义:原理为控制论及感知论认为人工智能源于控制论。代表人物有布鲁克斯7/8/202440华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(1)阶段1:萌芽期(1956年以前)神话传说:帮助人劳动的机器人,歌舞机器人法国物理学家和数学家BPascal的机械加法器Leibniz在机械加法器基础上制造了四则运算器英国数学家和力学家CBabbage对差分机和分析机的研究图灵的图灵机模型1938德国工程师Zuse的累计数字计算机Z-11945 John VonNeu-mann 冯诺依曼结构1946年Mauchly等的第一台计算机ENIACWiener的控制论和Shannon的信息论等7/8/202441华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(2)阶段2:人工智能基础技术的研究和形成(19561970)Dartmouth聚会后,在美国开始形成了以人工智能为研究目标的几个研究组:Newell和Simon的Carnegie-RAND协作组Samuel和Gelernter的IBM公司工程课题研究组Minsky和McCarthy的MIT研究组等主要工作7/8/202442华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(3)方面1:A.Newell、J.Shaw和H.Simon等人编制出逻辑理论机LT,当时该程序证明了“数学原理”一书第二章中的38个定理1960年编制了能解十种类型不同课题的通用问题求解程序GPS,和LT是首次在计算机上运行的启发式程序 Newell关于自适应象棋机的论文Simon关于问题求解和决策过程中合理选择和环境影响的行为理论的论文人的口语学习和记忆的EPAM模型(1959年)、早期自然语言理解程序SAD-SAM 7/8/202443华北电力大学华北电力大学赫伯特赫伯特西蒙(西蒙(Herbert A.Simon)符号主义学派的创始人爱好广泛的全能科学家中国科学院外籍院士7/8/202444华北电力大学华北电力大学1916年出生于美国的威斯康辛州1943年在匹兹堡大学获政治学博士学位1969年因心理学方面的贡献获得杰出科学贡献奖1975年和他的学生艾伦纽厄尔共同获得图灵奖1978年获得诺贝尔经济学奖1986年因行为学方面的成就获得美国全国科学家奖章赫伯特赫伯特西蒙(西蒙(Herbert A.Simon)7/8/202445华北电力大学华北电力大学50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT57年开发了IPL(Information Processing Language)语言,是最早的AI语言60年开发了“通用问题求解系统”GPS66年开发了最早的下棋程序之一MATER70年发展与完善了语义网络的概念和方法70年代提出了“物理符号系统假说”70年代提出决策过程模型赫伯特赫伯特西蒙(西蒙(Herbert A.Simon)7/8/202446华北电力大学华北电力大学艾伦艾伦纽厄尔(纽厄尔(Allen Newell)符号主义学派的创始人之一西蒙的学生与同事1975年与西蒙同获图灵奖7/8/202447华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(4)方面21956年Samuel的西洋跳棋程序,1959年这个程序曾战胜设计者本人,1962年还击败了美国一个州的跳棋大师方面31959年McCarthy发明的表处理语言LISP,成为人工智能程序设计的主要语言,至今仍被广泛采用1958年McCarthy建立的行动计划咨询系统以及1960年Minsky的论文“走向人工智能的步骤”,对人工智能的发展都起了积极的作用1956年N.Chomsky的文法体系,1958年Selfridge等人的模式识别系统程序等7/8/202448华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(5)阶段3:发展和实用化阶段(19711980)各种新的知识表示知识表示知识表示知识表示技术和各种专家系统专家系统专家系统专家系统的出现 知识表示知识表示知识表示知识表示1968 Quillian 语义网络知识表示法(Simmon等人用语义网络表达自然语言理解)1974 Minsky 框架(Frame)理论 非精确性推理非精确性推理非精确性推理非精确性推理 1976 RODuda 主观贝叶斯理论-Prospector 重大成果重大成果重大成果重大成果 1965 Robinson 归结原理 1965 RKowalski Prolog思想,1972 AColmerauer实现Prolog7/8/202449华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(6)阶段3:发展和实用化阶段(19711980)各种新的知识表示知识表示知识表示知识表示技术和各种专家系统专家系统专家系统专家系统的出现 专家系统专家系统专家系统专家系统1965 EFeigenbaum与化学家C.Djerassi,J.Leberberg 化学专家系统DENRAL,根据分子式及其质谱数据推断分子结构 1971MIT的 C.Engleman,W.Martin和J.Moses数学专家系统MACSYMA,帮助人们解决多种数学问题1972 绍特里夫 医疗专家MYCIN系统,诊断和治疗感染性疾病 1976 斯坦福大学R.O.Duda 地质勘探PROSPECTOR7/8/202450华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(7)阶段3:发展和实用化阶段(19711980)各种新的知识表示知识表示知识表示知识表示技术和各种专家系统专家系统专家系统专家系统的出现 专家系统、计算机视觉和机器人、自然语言理解和机器翻译等专家系统、计算机视觉和机器人、自然语言理解和机器翻译等专家系统、计算机视觉和机器人、自然语言理解和机器翻译等专家系统、计算机视觉和机器人、自然语言理解和机器翻译等 1973(1977)L.D.Erman语言理解系统 HEARSAY-I,HRSAY-60年代后期 机器定理证明 对规划问题研究 1960 美 商用工业机器人UNIMATE和VERSATRAN1977 第5届人工智能联合会议,Feigenbaum “人工智能的艺术:知识工程课题及实例研究”提出知识工程的概念7/8/202451华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(8)阶段4知识工程与专家系统(1980年至今)商业性的应用计划 自然语言处理系统开始商业化:人工智能公司的INTELLECT系统 计算机视觉系统的研制 LISP机 日本的第五代计算机计划;美国、英国的新一代电子计算机计划等 70年代末人工智能研究在我国 自然语言处理自然语言处理自然语言处理自然语言处理、计算机视觉计算机视觉计算机视觉计算机视觉和机器人学机器人学机器人学机器人学以及知识工程知识工程知识工程知识工程等更迅速的发展 7/8/202452华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(9)IBM的“深蓝”:以3.5:2.5的总比分战胜卡斯帕罗夫“深蓝”的技术指标:32个CPU每个CPU有16个协处理器每个CPU有256M内存每个CPU的处理速度为200万步/秒1969年国际人工智能联合会成立,每两年召开一次会议7/8/202453华北电力大学华北电力大学Watson 北京时间2011年2月18日消息,由IBM和美国德克萨斯大学联合研制的超级电脑“沃森”(Watson)昨日在美国最受欢迎的智力竞猜电视节目危险边缘中击败该节目历史上两位最成功的选手肯-詹宁斯和布拉德-鲁特,成为危险边缘节目新的王者7/8/202454华北电力大学华北电力大学Waston如何与人对决智力竞赛沃森超级电脑概况沃森超级电脑概况“沃森”是按IBM的创始人托马斯沃森的名字命名的,它利用一个庞大的并联网络,与2000到3000个Power 7计算核心相连,这些计算核心被放置在7个冰箱大小的容器里。IBM已经为“沃森”上传了所有得到许可和公开的知识内容,以便打造一个巨大的语义索如何与人智力竞答?如何与人智力竞答?在比赛过程中,当主持人阅读线索时,它们会以电子内容的形式传输给“沃森”,然后这台超级电脑会对接收到的信息进行分析,并做出各种构想,接着搜索所有信息检验构想的正误,得出5个最佳答案,并对每个答案设定信心级别,最终决定选用哪个答案7/8/202455华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(10)各国对AI的研究美国人工智能的发源地英国60年代就起步人工智能的研究日本和西欧起步较晚,但发展较快苏联对人工智能研究比较重视我国从1978年才开始,主要在定理证明、汉语自然语言理解、机器人及专家系统方面设立课题,并取得一些初步成果重大的AI研究机构:MIT、斯坦福大学、卡内基梅隆大学、IBM公司、日立中央研究所电气技术综合研究所(ELT)、早稻田大学、爱丁堡大学、前苏联的控制问题研究所等7/8/202456华北电力大学华北电力大学0.5 AI的历史回顾(的历史回顾(11)足球机器人两个组织:RoboCup和FIRA设有仿真组、小型组、中型组和有腿组控制方式:FIRA采用集中控制,而RoboCup采用分布式控制7/8/202457华北电力大学华北电力大学AI的历史回顾(的历史回顾(12)小型组 有腿组7/8/202458华北电力大学华北电力大学AI的研究课题的研究课题具有一般意义的核心课题:知识的模型化和表示方法启发式搜索理论各种推理方法(演绎推理、规划、常识性推理、归纳推理等)人工智能系统结构和语言其他一些主要的应用领域7/8/202459华北电力大学华北电力大学AI的研究课题(续的研究课题(续1)专家系统一个智能的计算机程序,它运用知识和推理步骤来解决只有专家才能解决的复杂问题自然语言理解书面语的理解 口语(又称声音)的理解 1970 Winograd 灵活的人机对话 手书文字识别机器学习分布式人工智能(DAI)70年代后期 Agent ANN7/8/202460华北电力大学华北电力大学AI的研究课题(续的研究课题(续2)定理证明(Theorem Proving)自然演绎法 纽厄尔 LT程序 籍勒洛特 证明平面几何定理 判定法 1977吴文俊 证明初等几何定理 定理证明器 1965 JARobinson 消解原理 人机交互进行定理证明 1976 KAppel 证明四色定理博弈(Game Playing)研究对策和斗智1962 塞缪尔 checkers1967 R.Gren-blatt Chess 1997/5/3-11 深蓝7/8/202461华北电力大学华北电力大学AI的研究课题(续的研究课题(续3)机器人学(Robotics)机器人是一种可再编程序的多功能的操作装置1954 G.C.Devol 通用重复型机器人1958 Consolidated 数字控制机器人60年代初 AMF公司 Unimate2009机器人和Asimo十年(视频)模模模模式式式式识识识识别别别别是识别出给定的事物和哪一个标本相同或者相似自动程序设计(Automatic Programming)组合调度问题(Combinatorial and Scheduling Problems)感知问题(Perception Problems)7/8/202462华北电力大学华北电力大学7/8/202463华北电力大学华北电力大学
展开阅读全文
相关资源
相关搜索

最新文档


当前位置:首页 > 管理文书 > 施工组织


copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!