菜单总览
— 活动 —

【大师讲堂】自主系统 – 严谨的架构描述

  • 2018.10.17
  • 活动
“自主”,即在将智能服务更好地集成于系统的同时,最大限度地减少人为干预。约瑟夫·斯发基斯教授为我们带来关于自主系统 – 严谨的架构描述的报告。

主题:自主系统 – 严谨的架构描述

演讲者:约瑟夫·斯发基斯教授

时间:10月19日10:00--11:00

地点:道远楼理事会会议室

语言:英语

 

【摘要】

“自主”是实现物联网的关键所在。所谓“自主”,即在将智能服务更好地集成于系统的同时,最大限度地减少人为干预。为了实现这一愿景,我们需要构建严密、开放且可信赖的自主系统。但现在,我们未能为这样的自主系统找到严谨而通用的语义框架。自主系统有哪些主要特征呢?答案依然非常混淆。诸多文献表示,人们无法很好地理解与自主相关的词汇,如以“自我” 开头的“自我修复”、“自我优化”、“自我保护”、“自我意识”、“自我组织”等词。当我们在谈论自动驾驶汽车时,我们几乎只关注于人工智能和学习技术,却忽略了许多同样重要的自主系统设计问题。

 

自主系统需要在某些共同环境中协调好代理(Agent)和对象(Object)的关系,以便两者相互作用从而满足整体目标。为此,我们提出了一种结合系统架构模型和代理模型的通用计算模型。该架构模型允许在组件之间实现动态可重构的多模式协调。代理模型则由五个交互模块组成,每个模块分别为了实现一个特征:感知、表达、目标管理,规划和自适应。这五者构成了“自主复杂性”概念,体现出构建自主系统的难度。

 

我们的研究强调:自主系统的主要特征是它们处理知识和自适应响应环境变化的能力。研究结果主要表明:在研发自主系统时,我们需要更多地强调功能设计而非特定的技术。机器学习对于自主系统来说是必不可少的,尽管它只能满足自主系统设计所隐含的一小部分需求。

 

因此,我们得出了如下结论:自主是一种广泛的智能。构建可靠、最优化的自主系统,仅靠人工智能研究是远远不够的。

 

【演讲者简介】

约瑟夫·斯发基斯教授是法国国家科研中心的荣誉研究员,同时也是Verimag实验室的创始人,研究领域主要包括系统设计的基本概念和应用。斯发基斯教授主要专注于系统设计的形式化,即根据特定的要求实现可信赖、最优化且构造正确的系统。2011年到2016年期间,约瑟夫·斯发基斯教授于洛桑联邦理工学院;(EPFL)担任正教授一职。同时,他也是格勒诺布尔市Verimag实验室的创始人,主管该机构13年之久。

2007年,约瑟夫·斯发基斯教授被授予了图灵奖,以表彰其在模型检查理论和应用方面做出的卓越贡献。如今,该模型检查理论已经成为了使用最广泛的系统验证技术。约瑟夫·斯发基斯教授是法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国艺术与科学学院院士及美国国家工程院院士。他曾获得法国国家勋章以及法国荣誉军团勋章,并于2012年获得了达芬奇奖章。