Developing ePartners for Human-Robot Teams in Space based on Ontologies and Formal Abstraction Hierarchies

T. Bosse, L. Breebaart, J. van Diggelen, M. Neerincx, J. Rosa, N. Smets

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

Manned space missions are typically performed by teams composed of humans as well as technical systems and are situated in complex, dynamic and safety-critical domains. Intelligent electronic partners (ePartners) can play an important role here to support human-robot teams in their collaborative problem solving process when things do not go as planned. To engage in effective team collaboration, ePartners, humans and robots must align their communication at the right level of abstraction. In this paper, an approach is put forward to represent the functionality of human-robot teams in a formal manner using abstraction hierarchies. In this way, formal relations between domain knowledge at the system, functional and mission-oriented levels are established and reasoning rules are used to navigate through these relations. As a consequence, ePartners are equipped with the ability to reason about the status of a mission, propose solutions in non-nominal situations and provide explanations for the proposed solutions. The approach has been implemented within a mobile application on a tablet that can be used to support astronaut-robot teams during space missions. The application has been evaluated during an experiment at the European Space Research and Technology Centre (ESTEC) in the context of a Mars mission.
LanguageEnglish
JournalInternational Journal of Agent-Oriented Software Engineering
Volume5
Issue number4
DOIs
StatePublished - 2017

Fingerprint

Ontology
Robots
Space research
Communication
Experiments

Cite this

@article{202c0a124d284e599bb0cf3571888906,
title = "Developing ePartners for Human-Robot Teams in Space based on Ontologies and Formal Abstraction Hierarchies",
abstract = "Manned space missions are typically performed by teams composed of humans as well as technical systems and are situated in complex, dynamic and safety-critical domains. Intelligent electronic partners (ePartners) can play an important role here to support human-robot teams in their collaborative problem solving process when things do not go as planned. To engage in effective team collaboration, ePartners, humans and robots must align their communication at the right level of abstraction. In this paper, an approach is put forward to represent the functionality of human-robot teams in a formal manner using abstraction hierarchies. In this way, formal relations between domain knowledge at the system, functional and mission-oriented levels are established and reasoning rules are used to navigate through these relations. As a consequence, ePartners are equipped with the ability to reason about the status of a mission, propose solutions in non-nominal situations and provide explanations for the proposed solutions. The approach has been implemented within a mobile application on a tablet that can be used to support astronaut-robot teams during space missions. The application has been evaluated during an experiment at the European Space Research and Technology Centre (ESTEC) in the context of a Mars mission.",
author = "T. Bosse and L. Breebaart and {van Diggelen}, J. and M. Neerincx and J. Rosa and N. Smets",
year = "2017",
doi = "10.1504/IJAOSE.2017.087656",
language = "English",
volume = "5",
journal = "International Journal of Agent-Oriented Software Engineering",
issn = "1746-1375",
publisher = "Inderscience Enterprises Ltd",
number = "4",

}

Developing ePartners for Human-Robot Teams in Space based on Ontologies and Formal Abstraction Hierarchies. / Bosse, T.; Breebaart, L.; van Diggelen, J.; Neerincx, M.; Rosa, J.; Smets, N.

In: International Journal of Agent-Oriented Software Engineering, Vol. 5, No. 4, 2017.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Developing ePartners for Human-Robot Teams in Space based on Ontologies and Formal Abstraction Hierarchies

AU - Bosse,T.

AU - Breebaart,L.

AU - van Diggelen,J.

AU - Neerincx,M.

AU - Rosa,J.

AU - Smets,N.

PY - 2017

Y1 - 2017

N2 - Manned space missions are typically performed by teams composed of humans as well as technical systems and are situated in complex, dynamic and safety-critical domains. Intelligent electronic partners (ePartners) can play an important role here to support human-robot teams in their collaborative problem solving process when things do not go as planned. To engage in effective team collaboration, ePartners, humans and robots must align their communication at the right level of abstraction. In this paper, an approach is put forward to represent the functionality of human-robot teams in a formal manner using abstraction hierarchies. In this way, formal relations between domain knowledge at the system, functional and mission-oriented levels are established and reasoning rules are used to navigate through these relations. As a consequence, ePartners are equipped with the ability to reason about the status of a mission, propose solutions in non-nominal situations and provide explanations for the proposed solutions. The approach has been implemented within a mobile application on a tablet that can be used to support astronaut-robot teams during space missions. The application has been evaluated during an experiment at the European Space Research and Technology Centre (ESTEC) in the context of a Mars mission.

AB - Manned space missions are typically performed by teams composed of humans as well as technical systems and are situated in complex, dynamic and safety-critical domains. Intelligent electronic partners (ePartners) can play an important role here to support human-robot teams in their collaborative problem solving process when things do not go as planned. To engage in effective team collaboration, ePartners, humans and robots must align their communication at the right level of abstraction. In this paper, an approach is put forward to represent the functionality of human-robot teams in a formal manner using abstraction hierarchies. In this way, formal relations between domain knowledge at the system, functional and mission-oriented levels are established and reasoning rules are used to navigate through these relations. As a consequence, ePartners are equipped with the ability to reason about the status of a mission, propose solutions in non-nominal situations and provide explanations for the proposed solutions. The approach has been implemented within a mobile application on a tablet that can be used to support astronaut-robot teams during space missions. The application has been evaluated during an experiment at the European Space Research and Technology Centre (ESTEC) in the context of a Mars mission.

U2 - 10.1504/IJAOSE.2017.087656

DO - 10.1504/IJAOSE.2017.087656

M3 - Article

VL - 5

JO - International Journal of Agent-Oriented Software Engineering

T2 - International Journal of Agent-Oriented Software Engineering

JF - International Journal of Agent-Oriented Software Engineering

SN - 1746-1375

IS - 4

ER -