Saved in:
Bibliographic Details
Main Authors: Sijs, Joris, Hernandez-Corbato, Carlos, van Vught, Willeke, Oliveira, Julio
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2412.02569
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910725793906688
author Sijs, Joris
Hernandez-Corbato, Carlos
van Vught, Willeke
Oliveira, Julio
author_facet Sijs, Joris
Hernandez-Corbato, Carlos
van Vught, Willeke
Oliveira, Julio
contents Knowledge about how well a robot can perform a specific task is currently present only in engineering reports which are inaccessible to the robot. Artificial Intelligence techniques, such as hypergraphs and automated reasoning, can provide such engineering knowledge online while enabling updates in the knowledge with new experiences. This requires a sound knowledge structure and maintenance routines for keeping this knowledge-base about the robot's capabilities truthful. A robot with such up-to-date information can reason about if and how well it can accomplish a task. This article introduces a knowledge representation that combines an ontology on system engineering, a deductive reasoning on the connections between system components, and an inductive reasoning on the performance of these components in the current system configuration. This representation is further used to derive the expected performance for the overall system based on a continuous evaluation of the actual performance per component. Our real-life implementation shows a robot that can answer questions on whether it can do a specific task with the desired performance.
format Preprint
id arxiv_https___arxiv_org_abs_2412_02569
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Can I do it
Sijs, Joris
Hernandez-Corbato, Carlos
van Vught, Willeke
Oliveira, Julio
Software Engineering
Knowledge about how well a robot can perform a specific task is currently present only in engineering reports which are inaccessible to the robot. Artificial Intelligence techniques, such as hypergraphs and automated reasoning, can provide such engineering knowledge online while enabling updates in the knowledge with new experiences. This requires a sound knowledge structure and maintenance routines for keeping this knowledge-base about the robot's capabilities truthful. A robot with such up-to-date information can reason about if and how well it can accomplish a task. This article introduces a knowledge representation that combines an ontology on system engineering, a deductive reasoning on the connections between system components, and an inductive reasoning on the performance of these components in the current system configuration. This representation is further used to derive the expected performance for the overall system based on a continuous evaluation of the actual performance per component. Our real-life implementation shows a robot that can answer questions on whether it can do a specific task with the desired performance.
title Can I do it
topic Software Engineering
url https://arxiv.org/abs/2412.02569