当前位置:文档之家› 计算机前沿技术概论 第4章 - 1

计算机前沿技术概论 第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测试第一次给出了检验计算机是否具有智能的 测试第一次给出了检验计算机是否具有智能的 哲学说法。 哲学说法。
当知识是完全的,并且资源是无限的时候, 当知识是完全的,并且资源是无限的时候,就是所谓的逻辑 推理。 推理。 当知识是不完全的,或者资源有限时,就是理性的行为。 当知识是不完全的,或者资源有限时,就是理性的行为。
相关主题