Publication Type
Conference Proceeding Article
Book Title/Conference/Journal
LN2FR 2022: Workshop on Methodologies for Translating Legal Norms into Formal Representations in conjunction with JURIX 2022, the 35th International Conference on Legal Knowledge and Information Systems, Saarbrücken, Germany December 14
Year
12-2022
Abstract
This study devised and implemented a Defeasible Deontic Logic (DDL)-based formalization approach for translating traffic rules into a machine-computable (M/C) format and thus solving rule issues: rule vagueness (open texture expressions) and exceptions in rules. The resulting M/C format of traffic rules can be utilized for automatic traffic rule reasoning to assist the Autonomous Vehicle (AV) in making legal decisions. The method incorporates the components and behaviour of regulations based on the rule's obligation, prohibition, and permission activities.
The need for the encoding methodology is motivated by the desire for automated reasoning over Autonomous Vehicle information involving traffic rules.
A Queensland (QLD) overtaking traffic rule is used as a use case to illustrate this proposed encoding methodology’s mechanism and usefulness.
Keywords
Traffic Rules, Norms, Defeasible Deontic Logic
Disciplines
Transportation Law
Subject(s)
Applied or Integration/Application Scholarship
Version
acceptedVersion
Language
eng
Copyright Holder
Authors
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Format
application/PDF
Citation
BHUIYAN, Hanif; GOVERNATORI, Guido; RAKOTONIRAINY, Andry; WONG, Meng Weng; and MAHAJAN, Avishkar.
Traffic rule formalization for autonomous vehicle. (2022). LN2FR 2022: Workshop on Methodologies for Translating Legal Norms into Formal Representations in conjunction with JURIX 2022, the 35th International Conference on Legal Knowledge and Information Systems, Saarbrücken, Germany December 14. 1-14.
Available at: https://ink.library.smu.edu.sg/cclaw/9