Abstract
Reversible computation is a computing paradigm where execution can progress backward as well as in the usual, forward direction. It has found applications in many areas of computer science, such as circuit design, programming languages, simulation, modeling of chemical reactions, debugging, and robotics. In this article, we give an overview of reversible computation focusing on its use in robotics. We present an example of programming industrial robots for assembly operations where we combine classical AI planning with reversibility and embodied AI to increase the robustness and versatility of industrial robots.
Originalsprog | Engelsk |
---|---|
Tidsskrift | IT Professional |
Vol/bind | 23 |
Udgave nummer | 3 |
Sider (fra-til) | 12-17 |
ISSN | 1520-9202 |
DOI | |
Status | Udgivet - 1. maj 2021 |
Bibliografisk note
Funding Information:The authors acknowledge partial support from COST Action IC1405 on Reversible Computation—Extending Horizons of Computing. The work of I. Lanese was supported in part by French ANR project DCore ANR-18-CE25-0007.