2016年9月14日晚7点，北航bat365在线平台官网在学院路校区一号教学楼201成功举办本学年第一次高端论坛，主讲人是刘译璟先生，主题为《计算、计算机与人工智能》。经管学院王惠文教授，分团委书记张驰老师，2014级辅导员胡杰以及经管学院200多名同学参加此次论坛。
讲座开始，刘译璟先生以DNA作为切入点，引出计算的主题。刘译璟先生告诉同学们自然算术是典型的计算，但计算的原理需要我们深入思考，如一加一为什么等于二，是否可以等于三。刘译璟先生从Peano算术出发，介绍基于集合论的几种自然数模型。然后刘译璟先生又从希尔伯特和形式主义两方面，介绍机械计算的定义，展示Lambda演算的形式与求值规则。图灵机的发明实现了自然数和加法法则在机器上的运算，极大提升人类工作的效率。由此刘译璟先生说明了计算由表示形式和变换规则组成，也向同学们展示了目前人类有能力研究的实数微乎其微。
然后刘译璟先生介绍电子计算机与摩尔定律，从计算的主题引出计算机。因特尔的创始人摩尔提出，当价格不变时，集成电路上可容纳的元器件的数目，约每隔18-24个月便会增加一倍，性能也将提升一倍；然而，这个趋势持续了半个多世纪后似乎达到了一种物理极限，电子隔板足够薄时出现的漏电现象将使摩尔定律失效。沿着提升计算机性能的思路，刘译璟先生以首台商用量子计算机——D-Wave量子计算机为例，从原理出发向同学们介绍量子计算机——这是一类遵循量子力学规律进行高速数学和逻辑运算、存储及处理量子信息的物理装置，他同时也介绍了我国在量子计算方面的卓越成果。
最后，刘译璟先生从图灵对计算机智能的思考以及图灵测试引出人工智能的主题。智能体发展朝着具体特征和技术方向前进，人工智能的特征包括感知能力、记忆能力、思维能力、学习能力、自适应能力和行为能力等。其发展包括三大不同的学派——符号主义、连接主义和行为主义，本质分别为实现人的思维和知识、实现人脑活动和实现自主智能体。刘译璟先生又以Bin Picking机器人为案例，介绍人工智能的技术和应用。在人工智能的发展方面，刘译璟先生提及深度学习，以手写识别的应用案例向大家展示深度学习如何使机器更加智能。刘译璟先生进一步表示，只有深度学习的人工智能还远远不够，在未来还需要更深远的探索。
王惠文教授最后做总结发言，她对刘译璟先生的讲座表示高度赞扬。王惠文教授认为刘译璟先生的讲话让同学们更加深切地了解规则的含义，并能让大家能对世界潮流有更好的把握。本学年第一次高端论坛在大家热烈的掌声中落下帷幕。
文/周逸美 图/贾世涛
