人工智能の第一章

《人工智能の第一章》由会员分享，可在线阅读，更多相关《人工智能の第一章（6页珍藏版）》请在金锄头文库上搜索。

1、Landy 人工智能- 1 -第一章第一章 绪论绪论人工智能的发展是以硬件与软件为基础的，经历了漫长的发展历程。特别是20世纪30年代和 40年代的智能界，发现了两件重要的事情：数理逻辑和关于计算的新思想。以维纳（Wiener）、 弗雷治、罗素等为代表对发展数理逻辑学科的贡献及丘奇(Church)、图灵和其它一些人关于计 算本质的思想，为人工智能的形成产生了重要影响。本章首先介绍人工智能的诞生、定义、发展概况及相关学派和他们的认知观，接着讨论人工 智能的研究和应用领域。 1.11.1 人工智能的诞生与发展人工智能的诞生与发展 1956年夏季，人类历史上第一次人工智能研讨会在美国的达特茅斯(Da

2、rtmouth)大学举行，标 志着人工智能学科的诞生。 1969年召开了第一届国际人工智能联合会议(International Joint Conference on AI, IJCAI),此后 每两年召开一次。 1970年人工智能国际杂志(International Journal of AI)创刊。这些对开展人工智能国际学 术活动和交流、促进人工智能的研究和发展起到积极作用。 20世纪7080年代，知识工程的提出与专家系统的成功应用，确定了知识在人工智能中的地位。近十多年来，机器学习、计算智能、人工神经网络等和行为主义的研究深入开展，形成高潮。 同时，不同人工智能学派间的争论也非常热烈。这

3、些都推动人工智能研究的进一步发展 1.21.2 人工智能的定义人工智能的定义 定义1 智能机器能够在各类环境中自主地或交互地执行各种拟人任务的机器。 定义2 人工智能(学科)人工智能(学科)是计算机科学中涉及研究、设计和应用智能机器的一个分支。它的近期主要 目标在于研究用机器来模仿和执行人脑的某些智力功能，并开发相关理论和技术。 定义3 人工智能(能力)人工智能(能力)是智能机器所执行的通常与人类智能有关的智能行为，如判断、推理、证明、 识别、感知、理解、通信、设计、思考、规划、学习和问题求解等思维活动。为了让读者对人工智能的定义进行讨论，以便更深刻地理解人工智能，下面综述其它几种关 于人工智

4、能的定义。 定义4 人工智能是一种使计算机能够思维，使机器具有智力的激动人心的新尝试。 定义5 人工智能是那些与人的思维、决策、问题求解和学习等有关活动的自动化。 定义6 人工智能是用计算模型研究智力行为。 定义7 人工智能是研究那些使理解、推理和行为成为可能的计算。 定义8 人工智能是一种能够执行需要人的智能的创造性机器的技术。 定义9 人工智能研究如何使计算机做事让人过得更好。 定义10 人工智能是一门通过计算过程力图理解和模仿智能行为的学科。 定义11 人工智能是计算机科学中与智能行为的自动化有关的一个分支。其中，定义4和定义5涉及拟人思维；定义6和定义7与理性思维有关；定义8和定义9涉

5、及拟人 行为；定义10和定义11与拟人理性行为有关。 可以看出, 这些定义虽然都指出了人工智能的一些特征, 但用它们却难以界定一台计算机是 否具有智能。因为要界定机器是否具有智能, 必然要涉及到什么是智能的问题,但这却是一个 难以准确回答的问题。所以,尽管人们给出了关于人工智能的不少说法, 但都没有完全或严格 地用智能的内涵或外延来定义人工智能。 1.2.21.2.2 图灵测试和中文屋子图灵测试和中文屋子 关于如何界定机器智能, 早在人工智能学科还未正式诞生之前的1950年, 计算机科学创始人 之一的英国数学家阿兰图灵(Alan Turing)就提出了现称为“图灵测试”(Turing Test

6、)的方 法。简单来讲, 图灵测试的做法是: 让一位测试者分别与一台计算机和一个人进行交谈(当时Landy 人工智能- 2 -是用电传打字机), 而测试者事先并不知道哪一个被测者是人, 哪一个是计算机。 如果交谈后 测试者分不出哪一个被测者是人, 哪一个是计算机, 则可以认为这台被测的计算机具有智能。 对于“图灵测试”, 美国哲学家约翰西尔勒(John Searle, 1980年)提出了异议。他用一 个现在称为“中文屋子”的假设, 试图说明即便是一台计算机通过了图灵测试, 也不能说它就 真的具有智能。中文屋子假设是说: 有一台计算机阅读了一段故事并且能正确回答相关问题, 这样这台计算就通过了图灵

