Cross-border legal adaptation of autonomous vehicle design based on logic and non-monotonic reasoning

Zhe Yu; Yiwei Lu; Burkhard Schafer; Zhe Lin

doi:10.1145/3769126.3769258

Cross-border legal adaptation of autonomous vehicle design based on logic and non-monotonic reasoning

Zhe Yu
, Yiwei Lu
, Burkhard Schafer
, Zhe Lin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	ICAIL '25
Subtitle of host publication	Proceedings of the Twentieth International Conference on Artificial Intelligence and Law
Editors	Juliano Maranhão
Publisher	ACM
Pages	475-480
Number of pages	6
ISBN (Print)	9798400719394
DOIs	https://doi.org/10.1145/3769126.3769258
Publication status	Published - 13 Jan 2026
Event	20th International Conference on Artificial Intelligence and Law - Chicago, United States Duration: 16 Jun 2025 → 20 Jun 2025

Conference

Conference	20th International Conference on Artificial Intelligence and Law
Abbreviated title	ICAIL2025
Country/Territory	United States
City	Chicago
Period	16/06/25 → 20/06/25

Keywords / Materials (for Non-textual outputs)

autonomous vehicles
transnational AI
argumentation frameworks
Lambek Calculus
automatic legal compliance

Access to Document

10.1145/3769126.3769258Licence: Creative Commons: Attribution (CC-BY)

YuEtal2026CrossBorderLegalAdaptationFinal published version, 625 KBLicence: Creative Commons: Attribution (CC-BY)

Cite this

@inproceedings{37a1e1ece245479a9e258a31febc9900,

title = "Cross-border legal adaptation of autonomous vehicle design based on logic and non-monotonic reasoning",

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.",

keywords = "autonomous vehicles, transnational AI, argumentation frameworks, Lambek Calculus, automatic legal compliance",

author = "Zhe Yu and Yiwei Lu and Burkhard Schafer and Zhe Lin",

year = "2026",

month = jan,

day = "13",

doi = "10.1145/3769126.3769258",

language = "English",

isbn = "9798400719394",

pages = "475--480",

editor = "Maranh{\~a}o, \{Juliano \}",

booktitle = "ICAIL '25",

publisher = "ACM",

note = "20th International Conference on Artificial Intelligence and Law, ICAIL2025 ; Conference date: 16-06-2025 Through 20-06-2025",

}

Yu, Z, Lu, Y, Schafer, B & Lin, Z 2026, Cross-border legal adaptation of autonomous vehicle design based on logic and non-monotonic reasoning. in J Maranhão (ed.), ICAIL '25: Proceedings of the Twentieth International Conference on Artificial Intelligence and Law. ACM, pp. 475-480, 20th International Conference on Artificial Intelligence and Law, Chicago, Illinois, United States, 16/06/25. https://doi.org/10.1145/3769126.3769258

Cross-border legal adaptation of autonomous vehicle design based on logic and non-monotonic reasoning. / Yu, Zhe; Lu, Yiwei; Schafer, Burkhard et al.
ICAIL '25: Proceedings of the Twentieth International Conference on Artificial Intelligence and Law. ed. / Juliano Maranhão. ACM, 2026. p. 475-480.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Cross-border legal adaptation of autonomous vehicle design based on logic and non-monotonic reasoning

AU - Yu, Zhe

AU - Lu, Yiwei

AU - Schafer, Burkhard

AU - Lin, Zhe

PY - 2026/1/13

Y1 - 2026/1/13

N2 - 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.

AB - 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.

KW - autonomous vehicles

KW - transnational AI

KW - argumentation frameworks

KW - Lambek Calculus

KW - automatic legal compliance

U2 - 10.1145/3769126.3769258

DO - 10.1145/3769126.3769258

M3 - Conference contribution

SN - 9798400719394

SP - 475

EP - 480

BT - ICAIL '25

A2 - Maranhão, Juliano

PB - ACM

T2 - 20th International Conference on Artificial Intelligence and Law

Y2 - 16 June 2025 through 20 June 2025

ER -

Cross-border legal adaptation of autonomous vehicle design based on logic and non-monotonic reasoning

Abstract

Conference

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this