逻辑推理与定理证明.ppt

人 工 智 能 第一章 绪论 NOTE 教学重点： 1．从不同科学或学科出发对人工智能进行的定义； 　　2．介绍人工智能的起源与发展过程； 　　3．讨论人工智能与人类智能的关系； 　　4．简介目前人工智能的主要学派； 　　5．简介人工智能所研究的范围与应用领域。 教学难点： 　　1．怎么样理解人工智能； 　　2．人工智能作为一门学科有什么意义； 　　3．人工智能的主要学派与其争论焦点； 教学要求：重点掌握人工智能的几种定义，掌握目前人工智能的三个主要学派及对人工智能的理解，一般了解人工智能的主要研究范围和应用领域。 1.1人工智能的定义与发展 1.1.1 人工智能的定义 定义1 智能机器 　　能够在各类环境中自主地或交互地执行各种拟人任务(anthropomorphic tasks)的机器。 定义2 人工智能(学科) 　　人工智能(学科)是计算机科学中涉及研究、设计和应用智能机器的一个分支。它的近期主要目标在于研究用机器来模仿和执行人脑的某些智力功能，并开发相关理论和技术。 定义3 人工智能(能力) 　　人工智能(能力)是智能机器所执行的通常与人类智能有关的智能行为，如判断、推理、证明、识别、感知、理解、通信、设计、思考、规划、学习和问题求解等思维活动。 其他定义 为了让读者对人工智能的定义进行讨论，以便更深刻地理解人工智能，下面综述其它几种关于人工智能的定义。 定义4 人工智能是一种使计算机能够思维，使机器具有智力的激动人心的新尝试（Haugeland,1985）。 定义5 人工智能是那些与人的思维、决策、问题求解和学习等有关活动的自动化（Bellman,1978）。 定义6 人工智能是用计算模型研究智力行为（Charniak和McDermott,1985）。 定义7 人工智能是研究那些使理解、推理和行为成为可能的计算（Winston,1992）。 定义8 人工智能是一种能够执行需要人的智能的创造性机器的技术（Kurzwell,1990）。 定义9 人工智能研究如何使计算机做事让人过得更好（Rick和Knight,1991）。 定义10 人工智能是一门通过计算过程力图理解和模仿智能行为的学科（Schalkoff,1990）。 定义11 人工智能是计算机科学中与智能行为的自动化有关的一个分支（Luger和Stubblefield,1993）。 　　其中，定义4和定义5涉及拟人思维；定义6和定义7与理性思维有关；定义8和定义9涉及拟人行为；定义10和定义11与拟人理性行为有关。 1.1.2 人工智能的起源与发展 人工智能的发展是以硬件与软件为基础的，经历了漫长的发展历程。特别是20世纪30年代和40年代的智能界，发现了两件重要的事情：数理逻辑和关于计算的新思想。以维纳（Wiener）、弗雷治、罗素等为代表对发展数理逻辑学科的贡献及丘奇(Church)、图灵和其它一些人关于计算本质的思想，为人工智能的形成产生了重要影响。 1956年夏季，人类历史上第一次人工智能研讨会在美国的达特茅斯(Dartmouth)大学举行，标志着人工智能学科的诞生。 1969年召开了第一届国际人工智能联合会议(International Joint Conference on AI, IJCAI),此后每两年召开一次。 1970年《人工智能》国际杂志(International Journal of AI)创刊。这些对开展人工智能国际学术活动和交流、促进人工智能的研究和发展起到积极作用。 20世纪70～80年代，知识工程的提出与专家系统的成功应用，确定了知识在人工智能中的地位。 近十多年来，机器学习、计算智能、人工神经网络等和行为主义的研究深入开展，形成高潮。同时，不同人工智能学派间的争论也非常热烈。这些都推动人工智能研究的进一步发展。 提问：为什么人工智能在1956年才正式诞生？ 1.2 人类智能与人工智能 1.2.1 智能处理信息系统的假设 1、符号处理系统的六种基本功能 信息处理系统又叫符号操作系统(Symbol Operation System)或物理符号系统(Physical Symbol System)。所谓符号就是模式(pattern)。 一个完善的符号系统应具有下列6种基本功能： (1)输入符号(input)； (2)输出符号(output); (3)存储符号(store); (4)复制符号(copy); (5)建立符号结构：通过找出各符号间的关系，在符号系统中形成符号结构； (6)条件性迁移(conditional transfer):根据已有符号，继续完成活动过程。 智能处理信息系统的假设 2、可以把人看成一个智能信息处理系统 　　如果一个物理符号系统具有上述