智能操作系统 (3).pptVIP

引言（1） 人类的自然智能伴随着人类的活动无处不在，如解题、下棋、猜谜、讨论问题、编制计划和编制程序、驾车等都需要智能。因此，智能是和人类的各项活动紧密联系在一起的 。 Humans are good at solving complex problems Humans are good at solving ill-defined problems Many of these tasks are computationally very difficult or even intractable Is it possible to get computers to solve such problems also? 引言（2） 引言（3） 人工智能（AI：Artificial Intelligence）是当前科技发展中的一门前沿学科，同时也是一门新思想、新观念、新理论、新技术不断出现的学科，是在计算机、控制论、信息论、数学、心理学、哲学、语言学等多种学科相互综合、相互渗透的基础上发展起来的一门交叉性的边缘学科。 本章主要内容 人工智能的界定 人工智能的诞生和发展 人工智能研究的主要方法 人工智能研究的主要内容 1.1 人工智能的界定 In which we try to explain why we consider artificial intelligence to be a subject most worthy of study, and in which we try to decide what exactly it is, this being a good thing to decide before embarking. 什么是人工智能（1） 20世纪的信息技术，尤其是计算机的出现，以机器代替或减轻人的脑力劳动，形成人工智能新兴学科。 1956年四位年轻学者：John McCarthy、Marvin Minsky、Nathaniel Rochester和Claude Shannon共同发起和组织召开了用机器模拟人类智能的夏季专题讨论会。会议邀请了包括数学、神经生理学、精神病学、心理学、信息论和计算机科学领域的10名学者参加，为期两个月。此次会议是在美国的Dartmouth召开，有时称为Dartmouth夏季讨论会。 会议上，科学家们运用数理逻辑和计算机的成果，提供关于形式化计算和处理的理论，模拟人类某些智能行为的基本方法和技术，构造具有一定智能的人工系统，让计算机去完成需要人的智力才能胜任的工作。 在Dartmouth夏季讨论会上，约翰·麦卡锡提议用人工智能（artificial intelligence）作为这一交叉学科的名称，标志着人工智能学科的诞生，具有十分重要的意义。 什么是人工智能（2） Stuart Russell和Peter Norvig把当前有关AI的定义分成四类 ： 类人行为方法 Kurzwell提出人工智能认为人工智能是一门技术，它创造出够完成一定任务的机器，而当我们人类对这些任务进行处理的时候，需要一定的智能。 方法： 对于人类做的比较好的智能任务，让计算机来完成 最著名的就是Turing测试 Turing测试（1） Alan Turing, “Computing Machinery and Intelligence”, Mind, 59:433 – 460, 1950. 问题: “Can machines think?” 为此，Turing设计了著名的Turing Test Turing测试（2） 测试者A，被测试者B与C。 A是人，B与C一个是人，另一个是计算机。 A提出问题，B与C分别回答。 如果B与C的回答，使得A无法区分是人的回答还是计算机的回答，则计算机具有了智能。 Turing测试第一次给出了检验计算机是否具有智能的哲学说法。 类人思维方法 Bellman提出人工智能是那些与人的思维、决策、问题求解和学习等有关活动的自动化。 主要采用的是认知模型的方法---是关于人类思维工作原理的可检测的理论。 如果说某个程序能够像人一样思考，那么就必须以某种方式确定人是如何思考的。为确定人类思维的内部是怎样工作的，可以有两种方法：通过内省（introspection）----在人思考过程中，掌握人自己的想法；或者通过心理学实验 理性思考方法 1985年Charniak和McDermott提出人工智能是用计算模型研究智力能力。这是一种理性思维方法。 一个系统如果能根据它所知的信息(知识、时间、资源等)能够做出最好的决策，这就是理性的 当知识是完全的，并且资源是无限的时候，就是所谓的逻辑推理。 当知识是不完全的，或者资源有限时，就是