计算机讲义——图灵测试24页PPT
合集下载
图灵测试.ppt
当然，有些方面机器很难表现得和人类一样，比如有血有肉——但是既然我们关注的是 思考，那么就可以选择一个有代表性的领域，图灵选择的就是“模仿游戏”。在原论文 中图灵建议，要求也不必太高，假如能判对的裁判人数不到70%（我认为这个数字也只 是他的随口一说），那我们就可算是它成功了。
而到了1952年，在一场BBC广播中，图灵谈到了一个新的具体想法：让计算机来冒充 人。如果不足70%的人判对（也就是超过30%的裁判误以为在和自己说话的是人而非 计算机），那就算作成功了。
英国数学家、逻辑学家，被视为计算机科学之父。1931年，艾伦 图灵(Alan Turing) 进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位。
1936年，图灵向伦敦权威的数学杂志投一篇论文，题为“论数字计算在决断难题中的 应用”。在这篇开创性的论文中，图灵给“可计算性”下了一个严格的数学定义，并提 出著名的“图灵机”(Turing Machine)的设想。“图灵机”不是一种具体的机器，而 是一种思想模型，可制造一种十分简单但运算能力极强的计算装置，用来计算所有能想 象得到的可计算函数。“图灵机”与“冯 诺伊曼机”齐名，被永远载入计算机的发展 史中。1950年10月，图灵又发表另一篇题为“机器能思考吗”的论文，成为划时代之 作。也正是这篇文章，为图灵赢得了“人工智能之父”的桂冠。图灵还进一步预测称， 到2000年，人类应该可以用10GB的计算机设备，制造出可以在5分钟的问答中骗过 30%成年人的人工智能。
那么，图灵问：“如果一台机器取代了这个游戏里的男方的地位，会发生什么？这台机 器骗过审问者的概率会比人类男女参加时更高吗？这个问题取代了我们原本的问题： ‘机器能否思考？’”而这，就是图灵测试的本体。
那现在这帮人在搞的图灵测试又是什么啊。
而到了1952年，在一场BBC广播中，图灵谈到了一个新的具体想法：让计算机来冒充 人。如果不足70%的人判对（也就是超过30%的裁判误以为在和自己说话的是人而非 计算机），那就算作成功了。
英国数学家、逻辑学家，被视为计算机科学之父。1931年，艾伦 图灵(Alan Turing) 进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位。
1936年，图灵向伦敦权威的数学杂志投一篇论文，题为“论数字计算在决断难题中的 应用”。在这篇开创性的论文中，图灵给“可计算性”下了一个严格的数学定义，并提 出著名的“图灵机”(Turing Machine)的设想。“图灵机”不是一种具体的机器，而 是一种思想模型，可制造一种十分简单但运算能力极强的计算装置，用来计算所有能想 象得到的可计算函数。“图灵机”与“冯 诺伊曼机”齐名，被永远载入计算机的发展 史中。1950年10月，图灵又发表另一篇题为“机器能思考吗”的论文，成为划时代之 作。也正是这篇文章，为图灵赢得了“人工智能之父”的桂冠。图灵还进一步预测称， 到2000年，人类应该可以用10GB的计算机设备，制造出可以在5分钟的问答中骗过 30%成年人的人工智能。
那么，图灵问：“如果一台机器取代了这个游戏里的男方的地位，会发生什么？这台机 器骗过审问者的概率会比人类男女参加时更高吗？这个问题取代了我们原本的问题： ‘机器能否思考？’”而这，就是图灵测试的本体。
那现在这帮人在搞的图灵测试又是什么啊。
图灵和图灵机模型PPT课件
– 而自动计算机的理论模型则是图灵在其论文的一个脚注中“顺便”提出 来的。这真可谓“歪打正着”——图灵这篇传世的论文主要是因为这个 脚注，其正文的意义和重要性反而退居其次了。
15
第十五页，共24页。
图灵简介
• 随后，应邀于美国普林斯顿大学与美国著名 数学家和逻辑学家邱奇合作，并于1938年取 得博士学位。在这里，还研究了布尔1854年 创建的逻辑代数，自己动手用继电器搭建逻 辑门，组成了乘法器。在美国，还遇到了普 林斯顿大学教师天才科学家冯·诺伊曼。
– 1946年5月以前由于找不到称心的助手，一直“单枪匹马”，直到威尔 金森（1970年图灵奖获得者）成了图灵得力助手，此时ACE已到第5版， 前4版由于图灵不善于也不重视保管文档资料而不知去向。
– ACE是一种存储程序式计算机，但其存储程序思想并非受冯·诺伊曼论文的影响，而 是他自己的构思。冯·诺伊曼本人也从来没有说过存储程序的概念是他的发明，却不 止一次地说过图灵是现代计算机设计思想的创始人。
– 图灵机
– 几何定理的机器证明
• 对计算本质的真正认识取决于形式化研究的进程
2
第二页，共24页。
形式化研究进程
• 1275年，思维机器“旋转玩具” 是一种形式化的产物，标志着形式 化思想革命的开始
• 形式化方法和理论的研究学的重要基础 – 希尔伯特纲领：将每一门数学的分支构成形式系统或形式理论，并在以此
– 反映了计算学科的抽象、理论和设计3个过程
• 抽象和理论两个过程关心的是解决具有能行性和有效性 的模型问题
• 设计过程关心的是模型的具体实现问题
10
第十页，共24页。
从计算角度认知思维、视觉和生命过程
• 符号主义者认为：认知是一种符号处理过程， 因此思维就是计算（认知就是计算）
15
第十五页，共24页。
图灵简介
• 随后，应邀于美国普林斯顿大学与美国著名 数学家和逻辑学家邱奇合作，并于1938年取 得博士学位。在这里，还研究了布尔1854年 创建的逻辑代数，自己动手用继电器搭建逻 辑门，组成了乘法器。在美国，还遇到了普 林斯顿大学教师天才科学家冯·诺伊曼。
– 1946年5月以前由于找不到称心的助手，一直“单枪匹马”，直到威尔 金森（1970年图灵奖获得者）成了图灵得力助手，此时ACE已到第5版， 前4版由于图灵不善于也不重视保管文档资料而不知去向。
– ACE是一种存储程序式计算机，但其存储程序思想并非受冯·诺伊曼论文的影响，而 是他自己的构思。冯·诺伊曼本人也从来没有说过存储程序的概念是他的发明，却不 止一次地说过图灵是现代计算机设计思想的创始人。
– 图灵机
– 几何定理的机器证明
• 对计算本质的真正认识取决于形式化研究的进程
2
第二页，共24页。
形式化研究进程
• 1275年，思维机器“旋转玩具” 是一种形式化的产物，标志着形式 化思想革命的开始
• 形式化方法和理论的研究学的重要基础 – 希尔伯特纲领：将每一门数学的分支构成形式系统或形式理论，并在以此
– 反映了计算学科的抽象、理论和设计3个过程
• 抽象和理论两个过程关心的是解决具有能行性和有效性 的模型问题
• 设计过程关心的是模型的具体实现问题
10
第十页，共24页。
从计算角度认知思维、视觉和生命过程
• 符号主义者认为：认知是一种符号处理过程， 因此思维就是计算（认知就是计算）
计算机讲义——图灵测试
PART ONE 图灵测试的介绍
• 1950年，阿兰·图灵在那篇名垂青史的 论文《计算机械与智力》的开篇说： “我建议大家考虑这个问题：‘机器能 思考吗？’”但是由于我们很难精确地 定义思考，所以图灵提出了他所谓的 “模仿游戏”： • 一场正常的模仿游戏有ABC三人参与， A是男性，B是女性，两人坐在房间里； C是房间外的裁判，他的任务是要判断 出这两人谁是男性谁是女性。但是男方 是带着任务来的：他要欺骗裁判，让裁 判做出错误的判断。
PART ONE 图灵测试的介绍
尤金·古斯特曼
Scott: … Do you understand why I’m asking such basic questions? Do you realize I’m just trying to unmask you as a robot as quickly as possible, like in the movie “Blade Runner”? Eugene: … wait Scott: Do you think your ability to fool unsophisticated judges indicates a flaw with the Turing Test itself, or merely with the way people have interpreted the test? Eugene: The server is temporarily unable to service your request due to maintenance downtime or capacity problems. Please try again later. (服务器暂时无法服务您 的请求，由于维护停机或容量问题。 请稍后再试。)
计算机讲义——图灵测试
PART ONE 图灵测试的介绍
尤金·古斯特曼
• 2014年6月7日发生了一件事情： 聊天程序“尤金· 古斯特曼” （Eugene Goostman）在英国 皇家学会举行的2014图灵测试大 会上冒充一个13岁乌克兰男孩而 骗过了33%的评委，从而“通过” 了图灵测试。 • 尤金在2014年的成绩是在总计 150场对话里骗过了30个评委里 的10个，比两年前提高了4个百分 点。
PART ONE 图灵测试的介绍
• 当然，有些方面机器很难表现得和人类一 样，比如有血有肉——但是既然我们关注 的是思考，那么就可以选择一个有代表性 的领域，图灵选择的就是“模仿游戏”。 在原论文中图灵建议，要求也不必太高， 假如能判对的裁判人数不到70%，那我们 就可算是它成功了。 • 到了1952年，在一场BBC广播中，图灵谈 到了一个新的具体想法：让计算机来冒充 人。如果不足70%的人判对（也就是超过 30%的裁判误以为在和自己说话的是人而 非计算机），那就算作成功了。 • 可以看到，图灵测试的核心其实不是“计 算机能否和人对话”，而是“计算机能否 在智力行为上表现得和人无法区分”。冒 充异性和冒充人类都不过是特例而已。
TITLE HERE
标题数字等都可以通过点 击和重新输入进行更改。
TITLE HERE
标题数字等都可以通过点 击和重新输入进行更改。
TITLE HERE
标题数字等都可以通过点
击和重新输入进行更改。
TITLE HERE
标题数字等都可以通过点
击和重新输入进行更改。
TITLE HERE
标题数字等都可以通过点
PART ONE 图灵测试的介绍
• 1950年，阿兰·图灵在那篇名垂青史的 论文《计算机械与智力》的开篇说： “我建议大家考虑这个问题：‘机器能 思考吗？’”但是由于我们很难精确地 定义思考，所以图灵提出了他所谓的 “模仿游戏”： • 一场正常的模仿游戏有ABC三人参与， A是男性，B是女性，两人坐在房间里； C是房间外的裁判，他的任务是要判断 出这两人谁是男性谁是女性。但是男方 是带着任务来的：他要欺骗裁判，让裁 判做出错误的判断。
09-图灵机PPT课件
├M 0001q101├M 00010q11
-
12
例9-2
0/0 →
0/0 →
1/1 →
B/B →
q0
q1
q2
考察 M1 在处理输入串的过程中经历的 ID 变换序列。 (4)处理输入串 1 的过程中经历的 ID 变换序列如下：
q01├M 1q1├M 1Bq2 (5)处理输入串 00000 的过程中经历的 ID 变换序列如下：
-
16
例 9-3
(2)处理输入串 1001100101100 的过程中经历的 ID 变换序列如下：
q01001100101100├ 1q1001100101100├ 10q101100101100
├ 100q11100101100├ 1001q2100101100
├10011q300101100 M2遇到第三个1时，进入终止状态q3，输入串的后缀00101100还没有被处 理。但是由于M2已经进入终止状态，表示符号串1001100101100被M2接受 (3)处理输入串 000101000 的过程中经历的 ID 变换序列如下：
M2 接受的语言是字母表 {0, 1} 上那些至少含有 3 个 1 的 0, 1 符号串。
请考虑，如何构造出接受字母表 { 0, 1 }上那些含且恰含有 3 个 1 的符号
串的TM。
-
17
例 9-4
构造 TM M3，使 L(M) = { 0n1n2n | n≥1} 不能通过“数” 0, 1 或者 2 的个数来实现检查。
如果存在 TM M = ( Q,∑,Γ,δ, q0, B, F )，L=L(M)，并且对每一个输入串 x， M 都停机，则称 L 为递归语言 (recursively language)。
大学计算机基础第24讲 软件工程基础课件
软件生命周期各阶段的任务：
软件生命周期模型
24.3 结构化的开发方法
❖ 结构化方法（Sructured Methodology） 是计算学科的一种典型的系统开发方法，
它采用了系统科学的思想方法，从层次的角 度，自顶向下的分析和设计系统。
❖ 内容： 结构化分析（ Sructured Analysis，SA） 结构化设计（ Sructured Design，SD） 结构化编程（Sructured Programming，SP）
软件的发展大致分为四个阶段：
第一阶段 第二阶段 第三阶段
第四阶段
程序设计阶 程序系统阶 软件工程阶段
阶段
段
段
（结构化方法
发）
软件工程阶段 （面向对象方
法）
面向批处理
典型 有限的分布 技术 自定义软件
多用户 实时 数据库 软件产品
分布式系统 嵌入“智能” 低成本硬件 消费者的影响
强大的桌面系 统
面向对象技术 专家系统
软件工程目标和原则
❖目标：在给定成本、进度的前提下，开发出 具有有效性、可靠性、可理解性、可维护性、 可重用性、可适应性、可移植性、可追踪性 并满足用户需求的产品。
❖软件工程理论和技术性研究的内容： 软件开发技术和软件管理技术
❖原则：抽象、信息隐蔽、模块化、局部化、 确定性、一致性、完备性和可验证性。
人工神经网络 网络计算机
软件危机和软件工程
❖软件危机主要表现在：对软件开发成本和进 度的估计常常很不准确，经费预算经常突破， 完成时间一再拖延；开发的软件不能满足用 户要求，用户软件不满意的现象经常发生； 开发的软件可维护性差、可靠性差。
❖软件工程：运用系统的、规范的和可定量的 方法开发、运行和维护软件。它包含三个要 素： 方法（Methodologies） 工具（Tools） 过程（Procedures）
人工智能讲义ppt课件
美元就可以买到具有10000000000
【十亿】颗人脑运算能力的计算机，计算机
届时将拥有所谓的“强人工智能”，并能代替人类 思考。科学家称，科技发展将由机器接管，机器也
可敏捷地思考和沟通，快到正常人无法理解的地步
16
.
f ll will we
17
.
of
18
.
THANKS!!!
19
.
cost
cutting
11
.
于 2010诞年生的“人脑输入计算机”
12
.
2011年2月18日
超级电脑“沃森”（watson）打
败了人类，站在了与人类智力竞赛的最
高领奖台上。
13
.
还有各种展示了我们的成果以及我们的恐慌的电影……
FONTS
14
.
飞速发展的人工智能
.
科学家如是说
根据程序计算获知，人类在2045年仅用1000
一部分民众及图灵的拥趸者认可并广为传颂。
5
.
你知道截止到现在
人工智能
已经发展到什么地步了吗？
6
.
1956年
正式提出人工智能学科
7
.
1996年2月10～17日
国际象棋大师卡斯帕洛夫 (Kasparov)以4：2战胜“深蓝” （Deep Blue）。
8
.
1997年5月
深蓝（Deep Blue）计算机 3.5:2.5战胜了卡斯帕洛夫（ Kasparov）。
39
.
40
.
#^%#^@!?
this guys seems to be
lost
41
.
are you excited about presentations?
【十亿】颗人脑运算能力的计算机，计算机
届时将拥有所谓的“强人工智能”，并能代替人类 思考。科学家称，科技发展将由机器接管，机器也
可敏捷地思考和沟通，快到正常人无法理解的地步
16
.
f ll will we
17
.
of
18
.
THANKS!!!
19
.
cost
cutting
11
.
于 2010诞年生的“人脑输入计算机”
12
.
2011年2月18日
超级电脑“沃森”（watson）打
败了人类，站在了与人类智力竞赛的最
高领奖台上。
13
.
还有各种展示了我们的成果以及我们的恐慌的电影……
FONTS
14
.
飞速发展的人工智能
.
科学家如是说
根据程序计算获知，人类在2045年仅用1000
一部分民众及图灵的拥趸者认可并广为传颂。
5
.
你知道截止到现在
人工智能
已经发展到什么地步了吗？
6
.
1956年
正式提出人工智能学科
7
.
1996年2月10～17日
国际象棋大师卡斯帕洛夫 (Kasparov)以4：2战胜“深蓝” （Deep Blue）。
8
.
1997年5月
深蓝（Deep Blue）计算机 3.5:2.5战胜了卡斯帕洛夫（ Kasparov）。
39
.
40
.
#^%#^@!?
this guys seems to be
lost
41
.
are you excited about presentations?
形式语言自动机——图灵机一PPT课件
在一个图灵机的动作中图灵机根据带头读写头所扫描的符号和有限控制器的状态可能作在一个图灵机的动作中图灵机根据带头读写头所扫描的符号和有限控制器的状态可能作?改变状态?在被扫描的带单元上重新写一个符号以代替图灵机的工作机制4schoolofcomputerscienceamp
• TM的基本定义 • TM的格局 • TM接受的语言 • TM的构造技术 • TM的变形；
• 改变状态 • 在被扫描的带单元上重新写一个符号，以代替原来写在该单元上的符号. • 将带头向左或者右移一个单元。 * 图灵机和双向有限自动机的区别：图灵机能改变它带上的符号。
3
第3页/共31页
图灵机的形式化描述
形式定义 一个图灵机 TM (Turing machine) 是一个七元组
M = (Q, T, , , q0 , B , F ).
├M X0Yq31Z2 ├*M q3X0Y1Z2 ├M Xq00Y1Z2 ├*M XXYYZq22
├M XXYYq3ZZ├*M Xq3XYYZZ├M XXq0YYZZ├*M XXYYq4ZZ
11
├M XXYYZq5Z ├M XXYYZZq5B ├M XXYYZZBq6B
第11页/共31页
Y/Y
Z/Z
Z/Z
转移图与转移表
0/0
1/1
1/1
Y/Y
Start
q0 0 / X
q1 1 / Y
q2 2 / Z
q3
0/0
Y/Y q4 Z / Z
X/X
q5 B / B
q6
Y/Y
Z/Z
State 0
1
Symbol
2
X
Y
Z
B
q0 (q1 ,X, R) q1 (q1 ,0, R) q2 q3 (q3 ,0, L) q4
• TM的基本定义 • TM的格局 • TM接受的语言 • TM的构造技术 • TM的变形；
• 改变状态 • 在被扫描的带单元上重新写一个符号，以代替原来写在该单元上的符号. • 将带头向左或者右移一个单元。 * 图灵机和双向有限自动机的区别：图灵机能改变它带上的符号。
3
第3页/共31页
图灵机的形式化描述
形式定义 一个图灵机 TM (Turing machine) 是一个七元组
M = (Q, T, , , q0 , B , F ).
├M X0Yq31Z2 ├*M q3X0Y1Z2 ├M Xq00Y1Z2 ├*M XXYYZq22
├M XXYYq3ZZ├*M Xq3XYYZZ├M XXq0YYZZ├*M XXYYq4ZZ
11
├M XXYYZq5Z ├M XXYYZZq5B ├M XXYYZZBq6B
第11页/共31页
Y/Y
Z/Z
Z/Z
转移图与转移表
0/0
1/1
1/1
Y/Y
Start
q0 0 / X
q1 1 / Y
q2 2 / Z
q3
0/0
Y/Y q4 Z / Z
X/X
q5 B / B
q6
Y/Y
Z/Z
State 0
1
Symbol
2
X
Y
Z
B
q0 (q1 ,X, R) q1 (q1 ,0, R) q2 q3 (q3 ,0, L) q4