Scholarlink

To negotiate the safety and liability concerns of Autonomous Vehicles (AVs), manufacturers desire AVs to conform to traffic laws and regulations with auto-reasoning capabilities and the ability to detect passengers’ misbehaviour. Our study focuses on formalising regulations for AVs based on Temporal Deontic Defeasible Logic (TDDL). We adopt a directed obligation to introduce the person in charge of events that can differ from the event executor. We also relax the time intervals from bounded to right-open to enable AVs to conduct auto-reasoning even without knowing when events end. Based on the modified deontic and temporal features, a Right-Open TDDL (RTDDL) is developed. The UK Highway Code is selected to illustrate the proposed RTDDL to ensure the behaviours of AVs obey traffic laws in complex traffic scenarios.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Pak Yin Chan,
  • Xue Li,
  • Yiwei Lu,
  • Yuhui Lin,
  • Alan Bundy

摘要

To negotiate the safety and liability concerns of Autonomous Vehicles (AVs), manufacturers desire AVs to conform to traffic laws and regulations with auto-reasoning capabilities and the ability to detect passengers’ misbehaviour. Our study focuses on formalising regulations for AVs based on Temporal Deontic Defeasible Logic (TDDL). We adopt a directed obligation to introduce the person in charge of events that can differ from the event executor. We also relax the time intervals from bounded to right-open to enable AVs to conduct auto-reasoning even without knowing when events end. Based on the modified deontic and temporal features, a Right-Open TDDL (RTDDL) is developed. The UK Highway Code is selected to illustrate the proposed RTDDL to ensure the behaviours of AVs obey traffic laws in complex traffic scenarios.