The Need for a Meta-Architecture for Robot Autonomy

Stalin Muñoz Gutiérrez
(Autonomous Intelligent Systems Group. Institute of Software Technology. Graz University of Technology. Austria.)
Gerald Steinbauer-Wagner
(Autonomous Intelligent Systems Group. Institute of Software Technology. Graz University of Technology. Austria.)

Long-term autonomy of robotic systems implicitly requires dependable platforms that are able to naturally handle hardware and software faults, problems in behaviors, or lack of knowledge. Model-based dependable platforms additionally require the application of rigorous methodologies during the system development, including the use of correct-by-construction techniques to implement robot behaviors. As the level of autonomy in robots increases, so do the cost of offering guarantees about the dependability of the system. Certifiable dependability of autonomous robots, we argue, can benefit from formal models of the integration of several cognitive functions, knowledge processing, reasoning, and meta-reasoning. Here we put forward the case for a generative model of cognitive architectures for autonomous robotic agents that subscribes to the principles of model-based engineering and certifiable dependability, autonomic computing, and knowledge-enabled robotics.

In Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour and Louise A. Dennis: Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), Vienna, Austria, 24th July 2022, Electronic Proceedings in Theoretical Computer Science 362, pp. 81–97.
Published: 20th July 2022.

ArXived at: http://dx.doi.org/10.4204/EPTCS.362.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org