图灵测试——机器是否有智能

<正>图灵测试的提出英国科学家图灵(Alan Turing)曾首先提出现代计算机的数学模型——图灵机。这个模型对后世计算机和计算机科学的发展有深远的影响。图灵因此而获得了极大的荣誉。目前世界上计算机科学的最高奖就是图灵奖。     

一种广义分子计算模型在集合覆盖中的应用

在分子计算原理和传统计算机模型基础上,提出了一种新的基于图灵机的广义分子计算模型,又称广义图灵模型,该模型的具体实现不依赖于特定生物技术. 模型继承分子计算大存储高并行的特点,通过时空复杂度转换,在求解NP完全问题上具有通用性. 模型由一台基本图灵机、一个只写带和一条工作带及读写网络这3部分组成,其中只写带和工作带之间存在一种特殊拓扑映射. 通过数据规模为4的集合覆盖问题,证明该算法能在多项式时间内求解集合覆盖问题,验证了算法和模型的有效性.     

人工智能研究的进展与发展趋势

<正> 0 引言 现代人工智能应当从英国科学家阿兰·图灵寻求智能机开始。1937年图灵发表了论文《理想自动机》,给可计算性这一概念下了严格的数学定义,并论证了任何需要精确地加以确定的计算过程都可由图灵机完成,为人们清晰地描述出理想自动机的蓝图。现实世界要处理的大多数问题并不是数值计算,如语言的理解和翻译、图形声音的理解、医疗诊断等等。这种由“数据世界”到“知识世界”的转化,由数据处理范围扩展到符号知识处理范畴的转变是人工智能诞生的重要因素。同时,问题的求解也是相当复杂的,常常没有算法可遵循,或即使有计算方法也不是当今计算技术所能实现的,这类问题的求解可行的方法是搜索、试探,加上经验的启发式知识。模糊性是人类思维的重要特征,试探性的搜索、启发式的不精确的模糊的,甚至允许出现错误的推理方法更符合人类的思维过程。上述观点促进了人工智能学科的诞生。1956年美国的几位心理学家、数学家、计算机科学家、信息论学家在Dartmouth大学召开了会议,提出了人工智能这一学科。     

“Turing预言”在中国实现了——王永成教授领导开发的《中英文自动摘要系统》获成功

早在1950年,著名的英国数学家、模拟智能的先驱者 A.M.图灵(A.M.Turing)在《MIND》(《思想》)杂志上发表了《计算机与智力》一文。在该文中,他率先提出了一种后来被人们称为 Turing     

模仿游戏

