理大高等研究院杰出讲座系列: 人工智能与自主系统

关于讲者

约瑟夫．斯发基斯教授为法国Verimag实验室法国国家科学研究中心荣休高级研究员，其目前研究领域包括嵌入式系统设计基础与应用，重点关注系统设计的形式化，从而实现可按需求进行可靠、优化、能按构建逐步校正的系统。
2011年至2016年期间，斯发基斯教授担任洛桑联邦理工学院（EPFL）的正教授。他创立格勒诺布尔Verimag实验室，并担任实验室科研主任13年。Verimag是嵌入式系统领域的领先研究实验室。该实验室以开发SCAD工具的Lustre同步数据流语言（用于设计安全关键航空电子系统的语言）而闻名国际。
2007年，斯发基斯教授获得电脑界的最高荣誉「图灵奖」，以表彰他在模型检测的理论和应用上的杰出贡献，而模型检测是当今最广泛应用的系统验证技术。
斯发基斯教授在法国和欧洲肩负多项重要行政和管理职务。十年来，他担任ARTIST欧洲卓越网络的科学统筹，积极推动欧洲嵌入式系统研究。他曾参与多个由空中巴士公司、欧洲宇航防务集团、法国电信和意法半导体等企业领导的重大工业项目。
斯发基斯教授现任法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国人文和科学院院士、美国工程院院士和中国科学院外籍院士。他曾获授予法国国家功勋大军官勋章、法国荣誉军团指挥官勋章。2012年，他获李安纳度．达文西奖章。
2009年，斯发基斯教授获颁希腊国会议会及民主基金会奖项。他亦获希腊凤凰指挥官勋章。
2014年2月至2016年4月期间，斯发基斯教授为希腊科学技术委员会主席。

讲座摘要

儘管机器学习技术已取得重大进展，但仍距离通用人工智能（AGI）很远。就如物联网所预见，开发可执行人类複杂工作的自主系统，是朝着实现人工智能目标的一大步。这开发尤其需求融合了「基于数据机器学习」以及「基于模型的系统工程」的电脑运算和人工智能技术。
我们曾讨论了一些用以比较人类和人工智慧的现有准则标准，并展示了人类科学知识与人工神经网络知识之间的一些显着差异。自主是迈向AGI的重要一步。我们说明了该系统与人类常识推理心智的关键性区别，并提出了自主系统应该具备的特徵。总而言之，我们提出了AGI的发展方向和挑战，其中包括，为系统工程和科学知识奠定新的基础，以及探讨人类智慧蕴藏着的身心现象。