智能汽车技术对法律的遵循：为自动驾驶系统开发、验证与安全而（解）构道路规则

驾驶是一项直观任务，需要技能、持续警觉以及对意外事件的警惕。驾驶任务还需要长时间全神贯注于整个任务，以及与其他道路使用者（包括野生动物）的复杂协商技巧。在接近交叉口、超车、让行、合流、转弯以及遵守大量道路规则时，这些要求尤为重要。现代机动车现已包含一系列智能辅助和自动驾驶系统，能够承担部分、大部分或在有限情况下全部的驾驶任务。英国交通部对自动车道保持系统安全使用咨询的回应提议，这些系统应针对相关交通规则的合规性进行测试。构建这些智能汽车系统需要具有高超技术软件开发技能的软件开发者，现在还需要律师对交通法规的深入了解。这些技能对于确保系统能够安全执行任务并遵守法律是必需的。本文提出了一种解构交通法律复杂法律用语并表征其要求与流程的方法。该方法（解）构法律术语中的道路规则，并将其规范为结构化英语逻辑，表示为用于自动化的布尔逻辑和用于可视化的 Lawmaps。我们使用这些工具展示了一个示例，进而构建并验证了贝叶斯网络模型。我们坚信这些工具可为程序员和公众所理解，并能够用于开发支撑机动车智能系统的人工智能，以及用于验证以确保这些系统在决策时顾及法律。