[理学]中科院人工智能

[理学]中科院人工智能

ID:39985460

大小:698.50 KB

页数:46页

时间:2019-07-16

[理学]中科院人工智能_第1页
[理学]中科院人工智能_第2页
[理学]中科院人工智能_第3页
[理学]中科院人工智能_第4页
[理学]中科院人工智能_第5页
资源描述:

《[理学]中科院人工智能》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、人工智能PrinciplesofArtificialIntelligence王文杰信息学院Wangwj@gucas.ac.cnSyllabusCourseObjectives教学的基本目的和要求掌握人工智能的基本概念和原理掌握人工智能的主要方法和技术了解人工智能的应用CourseInformationWeb地址:包括:教材资料Lecturenotes.Assignments.Project(s)Others教材资料Others预修课程数理逻辑程序设计语言分数考试:其他:作业Project/Paper第一章引言本章主要内容人工

2、智能的界定人工智能的诞生和发展简史人工智能的研究学派人工智能的研究领域1.1人工智能的界定理解“我们如何思考”是人类长期的研究目标人工智能不仅试图要理解心智能力,而且要建造智能体.人工智能(AI:ArtificialIntelligence)是当前科技发展中的一门前沿学科,同时也是一门新思想、新观念、新理论、新技术不断出现的学科,是在计算机、控制论、信息论、数学、心理学、哲学、语言学等多种学科相互综合、相互渗透的基础上发展起来的一门交叉性的边缘学科。什么是人工智能(1)StuartRussell和PeterNorvig把当前

3、有关AI的定义分成四类:类似人一样进行思考的系统理性思考的系统类似人一样进行动作(act)的系统理性动作的系统什么是人工智能(2)StuartRussell和PeterNorvig把当前有关AI的定义分成四类:类似人一样进行思考的系统理性思考的系统类似人一样进行动作(act)的系统理性动作的系统思维的过程和推理行为什么是人工智能(3)StuartRussell和PeterNorvig把当前有关AI的定义分成四类:类似人一样进行思考的系统理性思考的系统类似人一样进行动作(act)的系统理性动作的系统从模拟人类功能的逼真度来度量

4、从理性的智能概念来度量一个系统如果能够在它所知道的范围内”正确行事”,它就是理性的类似人一样进行动作(act)的系统对于人类做的比较好的智能任务,让计算机来完成如定理证明、下棋、诊断疾病等最著名的就是Turing测试Turing测试(1)AlanTuring,“ComputingMachineryandIntelligence”,Mind,59:433–460,1950.问题:“Canmachinesthink?”为此,Turing设计了著名的TuringTest他认为与其提出一个长长的而可能有争议的清单来列举智能所需要的能

5、力,不如采用一项基于人类这种无可质疑的智能实体的辨别能力的测试.Turing测试(2)测试者A,被测试者B与C。A是人,B与C一个是人,另一个是计算机。A提出问题,B与C分别回答。如果B与C的回答,使得A无法区分是人的回答还是计算机的回答,则计算机具有了智能。Turing测试第一次给出了检验计算机是否具有智能的哲学说法。中文问题Searle汉语实验室。一个不懂汉语的人A,一个充分详细的汉语问答手册。不计查手册的时间代价。给A一个使用汉语提出的问题,A通过汉语符号的比对使用手册,给出回答。Searle问,如果A通过查手册做出的

6、回答与懂汉语的人一样,A懂汉语吗?“深蓝”下棋程序1997年,IBM设计了这个程序。战胜卡斯帕罗夫!“深蓝”有智能吗?“SayingDeepBluedoesn’treallythinkaboutchessislikesayinganairplanedoesn'treallyflybecauseitdoesn'tflapitswings”DrewMcDermott问题飞机会“飞”吗?轮船会“游泳”吗?计算机会“思考”吗?什么是人工智能(4)考虑智能比较好的途径可能是把它看作是一些技巧的汇集?这些技巧是什么呢?求解问题的能力?存

7、储记忆直觉推理能力从经验中学习的能力等等类似人一样进行思考的系统如果说某个程序能够像人一样思考,那么就必须以某种方式确定人是如何思考的。为确定人类思维的内部是怎样工作的,可以有两种方法:通过内省(introspection)----在人思考过程中,掌握人自己的想法;或者通过心理学实验如果计算机程序的输入/输出以及实时的行为同人类行为非常一致,就说明该程序可能是按照人类模式运转的。GPS:不仅满足程序正确地解决问题,更关心程序推理轨迹与人类求解同样问题的步骤轨迹的比较理性思考的系统主要指的是思维方法的规范化古希腊哲学家Aris

8、totle可能是第一个试图把“正确地思考”规范化的人19世纪后期和20世纪,形式逻辑出现1965年,出现了用逻辑符号描述问题的程序该方法有两个主要的问题。第一,把非形式的知识用形式的逻辑记号表示是不容易做到的,特别是当这些知识不是100%确定的时候。第二,在理论上可以解决一个问题和在实际中

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。