在计算机专业教育中引入跨学科元素——“网络”课教学的初步实践与体会

<正>1912年6月23日,艾伦·图灵在英国伦敦出生。今年,值图灵诞辰100周年之际,国际计算机界都在纪念这位当代计算技术的伟大先驱。在计算机科学界,2012年被称为"图灵年"。《计算机教育》杂志从去年开始就在筹划出一期专刊,我以为很有意义,一方面,它表达了中国计算机     

R/M中的与R中的≤T的关系

证明存在递归可枚举图灵度a和c使得ca,并且对每个递归可枚举图灵度b≤_Ta, b≠c, 其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可盖图灵度集M的商.     

图灵的遗产和后继者们的责任

<正>1艾伦.图灵的遗产2012年6月23日是艾伦·麦席森·图灵(Alan Mathison Turing)诞辰100周年纪念日。多年以来,计算机行业的从业者总是对图灵怀有一种特殊的崇敬——不只因为这位英国数学家堪称为计算机科学     

每个非零的 a∈ R/ M 中不存在极小元

证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c   

少儿图灵测试回顾

报告了关于少儿图灵测试(CTT)的一项研究工作.研究区别于其他人的主要之处是该测试程序是基于知识的,它依靠一个海量常识知识库的支持.给出了作者研究少儿图灵测试的动机、设计、技术、实验结果和平台(包括一个知识引擎和一个会话引擎).最后给出了关于少儿图灵测试的几点研究结论和思考.     

图灵测试能证实人工智能的存在吗

图灵测试是机器是否具有智能的重要标志之一,它最早被英国科学家、人工智能主要奠基人图灵（1912～1954）提出。在信息技术必修教材中的人工智能部分不但被提及,而且给出了一些可以对话的机器人,让学生通过与计算机的对话并寻找其中的破绽来感受人工智能的存在,     

巨人的肩膀（二）——简单，却不简单的冯·诺依曼

上次我们讲述阿兰·图灵的故事时曾经说过。图灵同学有一个“计算机之父”的称号。那么计算机之母是谁呢？其实计算机是无性繁殖的,它没有妈,却有两个爸,“计算机之父”除了图灵还有一个.这一位“计算机之父”的名气比图灵大得多,无论是计算机科班出身的专业人士,还是初入门的新人,无人不知他的大名。就连那些对计算机毫无兴趣．仅仅为了职称考试而去上计算机培训课的人。     

图灵:计算理论的奠基人

广义的信息理论包含计算理论和通信理论两大部分。计算理论指经典的可计算性理论,代表人物是英国科学家图灵;通信理论指经典的信息论,代表人物是美国科学家香农。本文介绍图灵的杰出贡献,一是建立了图灵机模型,奠定了可计算理论的基础;二是提出了图灵测试,阐述了机器智能的概念。他当之无愧地被誉为“计算机科学之父”。但是在他生活的时代,却完全没有这些赞誉。当时认为他不过是一位古怪的数学家、超前的哲学家、神秘的密码破译专家,没有人会想到他的思维能燃起信息时代的烈焰。童年的艰辛艾兰·图灵(Alan MathisonTuring,1912-1954年)于…     

R/M中的(≤)与R中的≤T的关系

证明存在递归可枚举图灵度a和c使得c(≤)a,并且对每个递归可枚举图灵度b≤Ta, b≠c, 其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可盖图灵度集M的商.     

在教学中传递“思想”——纪念图灵诞辰100年有感

<正>今年是图灵诞辰100周年,我们有必要隆重纪念这位伟大的学者。仔细想想,在学习计算机的同学中,很多人不时想到"什么时候中国能出个图灵奖得主啊?"除此之外,又有多少人真正领会到图灵的伟大呢?     

虚拟的孪生图灵机——以双语信息处理为例

本文阐述一种虚拟的孪生图灵机,即：由两个图灵机组成的孪生并行计算机,其特征是其受限模式与派生模式分别由汉语的言即单音节字的基本符号对象和语即双音节多音节字组的符号组合解释为例加以说明。其作用在于基于它可建构理想的双语信息处理系统,即：协同智能计算系统;应用它可形成并行计算、分布计算、网格计算、虚拟计算和云计算乃至超级计算。其意义在于借助它蕴含的协同智能计算本质——虚拟与现实的关系,可把图灵可计算性、计算复杂性（其中揭示了一个基本原理——NP=P当且仅当N可有可无）和图灵测试连贯起来。     

2012图灵年全球纪念活动札记

<正>为了纪念图灵百年诞辰(1912—2012年),TCAC(the Turing Centenary Advisory Committee,图灵百年纪念咨询委员会)协调安排了为期一年的活动,并将2012年订为"图灵年"(Alan TuringYear)。     

