Human space flight is a prototypical example of a complex, dynamic, and safety-critical domain in which missions are performed by collaborative teams of humans and technical systems. In such domains, intelligent electronic partners (ePartners) can play a useful role in supporting human-robot teams in their problem solving process whenever a non-nominal situation is encountered. To enhance the supportive capabilities of such ePartners, this paper presents an approach to formally represent the functionality of human-robot teams in terms of different levels of abstraction. By establishing formal relations between domain knowledge at different abstraction levels and introducing reasoning rules to navigate through these relations, ePartners are endowed with a number of supportive functions, such as the ability to reason about the mission status, make suggestions in non-nominal situations, and provide explanations. The approach is applied to a use case in the context of a manned space mission to Mars. It has been implemented within a mobile application to assist robotastronaut teams during space missions, and has been tested in a pilot experiment at the European Space Research and Technology Centre.
|Title of host publication||PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings|
|Number of pages||17|
|Publication status||Published - 2015|
|Event||18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015) - Bertinoro, Italy|
Duration: 26 Oct 2015 → 30 Oct 2015
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015)|
|Period||26/10/15 → 30/10/15|
Bibliographical noteProceedings title: Proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA'15.
Publisher: Springer Verlag
- Abstraction hierarchy
- Human-robot teams
- Space missions
Bosse, T., van Diggelen, J., Neerincx, M. A., & Smets, N. J. J. M. (2015). Supporting Human-Robot Teams in Space Missions using ePartners and Formal Abstraction Hierarchies. In PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings (Vol. 9387, pp. 383-399). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9387). Springer/Verlag. https://doi.org/10.1007/978-3-319-25524-8_24