1. <code id="wf7qv"><delect id="wf7qv"></delect></code>

    5月20日 Joseph Sifakis:Autonomous Systems–A Rigorous Architectural Characterization


    报告人简介:

    Joseph Sifakis is Emeritus Senior CNRS Researcher at Verimag. His current research interests cover fundamental and applied aspects of system design. The main focus of his work is on the formalization of system design as a process leading from given requirements to trustworthy, optimized and correct-by-construction implementations.

    Joseph Sifakis has been a full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) for the period 2011-2016. He is the founder of the Verimag laboratory in Grenoble, which he directed for 13 years.

    In 2007, he received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique today.

    Joseph Sifakis is a member of the French Academy of Sciences, a member of the French National Academy of Engineering, a member of Academia Europea, a member of the American Academy of Arts and Sciences, and a member of the National Academy of Engineering. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor. He has received the Leonardo da Vinci Medal in 2012.


    报告摘要:

      当今的物联网愿景越来越注重智能服务和系统的集成,自主性是其中的关键。如何构造复杂开放可信的自主系统是该愿景对我们提出的挑战?#20309;?#20204;缺乏一个严谨通用的语义框架来描述自主系统。目前,对自主系统的主要特征还存在诸多争议。通过文献调?#26657;?#25105;们发现大量与自主相关的术语存在误解,如“自恢复”、“自优化”、“自保护”、“自?#29616;薄ⅰ?#33258;组织”等等。值得关注的是,当前针对自主汽车的争论主要集中在人工智能和学习算法上,而忽略了与之同等重要的自主系统设计相关的其他问题。

      自主系统涉及一系?#24615;?#20849;同环境下?#29486;?#30340;智能体,他们的?#29486;?#34892;为能够达成某个全局目标。我们提出了一个通用的计算模型,将系统架构模型和智能体模型结合起来。架构模型能够描述动态重构的组件之间的多模式协作。智能体模型包含五个交互模块,各自实现了感知、反馈、目标管理、计划和自适应等关键特征。该模型确立了自主复杂度的概念,以表征构建自主系统所特有的难度。

      我们强调自主系统的主要特点是他们处理知识的能力和对环境变化的适应能力。我们得出的主要结论是自主性应当与功能相关联而不是与特定的技术相关联。自主性是一种广泛的智能,可信的最优的自主系统的构造问题?#23545;?#36229;出了人工智能的范畴。

      

      

      

      

      

      

      




    时时彩qq群

    1. <code id="wf7qv"><delect id="wf7qv"></delect></code>

      1. <code id="wf7qv"><delect id="wf7qv"></delect></code>

        三四连码奖上数 千禧p3试机号金胆关注号 双色球红球二五尾数和 甘肃快3一定牛快推荐号 平码四复式 新时时彩下载 快乐10分玩法解释 专业足球比分 三地走势图 江苏老快3基夲走势图 会员一码中特登录区论坛 大型的彩票网站 诈金花游戏合集 官方山东11选5走势图 3d组三组六