Abstract
| Language | English |
|---|---|
| Title of host publication | PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Proceedings |
| Publisher | Springer/Verlag |
| Pages | 383-399 |
| Number of pages | 17 |
| Volume | 9387 |
| ISBN (Print) | 9783319255231 |
| DOIs | |
| 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 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 9387 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2015) |
|---|---|
| Country | Italy |
| City | Bertinoro |
| Period | 26/10/15 → 30/10/15 |
Fingerprint
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
}
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 proceeding › Conference contribution › Academic › peer-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 -