超级计算机首次通过图灵测试

正6月7日,英国雷丁大学研究表明,有一台超级计算机成功让人类相信它是一个13岁的男孩儿,从而成为有史以来首台通过"图灵测试"的机器。据悉,参加英国皇家学会测试的共有5台机器,他们的目标是通过文本对话让测试者将其误认为是人类。这项测试起源于1950年,由计算机科学先驱阿兰·图灵(Alan Turing)设计。图灵表示,倘若机器与人类无法区分,就表明机器也在"思考"。     

一种多级安全系统模型的隐通道流量分析

利用Markov状态机形式化地描述了一种多级的，基于模式转换的安全系统模型，该模型利用系统可分分性构筑，将一个多级的安全系统划分成多个运行模式，利用该模式可提高所设计系统的灵活性，但该模型存在隐通道问题，利用香农信息论和广义图灵测试模型证明该模型中隐通道流量存在上限并给出定量分析，从而为达到可控的系统安全性和灵活性平衡提供了理论基础，采用该系统模型和隐通道流量分析，通过限制模式转换频率和限制参与转换的资源数目等方法可控制隐通道隐患。     

关于智能、思维和人工智能的思考

在计算机科学的众多领域中，人工智能（AI）无疑是最富有挑战性和创造性的一个领域。多少年来，人们梦寐以求是让计算机象人那样会学习以获取解决问题所必需的知识，象人那样具有智能，能够进行创造性的思维。纵观AI发展过程，我们不难看到它既饱尝了成功的欢乐，也经历了争论、批评、阻力的困惑。现在，当面对处于低潮的AI进行思考的时候，我们从AI走过的道路里能够得到什么启示呢？AI要解决的问题是机器智能，什么是智能？怎样才能使机器具有智能？这些理所当然地成为AI工作者面对的问题。1关于图灵试验当谈到智能的时候，不能不涉及…     

逻辑的困惑

<正>一位研究数理逻辑的朋友告诉我,20世纪四位最有影响的思想家当中,有三位同逻辑有关,这让他十分自豪。这三位是哥德尔、冯·诺伊曼和图灵。显然,后两位的名气要比哥德尔大,他们都是计算机时代的奠基者,而且都亲自参与制造最早的计算机。计算机恐怕是20世纪的头号科技成就了。而计算机的设计又离不开哥德尔的数理逻辑,     

一类反应扩散系统的振幅方程及其斑图稳定性分析

分析了Brusselator模型产生斑图的必要条件,求得系统在图灵分岔处的振幅方程,进一步讨论了对应斑图的稳定性.在此基础上,通过数值模拟,验证了理论分析的正确性.     

电脑能战胜人脑吗?

<正>今年6月8日,英国雷丁大学的几位研究人员宣称,"尤金·古斯特曼"软件通过了图灵测试,并称其为人工智能领域的一个"里程碑"事件。随后,一些媒体也按照"里程碑"的意义纷纷报道了这件事,但是引起很多人的疑问。为此,我们请教了中国科学院数学与系统科学研究院的陆汝钤院士等几位研究人员。测试结论是否靠谱?科学世界:在人工智能(AI)学界来看,英国研究者所称的"尤金软件通过了图灵测试"这件事,真的具有"里程碑"意义吗?陆汝钤:我个人感觉这种说法是不对的。他们作的这个结论并不符合图灵的原意。     

人机博弈,不只是游戏

 人类在漫长的历史中,发明了很多有趣的棋类和游戏供自己消遣和放松。计算机的出现特别在是计算机掌握了基本的游戏规则之后,人类不再需要一个同伴也能随时随地地享受对弈的乐趣。长期以来,计算机都是人类的手下败将,很多人也因此玩得津津有味。     

探索大脑与创造“大脑”

 人类因为非凡的大脑而成为万物之灵,并借助大脑去探索未知。作为既熟悉又陌生的领域,大脑成为我们探索的目标。以探索驱动创造,人工智能这一智慧的产物也由此诞生。     

图灵、人脑计划与智能之年

为了表达对阿兰·图灵的敬意,《自然》杂志建议将图灵百年诞辰的2012年命名为“智能之年”．以纪念这位科学界的先知人物。暂且不论图灵在破译密码和计算机领域的成就．以及在植物学和物理学方面的造诣．其实图灵一直耿耿于怀的是未能实现构造一个大脑以复活唯一真正朋友的愿望。