可验证的道德机器人行为
Towards Verifiably Ethical Robot Behaviour
摘要：
确保自治系统合乎道德地工作既复杂又困难。然而，有一个额外的“总督”，评估系统的选择，并修剪它们选择最道德的选择的想法是很好理解的。最近的工作产生了这样一个总督组成的“后果引擎”，评估可能的未来结果的行动，然后适用于安全/道德逻辑选择行动。虽然这很有吸引力，但不可能确定是否真的采取了最道德的选择。在本文中，我们扩展和应用一个著名的代理验证方法，我们的后果引擎，使我们能够验证其道德决策的正确性。
英文摘要：
Ensuring that autonomous systems work ethically is both complex and difficult. However, the idea of having an additional `governor' that assesses options the system has, and prunes them to select the most ethical choices is well understood. Recent work has produced such a governor consisting of a `consequence engine' that assesses the likely future outcomes of actions then applies a Safety/Ethical logic to select actions. Although this is appealing, it is impossible to be certain that the most ethical options are actually taken. In this paper we extend and apply a well-known agent verification approach to our consequence engine, allowing us to verify the correctness of its ethical decision-making.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