7、测试。而西尔勒设想将这段故事和问题改用中文描述(因为他本人 不懂中文), 然后将自己封闭在一个屋子里, 代替计算机阅读这段故事并且回答相关问题。描 述这段故事和问题的一连串中文符号只能通过一个很小的缝隙被送到屋子里。 西尔勒则完全 按照原先计算机程序的处理方式和过程(如符号匹配、查找、照抄等)对这些符号串进行操作, 然后把得到的结果即问题答案通过小缝隙送出去。 西尔勒认为尽管计算机用这种符号处理方 式也能正确回答问题, 并且也可通过图灵测试, 但仍然不能说计算机就有了智能。 1.2.31.2.3 脑智能和群智能脑智能和群智能 群智能是有别于脑智能的。 事实上, 它们是属于不同层次的智能。脑智能

8、是一种个体智能 (Individual Intelligence,II), 而群智能是一种社会智能 (Social Intelligence,SI), 或 者说是系统智能(System Intelligence,SI)。但对于人脑来说, 宏观心理(或者语言)层次上的 脑智能与神经元层次上的群智能又有密切的关系正是微观生理层次上低级的神经元的群智 能形成了宏观心理层次上高级的脑智能(但二者之间的具体关系如何, 却仍然是个迷, 这个问 题的解决需要借助于系统科学)。 1.2.41.2.4 符号智能和计算智能符号智能和计算智能 1.1. 符号智能符号智能符号智能就是符号人工智能, 它是模拟脑智能的人

