计算机前沿技术概论 第4章 - 1

Artificial Intelligence Introduction: 11
© Tongji University , Computer Science and Technology.
Turing测试（1） 测试（ ） 测试
• Alan Turing, “Computing Machinery and Intelligence”, Mind, 59:433 – 460, 1950. • 问题 “Can machines think?” 问题: • 为此，Turing设计了著名的 设计了著名的Turing Test 为此， 设计了著名的
Artificial Intelligence Introduction: 15
© Tongji University , Computer Science and Technology.
理性思考方法
1985年Charniak和McDermott提出人工智能是用计 年 和 提出人工智能是用计 算模型研究智力能力。这是一种理性思维方法。 算模型研究智力能力。这是一种理性思维方法。 一个系统如果能根据它所知的信息（知识、时间、 一个系统如果能根据它所知的信息（知识、时间、资 源等）能够做出最好的决策， 源等）能够做出最好的决策，这就是理性的
Artificial Intelligence
Introduction: 7
© Tongji University , Computer Science and Technology.
什么是人工智能（1） ）
• 20世纪的信息技术，尤其是计算机的出现，以机器代替或减轻人的脑力劳 世纪的信息技术，尤其是计算机的出现， 世纪的信息技术 形成人工智能新兴学科。 动，形成人工智能新兴学科。 • 1956年四位年轻学者：John McCarthy、Marvin Minsky、Nathaniel 年四位年轻学者： 年四位年轻学者 、 、 Rochester和Claude Shannon共同发起和组织召开了用机器模拟人类智能 和 共同发起和组织召开了用机器模拟人类智能 的夏季专题讨论会。会议邀请了包括数学、神经生理学、精神病学、心理 的夏季专题讨论会。会议邀请了包括数学、神经生理学、精神病学、 名学者参加， 信息论和计算机科学领域的10名学者参加 为期两个月。 学、信息论和计算机科学领域的10名学者参加，为期两个月。此次会议是 在美国的Dartmouth召开，有时称为 召开， 夏季讨论会。 在美国的 召开 有时称为Dartmouth夏季讨论会。 夏季讨论会 • 会议上，科学家们运用数理逻辑和计算机的成果，提供关于形式化计算和 会议上，科学家们运用数理逻辑和计算机的成果， 处理的理论，模拟人类某些智能行为的基本方法和技术，构造具有一定智 处理的理论，模拟人类某些智能行为的基本方法和技术， 能的人工系统，让计算机去完成需要人的智力才能胜任的工作。 能的人工系统，让计算机去完成需要人的智力才能胜任的工作。 • 在Dartmouth夏季讨论会上，约翰 麦卡锡提议用人工智能（artificial 夏季讨论会上， 麦卡锡提议用人工智能（ 夏季讨论会上 约翰·麦卡锡提议用人工智能 intelligence）作为这一交叉学科的名称，标志着人工智能学科的诞生，具 ）作为这一交叉学科的名称，标志着人工智能学科的诞生， 有十分重要的意义。 有十分重要的意义。
Artificial Intelligence
Introduction: 3
© Tongji University , Computer Science and Technology.
Artificial Intelligence
引言（ ） 引言（2）
Introduction: 4
© Tongji University , Computer Science and Technology.
C: AI System
Artificial Intelligence
Introduction: 14
© Tongji University , Computer Science and Technology.
类人思维方法
Bellman提出人工智能是那些与人的思维、决策、问 提出人工智能是那些与人的思维、决策、 提出人工智能是那些与人的思维 题求解和学习等有关活动的自动化。 题求解和学习等有关活动的自动化。 主要采用的是认知模型的方法---是关于人类思维工作 主要采用的是认知模型的方法 是关于人类思维工作 原理的可检测的理论。 原理的可检测的理论。 如果说某个程序能够像人一样思考， 如果说某个程序能够像人一样思考，那么就必须以某 种方式确定人是如何思考的。 种方式确定人是如何思考的。为确定人类思维的内部 是怎样工作的，可以有两种方法：通过内省（ 是怎样工作的，可以有两种方法：通过内省（ introspection）----在人思考过程中，掌握人自己的想 在人思考过程中， ） 在人思考过程中 法；或者通过心理学实验
Artificial Intelligence
Introduction: 13
© Tongji University , Computer Science and Technology.
Turing测试（3） 测试（ ） 测试
Imitation Game
B: Human
A: Human Interrogator
引言（ ） 引言（3）
人工智能（ ： 人工智能（AI：Artificial Intelligence）是当前科技发 ） 展中的一门前沿学科，同时也是一门新思想、 展中的一门前沿学科，同时也是一门新思想、新观念 新理论、新技术不断出现的学科，是在计算机、 、新理论、新技术不断出现的学科，是在计算机、控 制论、信息论、数学、心理学、哲学、 制论、信息论、数学、心理学、哲学、语言学等多种 学科相互综合、 学科相互综合、相互渗透的基础上发展起来的一门交 叉性的边缘学科。 叉性的边缘学科。
Artificial Intelligence
Introduction: 8
© Tongji University , Computer Science and Technology.
Five of the attendees of the 1956 Dartmouth Summer Research Project on Artificial Intelligence reunited at the July AI@elligence
Introduction: 6
© Tongji University , Computer Science and Technology.
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.
Artificial Intelligence
绪论
Introduction: 2
© Tongji University , Computer Science and Technology.
引言（ ） 引言（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?
类人行为方法
• Kurzwell提出人工智能认为人工智能是一门技术， 提出人工智能认为人工智能是一门技术， 提出人工智能认为人工智能是一门技术 它创造出够完成一定任务的机器， 它创造出够完成一定任务的机器，而当我们人类对 这些任务进行处理的时候，需要一定的智能。 这些任务进行处理的时候，需要一定的智能。 • 方法： 对于人类做的比较好的智能任务，让计算 方法： 对于人类做的比较好的智能任务， 机来完成 •定理证明 • 最著名的就是 最著名的就是Turing测试 测试 •下国际象棋 •做外科手术 •诊断疾病 ……
Artificial Intelligence
Introduction: 12
© Tongji University , Computer Science and Technology.
Turing测试（2） 测试（ ） 测试
• 测试者 ，被测试者B与C。 测试者A，被测试者 与 。 • A是人，B与C分别是一个人和一个智能计算机。 是人， 与 分别是一个人和一个智能计算机 分别是一个人和一个智能计算机。 是人 • A提出问题，B与C分别回答。 提出问题， 与 分别回答 分别回答。 提出问题 • 如果B与C的回答，使得A无法区分是人的回答还是 如果B与C的回答 使得A无法区分是人的回答还是 的回答， 计算机的回答，则计算机具有了智能。 计算机的回答，则计算机具有了智能。 • Turing测试第一次给出了检验计算机是否具有智能的 测试第一次给出了检验计算机是否具有智能的 哲学说法。 哲学说法。
当知识是完全的，并且资源是无限的时候， 当知识是完全的，并且资源是无限的时候，就是所谓的逻辑 推理。 推理。 当知识是不完全的，或者资源有限时，就是理性的行为。 当知识是不完全的，或者资源有限时，就是理性的行为。