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

Fingerprint

Space Missions
Robot
Electronics
Robots
Space research
Space flight
Mars
Mobile Applications
Domain Knowledge
Complex Dynamics
Use Case
Reasoning
Safety
Experiments
Abstraction
Hierarchy
Human
Experiment

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

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
Bosse, Tibor ; van Diggelen, Jurriaan ; Neerincx, Mark A. ; Smets, Nanja J.J.M. / Supporting Human-Robot Teams in Space Missions using ePartners and Formal Abstraction Hierarchies. PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings. Vol. 9387 Springer/Verlag, 2015. pp. 383-399 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{19077fb6b70e416e863acea2f65ee93b,
title = "Supporting Human-Robot Teams in Space Missions using ePartners and Formal Abstraction Hierarchies",
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.",
keywords = "Abstraction hierarchy, ePartners, Human-robot teams, Reasoning, Space missions",
author = "Tibor Bosse and {van Diggelen}, Jurriaan and Neerincx, {Mark A.} and Smets, {Nanja J.J.M.}",
note = "Proceedings title: Proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA'15. Publisher: Springer Verlag",
year = "2015",
doi = "10.1007/978-3-319-25524-8_24",
language = "English",
isbn = "9783319255231",
volume = "9387",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer/Verlag",
pages = "383--399",
booktitle = "PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings",

}

Bosse, T, van Diggelen, J, Neerincx, MA & Smets, NJJM 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9387, Springer/Verlag, pp. 383-399, 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015), Bertinoro, Italy, 26/10/15. https://doi.org/10.1007/978-3-319-25524-8_24

Supporting Human-Robot Teams in Space Missions using ePartners and Formal Abstraction Hierarchies. / Bosse, Tibor; van Diggelen, Jurriaan; Neerincx, Mark A.; Smets, Nanja J.J.M.

PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings. Vol. 9387 Springer/Verlag, 2015. p. 383-399 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9387).

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

TY - GEN

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

AU - Bosse, Tibor

AU - van Diggelen, Jurriaan

AU - Neerincx, Mark A.

AU - Smets, Nanja J.J.M.

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

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Abstraction hierarchy

KW - ePartners

KW - Human-robot teams

KW - Reasoning

KW - Space missions

UR - http://www.scopus.com/inward/record.url?scp=84950336130&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84950336130&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-25524-8_24

DO - 10.1007/978-3-319-25524-8_24

M3 - Conference contribution

SN - 9783319255231

VL - 9387

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 383

EP - 399

BT - PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings

PB - Springer/Verlag

ER -

Bosse T, van Diggelen J, Neerincx MA, Smets NJJM. 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. Springer/Verlag. 2015. p. 383-399. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-25524-8_24