Supporting Human-Robot Teams in Space Missions using ePartners and Formal Abstraction Hierarchies

Tibor Bosse, Jurriaan van Diggelen, Mark A. Neerincx, Nanja J.J.M. Smets

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationPRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings
PublisherSpringer/Verlag
Pages383-399
Number of pages17
Volume9387
ISBN (Print)9783319255231
DOIs
Publication statusPublished - 2015
Event18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015) - Bertinoro, Italy
Duration: 26 Oct 201530 Oct 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9387
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015)
CountryItaly
CityBertinoro
Period26/10/1530/10/15

Bibliographical note

Proceedings title: Proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA'15.
Publisher: Springer Verlag

Keywords

  • Abstraction hierarchy
  • ePartners
  • Human-robot teams
  • Reasoning
  • Space missions

Fingerprint Dive into the research topics of 'Supporting Human-Robot Teams in Space Missions using ePartners and Formal Abstraction Hierarchies'. Together they form a unique fingerprint.

  • Cite this

    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