论文标题
自主系统安全的道逻辑分析
A Deontic Logic Analysis of Autonomous Systems' Safety
论文作者
论文摘要
我们考虑了如何建模，验证和确保自主系统符合某些\ textit {义务}的紧迫问题（例如尊重交通法律的义务），并避免了不允许的行为（例如，鲁cknessrive改变的车道）。时间逻辑在自主系统设计中大量使用；但是，正如我们在这里所说明的那样，仅暂时性（静脉）逻辑是不适合关于自主系统义务的推理的。本文提出了使用代理的义务逻辑（DAU）的使用主导法（DAU）来编码和理性自治系统的义务。我们使用DAU将英特尔的责任敏感安全性（RSS）提案分析为现实世界中的案例研究。我们证明DAU可以表达良好的RSS规则，正式得出这些规则的不良后果，说明了DAU如何帮助设计具有特定义务的设计系统，以及如何模拟DAU义务。
We consider the pressing question of how to model, verify, and ensure that autonomous systems meet certain \textit{obligations} (like the obligation to respect traffic laws), and refrain from impermissible behavior (like recklessly changing lanes). Temporal logics are heavily used in autonomous system design; however, as we illustrate here, temporal (alethic) logics alone are inappropriate for reasoning about obligations of autonomous systems. This paper proposes the use of Dominance Act Utilitarianism (DAU), a deontic logic of agency, to encode and reason about obligations of autonomous systems. We use DAU to analyze Intel's Responsibility-Sensitive Safety (RSS) proposal as a real-world case study. We demonstrate that DAU can express well-posed RSS rules, formally derive undesirable consequences of these rules, illustrate how DAU could help design systems that have specific obligations, and how to model-check DAU obligations.
