Autonomics: In search of a foundation for next-generation autonomous systems
Autonomics: In search of a foundation for next-generation autonomous systems
复制标题
DOI：
10.1073/pnas.2003162117
复制
发表时间：
2020-07-28
影响因子：
11.1
通讯作者：
Sifakis, Joseph
中科院分区：
文献类型：
--
作者：
Harel, David;Marron, Assaf;Sifakis, Joseph
自主系统的潜在好处是显而易见的。然而，在开发这样的系统成为一种普遍的工程实践之前，仍然有一些重大问题需要处理，并具有可接受和可信赖的可交付成果。我们认为，一个坚实的，不断发展的，公开可用的，社区控制的基础，开发下一代自主系统是必须的，和术语所需的基础“自主性。“我们专注于三个主要挑战：1）如何在不可预测性面前指定自主系统行为; 2）如何对包括人类，物理工件和其他系统在内的丰富环境进行系统行为的忠实分析;以及3）如何通过将软件工程的可执行建模技术与人工智能和机器学习相结合来构建这样的系统。
The potential benefits of autonomous systems are obvious. However, there are still major issues to be dealt with before developing such systems becomes a commonplace engineering practice, with accepted and trustworthy deliverables. We argue that a solid, evolving, publicly available, community-controlled foundation for developing next-generation autonomous systems is a must, and term the desired foundation "autonomics." We focus on three main challenges: 1) how to specify autonomous system behavior in the face of unpredictability; 2) how to carry out faithful analysis of system behavior with respect to rich environments that include hu-mans, physical artifacts, and other systems; and 3) how to build such systems by combining executable modeling techniques from software engineering with artificial intelligence and machine learning.