<正>二战期间,盟军苦于德国的秘密系统"英格玛"无法破译,政府召集了一批民间数学家、逻辑学家进行秘密破解工作,图灵(本尼迪克特·康伯巴奇Benedict Cumberbatch饰)就是其中之一。计划刚开始图灵遭到了以休(马修·古迪Matthew Goode)为首的组员和领导的排斥,幸好军情处部长孟席斯(马克·斯特朗Mark     

献给图灵百年诞辰的礼物

 2012年6月23日是英国数学家图灵(Alan Mathison Turing,1912—1954)诞生100周年。图灵是世界科学史上罕见的具有非凡洞察力的奇才,他生前就已经名扬四海,死后更倍受尊崇,享有“计算机理论之父”、“人工智能之父”美誉。第二次世界大战中,图灵发明了能破译德军Enigma密码的译码机,从而挽救了千千万万盟军将士和普通百姓的生命,为战胜法西斯作出了重要贡献,因而获得大英帝国荣誉勋章。因此,在图灵诞生100周年之际,世界各国举行了多种形式的纪念活动。在中国,高等教育出版社推出《图灵和ACM图灵奖——纪念图灵百年诞辰》一书,为更好地了解图灵及其事业的众多继承者、了解计算机的发展史提供了难得的素材。     

关于“图灵归约”形式定义的一点注记

M.R.Garey和D.S.Johnson在[3]中引入“图灵归约”的概念,利用这个概念把NP完全性理论推广到包括组合最优化问题在内的更广的一类问题上。他们用oracle图灵机(OTM)模型给出了图灵归约的形式定义。但是,[3]中给出的这个形式定义是错误的。本文指出了这个错误并给出修正。     

从《黑暗的心》谈康拉德的女性意识

康拉德是一位倍受争议的作家。他曾一度被认为歧视女性,有“厌女症”,其代表作《黑暗的心》也由此成为性政治批评文本。文章试图打破男性作家的创作与女权主义解读的二元对立,通过对作者生平和《黑暗的心》中几位重要女性形象的分析,旨在说明康拉德是一位具有强烈女性意识的作家,他在作品中对禁锢女性思想意识形态的父权帝制进行了嘲讽和批判。     

“计算思维”的传承与发展

本文以我国古算具算盘算筹和20世纪30年代问世的图灵机为例,通过详细分析中国古算的算法化思想和图灵机理论后提出：计算思维不是计算机思维,它不是计算机的产物,更不是一个新概念,而是千百年来计算学科在发展过程中一直遵循传承的一种科学思维。     

刘基诗文系年质疑

诗文系年是刘基研究的基础性工作。这一工作做得扎实与否将直接关系到能否正确解读文本，从而深入研究刘基的生平、思想、文学成就等等。文章针对郝兆矩《增订刘伯温年谱》某些诗文的系年提出了质疑。     

《红字》与《圣经》原型

《圣经》是清教主义思想的根源与基础,在霍桑小说《红字》中,他大量移植《圣经》中的人物和情节原型来表达自己的宗教观,揭示人类心灵的秘密,从而获得一种美学上的超越。     

造反与招安的表面矛盾及宋江的心路历程

《水浒传》中的宋江是一个复杂的人物形象,他最矛盾的地方就在于又造反又招安。在对宋江曲折的人生道路的解读中体察并接近其真实的内心世界,可以阐释其在造反和招安的表面矛盾后隐藏的深层秘密:抱负与地位的落差是宋江造反的能量基础;主观上不愿终生与主流社会为敌,不愿永远做"乱臣贼子",客观上梁山的经济问题、暴力问题难以合法而有效地解决,是他被招安的主要原因。     

纪念波利亚《怎样解题》中文版60周年

世界著名数学家和数学教育家波利亚的《怎样解题》中文版于1948年问世,距今已60周年.在介绍波利亚生平的基础上,论述了3个方面的问题:(1)《怎样解题》的基本思想以及学者们研究发展它的情况;(2)波利亚的数学教育思想;(3)在学习接受波利亚数学教育思想的过程中应注意的问题.     

庄子传记的新尝试——读王充闾《逍遥游——庄子传》

庄子是我国伟大的思想家,他的思想沾溉后人,非一代也。关于他的生平,却极少资料。即便他的思想,也是人言各殊,尤其近代之后的以西解庄,更是增添了许多迷惑。王充闾《逍遥游——庄子传》采取了很多实地调查,采集民间传说,广征文献,对于庄子生平的研究有新的进展,所作结论,大皆平实之言。对庄子思想的言说,也颇见功力,虽有一些隔膜之处,但亦难得了。     

计算机基础理论的国内外概况

计算机基础理论和计算机科学与工程有着紧密的联系,后者给前者提供新鲜的课题,前者又为后者长远的发展开辟广阔的途径。没有理论的指导,实践便是盲目的,而有的权威性理论可以起到几十年甚至更长时间的指导作用。例如,世界第一台计算机的设计人冯·诺伊曼就有理论方面很深的造诣,后面还要介绍他所提出的很多重要而且新鲜的理论。另外一个计算机的开拓者英国数理逻辑学家图灵为了研究数学上的可计算性(能行性)而提出了抽象的图灵机,取得了很好的理论成果。1945年他为NPL(英国国家物理研究所)作ACE计算机的总体设计,(这台机器与冯·伊曼的计算机同年,是世界上最早的一批电子计算机)。     

有限制的通用模糊图灵机研究

给出了模糊图灵机的几种等价形式,包括具有分明转移函数的模糊图灵机(FNTMc)、模糊图灵机(FNTM)以及模糊多带图灵机.利用模糊图灵机,定义了模糊递归枚举语言与模糊递归语言,并给出它们的层次刻画,证明了不存在通用模糊图灵机;如果限制模糊集的隶属函数为单位区间[0,1]的固定有限子集D,对应的模糊图灵机称为限制型模糊图灵机,则存在通用的限制型模糊图灵机,而且这类图灵机可以以任意给定精度模拟其他模糊图灵机,从而通用模糊图灵机在逼近意义下是存在的.     

新书新碟

新书上架《倒计时:航天器的历史》出版:上海科学技术出版社编辑推荐:本书详细地记录和解读了人类征服太空及航天器发展的历史过程和鲜为人知的历史秘密,为人们再现了美国和前苏联在发展航天科技过程中一幕幕惊心动魄的场面,以及科学家、宇航员们为之不懈奋斗的悲壮史实。在中国载人飞船事业蓬勃发展之际,要想了解人类征服太空和世界航天器的发展史,本书值得一读。     

马克思1844年初转变性质试探

1843年3月,马克思退出了《莱茵报》编辑部,这是马克思思想发展的一个新起点。他继续以顽强的毅力向“新世界”探索。1844年初,在法国巴黎,他在《德法年鉴》上发表了《论犹太人问题》和《黑格尔法哲学批判导言》两篇论文,这是他在这几个月里进行探索的成果。此时,马克思驾驶的思想之帆到达了“新世界”——历史唯物主义和科学共产主义了     

一种新的(t,n)门限多重秘密共享方案

该论文提出了一个基于单向函数的( t ,n )多重秘密共享方案,在该方案中,参与者的子秘密可反复使用,可用来共享任意多个秘密;能有效预防秘密分发中心欺诈及参与者之间的互相欺骗, 且在验证是否有欺诈行为存在的过程中不需要执行交互协议;重要的是,本方案的计算量相对较小。     

一类递归函数的符号计算

针对有限状态自动机只能识别正规集合和计算一些相对简单函数的问题，给出了一类递归函数的符号计算方法。该方法把递归函数和图灵机结合起来，通过符号处理可以用接受自变量的图灵机来模拟后继函数的计算过程，对计算机病毒程序及自复制／自传播的研究具有一定的参考价值。