This paper describes (R)ules (o)f (T)he (R)oad (A)dvisor, an agent that provides recommended and possible actions to be generated from a set of human-level rules. We describe the architecture and design of RoTRA, both formally and with an example. Specifically, we use RoTRA to formalise and implement the UK "Rules of the Road", and describe how this can be incorporated into autonomous cars such that they can reason internally about obeying the rules of the road. In addition, the possible actions generated are annotated to indicate whether the rules state that the action must be taken or that they only recommend that the action should be taken, as per the UK Highway Code (Rules of The Road). The benefits of utilising this system include being able to adapt to different regulations in different jurisdictions; allowing clear traceability from rules to behaviour, and providing an external automated accountability mechanism that can check whether the rules were obeyed in some given situation. A simulation of an autonomous car shows, via a concrete example, how trust can be built by putting the autonomous vehicle through a number of scenarios which test the car's ability to obey the rules of the road. Autonomous cars that incorporate this system are able to ensure that they are obeying the rules of the road and external (legal or regulatory) bodies can verify that this is the case, without the vehicle or its manufacturer having to expose their source code or make their working transparent, thus allowing greater trust between car companies, jurisdictions, and the general public.
翻译:本文描述了 (R) ules (o)f (T)f (T)he (R)oad (A) 顾问(A), 提供一套人类层面规则的建议和可能的行动的代理机构, 我们正式并举一个例子来描述RATRA的架构和设计。 具体地说, 我们使用ROTRA来正式制定并执行英国的“ 道路规则 ”, 并描述如何将这一点纳入自治汽车, 以便让这些汽车在内部有理由遵守道路规则。 此外, 可能产生的行动是附加说明说明, 说明规则是否规定必须采取行动, 或只是建议按照英国高速公路规则(“ 道路规则 ” ) 采取行动。 我们用这个系统来描述RATRA的架构和设计, 包括能够适应不同法域的不同规章; 允许从规则到行为的明确可追溯性, 并提供一个外部自动化的问责机制, 来检查规则在某些特定情况下是否得到遵守。 自动汽车的模拟显示, 如何通过允许汽车在一般的情景中建立自主车辆, 来测试汽车是否有能力遵守外部规则, 从而遵守道路规则。