arXiv:2502.09216v1 宣告类型: 新颖 摘要: 在本文中，我们提出了一种用于表示和推理自主车辆交通规则中的法律方面的模块化系统。我们专注于与交叉口相关的英国公路守则(HP)的部分内容。由于人类驾驶员和自动驾驶车辆(AVs)将在道路上相互作用，尤其是在城市环境中，我们认为应该存在一个易于访问、统一的高层计算模型，并且可以适用于用户。自动驾驶车辆引入了责任分配的变化，不应该对人类驾驶员造成不利影响或增加负担。我们开发了一个基于模拟器的系统。该系统由三个主要部分组成：一个使用逻辑英语的自然语言接口，它编码了规则；一个使用Prolog表示规则的内部表示；以及一个在NetLogo中构建的基于多智能体的仿真环境。这三个组件相互作用：逻辑英语可以翻译成Prolog（以及一些支持代码）；Prolog和NetLogo通过谓词进行接口交互。这种模块化方法使得系统中的不同组件可以根据整体系统承担不同的“负担”；它还允许模块之间的替换。借助NetLogo，我们不仅可以可视化所模型规则的效果，还可以通过简单的动态运行场景验证系统。指定的代理监控车辆的行为以确保合规，并记录违规行为的发生。然后，这些关于潜在违规的信息被验证器利用，以确定违规行为是否可处罚，区分例外情况和具体案例。