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.

中文翻译：

---

可逆执行以实现人工智能和工业机器人的鲁棒性


可逆计算是一种计算范例，其中执行可以向后进行，也可以按通常的向前方向进行。它已在计算机科学的许多领域得到应用，例如电路设计、编程语言、模拟、化学反应建模、调试和机器人技术。在本文中，我们概述了可逆计算，重点关注其在机器人技术中的应用。我们提出了一个为装配操作编程工业机器人的示例，其中我们将经典人工智能规划与可逆性和具体人工智能相结合，以提高工业机器人的稳健性和多功能性。