本研究探讨了自动驾驶车辆在交通规则法律方面的表示与推理，提出了一种模块化系统，专注于英国《公路法典》中的交叉口规则。该系统通过自然语言界面和多智能体仿真环境，实现规则可视化与合规监控，促进人类驾驶者与自动驾驶车辆的互动。

本研究提出LogicLease系统，结合Prolog逻辑推理与大型语言模型，解决法律案件分析不足。研究表明，该系统在房东与租客案件中实现100%法律合规判断，处理效率优于现有系统，具备更高的透明度和可控性。

本文介绍了一种基于Prolog的系统，用于解析和生成阿卡德语动词形式，提升了对词干及其附加形式的理解和处理能力。