跨越鸿沟：逻辑英语、Prolog 与自主车辆的多代理系统
人工智能
2025-02-14 v1 计算与语言
计算机科学中的逻辑
多智能体系统
摘要
本文提出了一个用于表示和推理自主车辆交通规则法律方面的模块化系统。我们聚焦于美国英国高速公路法规 (HC) 中与交叉口相关的子集。由于人类驾驶员和自动车辆 (AV) 将在道路上，特别是在城市环境中进行交互，我们主张应存在且应适用于两种用户的可访问的、统一的、高层次计算模型。自动车辆引入了 liability 的转变， 不应带来人类驾驶员的不利或增加的负担。我们以 "in silico" 方式构建了该模型的系统。该系统由三个主要组件构建：一个自然语言界面，使用 Logical English 对规则进行编码；规则的内部表示以 Prolog 表示；以及基于 NetLogo 的多代理仿真环境。三个组件相互交互：Logical English 被翻译成和从 Prolog 中翻译出来（以及一些支持代码）；Prolog 和 NetLogo 通过谓词接口。这种模块化方法使不同组件能够承担不同的 "负担" 在整个系统中；它也允许更换模块。鉴于 NetLogo，我们可以可视化建模规则的效果以及通过一个简单的动态运行情境进行验证。指定的代理人监控车辆的行为以确保遵守规定，并记录潜在的违规行为的发生位置。潜在的违规信息随后被 Validator 使用，以确定违规行为是否应受到惩罚，区分例外情况和情况。
关键词
引用
@article{arxiv.2502.09216,
title = {Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles},
author = {Galileo Sartor and Adam Wyner and Giuseppe Contissa},
journal= {arXiv preprint arXiv:2502.09216},
year = {2025}
}
备注
In Proceedings ICLP 2024, arXiv:2502.08453