9、工智能, 也就是所说的传统人工智能或经 典人工智能。 符号智能以符号形式的知识和信息为基础, 主要通过逻辑推理，运用知识进行 问题求解。符号智能的主要内容包括知识获取(knowledge acquisition)、 知识表示 (knowledge representation)、 知识组织与管理和知识运用等技术(这些构成了所谓的知识工 程(Knowledge Engineering, KE)以及基于知识的智能系统等。 2.2. 计算智能计算智能 计算智能就是计算人工智能, 它是模拟群智能的人工智能。计算智能以数值数据为基础, 主 要通过数值计算，运用算法进行问题求解。 计算智能的主要内容包括:

10、 神经计算(Neural Computation, NC)、 进化计算(亦称演化计算, Evolutionary Computation, EC, 包括遗传 算法(Genetic Algorithm, GA)、 进化规划(Evolutionary Planning, EP)、进化策略 (Evolutionary Strategies, ES)等)、免疫计算(immune computation)、 粒群算法(Particle Swarm Algorithm, PSA)、 蚁群算法(Ant Colony Algorithm, ACA)、 自然计算(Natural Computation, NC)

11、以及人工生命(Artificial Life, AL)等。 计算智能主要研究各类优化搜索 算法, 是当前人工智能学科中一个十分活跃的分支领域。 1.31.3 人工智能研究的方法及途径人工智能研究的方法及途径 1.3.11.3.1 人工智能研究的各种学派及其理论人工智能研究的各种学派及其理论 1 1、人工智能三大学派、人工智能三大学派符号主义符号主义(Symbolicism)(Symbolicism)，又称为逻辑主义，又称为逻辑主义(Logicism)(Logicism)、心理学派、心理学派(Psychlogism)(Psychlogism)或计算机或计算机 学派学派(Computerism)(

12、Computerism)，其原理主要为物理符号系统，其原理主要为物理符号系统( (即符号操作系统即符号操作系统) )假设和有限合理性原理。假设和有限合理性原理。联结主义联结主义(Connectionism)(Connectionism)，又称为仿生学派，又称为仿生学派(Bionicsism)(Bionicsism)或生理学派或生理学派(Physiologism)(Physiologism)， 其原理主要为神经网络及神经网络间的连接机制与学习算法。其原理主要为神经网络及神经网络间的连接机制与学习算法。行为主义行为主义(Actionism)(Actionism)，又称进化主义，又称进化主义(Evo

13、lutionism)(Evolutionism)或控制论学派或控制论学派(Cyberneticsism)(Cyberneticsism)， 其原理为控制论及感知和行动。其原理为控制论及感知和行动。 心理模拟心理模拟, , 符号推演（符号主义）符号推演（符号主义）“心理模拟, 符号推演”就是从人脑的宏观心理层面入手, 以智能行为的心理模型为依据, 将问题或知识表示成某种逻辑网络, 采用符号推演的方法, 模拟人脑的逻辑思维过程, 实现人 工智能。 Landy 人工智能- 3 -采用这一途径与方法的原因是: 人脑的可意识到的思维活动是在心理层面上进行的(如我 们的记忆、联想、推理、 计算、 思考等思

14、维过程都是一些心理活动), 心理层面上的思维过 程是可以用语言符号显式表达的, 从而人的智能行为就可以用逻辑来建模。 心理学、逻辑 学、 语言学等实际上也是建立在人脑的心理层面上的, 从而这些学科的一些现成理论和方法 就可供人工智能参考或直接使用。 当前的数字计算机可以方便地实现语言符号型知识的表 示和处理。 可以直接运用人类已有显式知识(包括理论知识和经验知识)直接建立基于知识 的智能系统。 基于心理模拟和符号推演的人工智能研究, 被称为心理学派、逻辑学派、符号主义。早期的 代表人物有纽厄尔(Allen Newell)、肖(Shaw)、西蒙(Herbert Simon)等, 后来还有费根宝姆

15、 (E. A. Feigenbaum)、尼尔逊(Nilsson)等。 其代表性的理念是所谓的“物理符号系统假设”, 即认为人对客观世界的认知基元是符号, 认知过程就是符号处理的过程;而计算机也可以处理 符号, 所以就可以用计算机通过符号推演的方式来模拟人的逻辑思维过程, 实现人工智能。 符号推演法是人工智能研究中最早使用的方法之一。人工智能的许多重要成果也都是用该方 法取得的, 如自动推理、定理证明、问题求解、 机器博弈、专家系统等等。由于这种方法模 拟人脑的逻辑思维, 利用显式的知识和推理来解决问题, 因此, 它擅长实现人脑的高级认知功 能, 如推理、 决策等。 生理模拟生理模拟, , 神经

16、计算（连结主义）神经计算（连结主义） “生理模拟, 神经计算”就是从人脑的生理层面, 即微观结构和工作机理入手, 以智能行为 的生理模型为依据,采用数值计算的方法, 模拟脑神经网络的工作过程, 实现人工智能。 具体 来讲, 就是用人工神经网络作为信息和知识的载体,用称为神经计算的数值计算方法来实现网 络的学习、记忆、联想、 识别和推理等功能。 我们知道,人脑的生理结构是由大约10111012个神经元(细胞)组成的神经网络, 而且是 一个动态的、开放的、高度复杂的巨系统, 以致于人们至今对它的生理结构和工作机理还未完 全弄清楚。 因此, 对人脑的真正和完全模拟, 一时还难以办到。 所以, 目前的生理模拟只是 对人脑的局部或近似模拟, 也就是从群智能的层面进行模拟, 实现人工智能。 这种方法一般是通过神经网络的“自学习”获得知识, 再利用知识解决问题。神经网络具有