Abstract
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.
Original language | English |
---|---|
Title of host publication | Proceedings of the Second Workshop on Agents and Robots for Reliable Engineered Autonomy |
Pages | 81-97 |
Number of pages | 17 |
Volume | 362 |
DOIs | |
Publication status | Published - 20 Jul 2022 |
Event | 2nd Workshop on Agents and Robots for reliable Engineered Autonomy: IJCAI-ECAI 2022 - Messe Wien Exhibition and Congress Center, Vienna, Austria Duration: 24 Jul 2022 → 24 Jul 2022 http://dx.doi.org/10.4204/EPTCS.362.9 |
Workshop
Workshop | 2nd Workshop on Agents and Robots for reliable Engineered Autonomy |
---|---|
Abbreviated title | AREA 2022 |
Country/Territory | Austria |
City | Vienna |
Period | 24/07/22 → 24/07/22 |
Internet address |
Keywords
- Robot Autonomy
- Cognitive Architecture
- Model-Driven Engineering
- Autonomic Computing
- Dependability
- Deliberation
ASJC Scopus subject areas
- Artificial Intelligence