图灵，电脑的思想领袖

图灵提出的图灵机概念,为研制通用计算机奠定了思想和理论基础。1954年6月,图灵因为吃了有毒的苹果而在家中死去,年仅42岁。图灵一生虽短,但是他可谓是电脑的先驱,正是他提出的图灵机,成为计算机的思想和理论基础。后人为纪念这位"计算机科学之父",在英国曼彻斯特的Sackville公园为他建造了一尊真人大小的青铜坐像,这尊塑像是2001年6月23日,也就是图灵89岁诞辰那天揭幕的。图灵去世     

中小学人工智能图灵测试体验式教学活动设计研究

本文梳理了国内外人工智能教育在中小学的应用,以及在人工智能教学中融合图灵测试的现状,指出了将图灵测试引入中小学人工智能教学的价值,并基于此设计了基于图灵测试的中小学人工智能教学活动模式,最后介绍了相关的实施案例,希望能为图灵测试在中小学人工智能课程活动中的应用提供有益参考.     

镜像图灵测试:古诗的机器识别

古诗伴随着中华文化的历史进程不断发展,有着数千年的灿烂历史,古诗将丰富的情感、有内涵的灵魂和生动的形式完美结合,表现出了中华民族语言的力量."自然语言处理是人工智能皇冠上的明珠",用机器生成语言是机器智慧的核心体现,对机器的语言进行测试是图灵测试的重要内容,用机器生成的中国古代诗词已经可以初步通过图灵测试,在普通人面前得以瞒天过海.本文提出了"镜像图灵测试"框架,其主要设计思想是将图灵测试中的测试者由人更换为计算机,要求测试者在图灵测试的同等条件下对被测试的人和计算机进行识别,若测试计算机不能完成对被测试者的识别,则认为被测试的机器通过了镜像图灵测试.本文以机器生成的古诗和诗人创作的古诗为测试对象,以经过LDA主题模型调节的融合自注意力机制和切片LSTM网络的模型为测试机,设计了镜像图灵测试实验.实验将古诗分为写景、抒情以及爱国诗三类,为每类诗歌构建了8组数据集,共8万句古诗,采用了4种模型对24组数据集进行测试,利用测试机判别诗歌来自诗人还是机器,识别结果可达80％左右,实验结果显示,镜像图灵测试机可以对机器生成的诗歌进行识别,即机器生成的通过了图灵测试的诗歌并没有通过镜像图灵测试,说明了诗歌作为人类语言文明的结晶,是人脑情感最突出的反应,是诗人全身心的投入后的灵魂映射,在一定意义上是图灵可测的,即如果存在图灵可测的不完备性,那么诗歌这个人类语言的精华所在,就是突破这个图灵不完备性的关隘.本文提出的镜像图灵测试框架为后续图灵测试的研究提供了新的思路与方向.     

向先贤致敬,追从图灵精神

<正>2012年是"计算机科学与人工智能之父"艾伦·麦席森·图灵诞辰100周年。百年前的6月23日,图灵像无数的普通人一样,来到这个多变的世界,然而在经历了人生的大起大落后,他用短暂生命凝结出的科学成果,却在其逝去的半     

图灵机和图灵测试

阿兰?图灵为人工智能学的诞生做出了重大的贡献,本文介绍了图灵机和图灵测试,图灵机对计算机的结构、可实现性和局限性都产生了深远的影响,而图灵测试为机器能否思考的争论双方找到了一种公认的判决准则。     

献给图灵百年诞辰的礼物——《图灵和ACM图灵奖——纪念图灵百年诞辰》

今年6月23日是英国科学家图灵诞生100周年。图灵是享有“计算机理论之父”和“人工智能之父”美誉的科学家,在第二次世界大战中发明了能破译德军Enigma密码的译码机,挽救了千千万万盟军将士和普通百姓的生命,为战胜法西斯作出了重要贡献。因此,在图灵诞生100周年之际,     

拔尖创新人才培养——写在图灵诞辰100周年

<正>图灵1912年6月23日出生于伦敦近郊的帕丁顿(Paddington)自治镇,13岁时进入舍本中学(SherbourneSchool),1931年进入剑桥的"国王学院"(King’sCollege)攻读数学。1935年,图灵开始对数理逻辑发生兴趣,以他的才华、执着和努力,在24岁时提出了一个     

简评

未来机器智能一定超过人类 在计算机科学先驱阿兰·图灵去世60周年纪念日当天,英国皇家学会举办了一次“图灵测试”活动,目标是希望通过文本对话让测试者将其误认为是人类。此项测试最初由图灵本人设计,图灵认为如果计算机与人类无法区分,就表明机器也在思考。