A quantitative legal support system for transnational autonomous vehicle design

One of the key expectations of AI product manufacturers for their products is the ability to scale to larger markets, especially across legal systems, with fewer prototypes and lower adaptation costs. This paper focuses on the increasingly dynamic legal compliance challenges faced by designers of AI products in achieving this goal. Based on non-monotonic reasoning, we design an automated reasoning tool to help them better understand the legal implications of their designs in a transnational context and, ultimately, adjust the design of AI products more flexibly. This tool supports the quantitative representation of the strength of legal significance to help designers better understand the reasons for their decisions from their own perspective. To illustrate this functionality, a case study on traffic regulations across the UK, France, and Japan demonstrates the system’s ability to resolve legal conflicts—such as driving-side mandates and speed radar detector prohibitions—through quantitative evaluation.