Cross-Border Legal Adaptation of Autonomous Vehicle Design based on Logic and Non-monotonic Reasoning

TL;DR

This paper presents a logic-based reasoning system to assist autonomous vehicle designers in ensuring legal compliance across different jurisdictions, enhancing flexibility and understanding of legal implications.

Contribution

It introduces a novel argumentation logic combined with priority modeling to support legal reasoning in autonomous vehicle design for cross-border contexts.

Findings

The reasoning system effectively models legal requirements.

Designers can adapt vehicle designs more flexibly.

Legal implications are more transparent to designers.

Abstract

This paper focuses on the legal compliance challenges of autonomous vehicles in a transnational context. We choose the perspective of designers and try to provide supporting legal reasoning in the design process. Based on argumentation theory, we introduce a logic to represent the basic properties of argument-based practical (normative) reasoning, combined with partial order sets of natural numbers to express priority. Finally, through case analysis of legal texts, we show how the reasoning system we provide can help designers to adapt their design solutions more flexibly in the cross-border application of autonomous vehicles and to more easily understand the legal implications of their decisions.