情感美文

当前位置:首页 > 情感控制 > 【迎百年校庆】林惠民院士做客“百年南开大讲坛”

【迎百年校庆】林惠民院士做客“百年南开大讲坛”

时间:2019-06-16 整理:本站 点击:162次
来源:南开新闻网讯(通讯员祁晓飞记者乔仁铭摄影乔仁铭)5月28日,中国科学院院士、计算机科学国家重点实验室主任林惠民院士做客百年南开大讲坛,以计算与智能为题,作了精彩的学术报告。 我校计...

【迎百年校庆】林惠民院士做客“百年南开大讲坛”

来源:南开新闻网讯(通讯员祁晓飞记者乔仁铭摄影乔仁铭)5月28日,中国科学院院士、计算机科学国家重点实验室主任林惠民院士做客百年南开大讲坛,以计算与智能为题,作了精彩的学术报告。 我校计算机学院、网络空间安全学院师生代表160余人参加。 讲座中,林惠民围绕什么是计算什么是智能以及计算与智能之间的关系、人工智能伦理等进行了深刻的阐述,并介绍了计算智能概念的发展历程。

  林惠民指出,计算、推理都是符号的形式变换,可以机械地进行的智能活动可以归结为已有符号的变换,不产生新符号,本质上不产生新知识。 他认为,计算机是机械智能机,只会机械的思考,只有机械的智能,本质上没有创造性,但是人可以利用计算机这个强大的工具从事无法做到的创造性的智能活动。   在互动环节中,现场师生积极向林惠民提问,从计算机的技术属性等本质问题出发,进行了深入交流。

  我校计算机学院、网络空间安全学院相关负责人主持报告会,并为林惠民颁发百年南开大讲坛主讲人证书牌。

  林惠民在多年的科学研究中设计并实现了通用进程代数验证工具PAM/VPAM,并对此类工具的发展产生了重要影响。

与英国Hennessy教授合作,提出并独立发展了符号互模拟理论,解决了传统并发计算模型对大量实际应用不能有效模拟的问题,为在计算机上对通信并发进程进行推理和验证提供了理论依据。

提出并发计算模型之一-演算弱互模拟的完备证明系统和唯一不动点归纳法,解决了-演算的有穷公理化问题。

编辑:韦承金。

------分隔线----------------------------

本月热点

网站地图 | 由情感美文提供的文章均由网友转载于网络,若本站转载中的文章侵犯了您的权益,请与本站管理员联系. Copyright © 2006-2019 www.ch8234.com情感美文_情感电台 All Rights Reserved.