A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles

Yiwei Lu; Xue Li; Zhe Yu; Yuhui Lin; Burkhard Schafer; Alan Bundy; Andrew Ireland; Zhe Lin

doi:10.1007/978-981-95-8262-4_18

A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles

Yiwei Lu
, Xue Li
, Zhe Yu
, Yuhui Lin
, Burkhard Schafer
, Alan Bundy
, Andrew Ireland
, Zhe Lin

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

Abstract

The development of AI products poses unique challenges to law reform, especially specific normative reform. In particular, some AI technologies like autonomous driving technologies blur the boundaries of these fundamental concepts of law, such as human beings, objects and behaviours. This gives rise to inconsistency and inapplicability of existing human-specific laws when turned to AI, such as irrational division of responsibility, conceptual ambiguities, conflicting guidance on behaviour, and conflicts with legislative intent. Considering the complexity and scale of the legal structure and how AI affects this structure, especially in a dynamic context, pure manual legal adjustments will naturally face difficulties in terms of accuracy and efficiency. This study therefore extended an automated theory repair system to design an intelligent legal aid system for the revision of driving rules in the context of automated driving and provided the code necessary to implement these functions.

Original language	English
Title of host publication	Artificial Intelligence Logic and Applications
Subtitle of host publication	The 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings
Editors	Marcello Bonsangue, Yixiang Chen
Publisher	Springer
Pages	227–242
Number of pages	16
ISBN (Electronic)	9789819582624
ISBN (Print)	9789819582617
DOIs	https://doi.org/10.1007/978-981-95-8262-4_18
Publication status	Published - 11 Jun 2026
Event	5th International Conference on Artificial Intelligence Logic and Applications 2025 - Xi'an, China Duration: 16 Aug 2025 → 17 Aug 2025 http://ailasym.com/AILA2025/AILA2025.html

Publication series

Name	Communications in Computer and Information Science
Publisher	Springer
Volume	2668
ISSN (Print)	1865-0929
ISSN (Electronic)	1865-0937

Conference

Conference	5th International Conference on Artificial Intelligence Logic and Applications 2025
Abbreviated title	AILA 2025
Country/Territory	China
City	Xi'an
Period	16/08/25 → 17/08/25
Internet address	http://ailasym.com/AILA2025/AILA2025.html

Keywords

Abduction
Automated theory repair
Autonomous driving
Legal modification

ASJC Scopus subject areas

General Computer Science
General Mathematics

Access to Document

10.1007/978-981-95-8262-4_18

Cite this

Lu, Y., Li, X., Yu, Z., Lin, Y., Schafer, B., Bundy, A., Ireland, A., & Lin, Z. (2026). A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles. In M. Bonsangue, & Y. Chen (Eds.), Artificial Intelligence Logic and Applications: The 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings (pp. 227–242). (Communications in Computer and Information Science; Vol. 2668). Springer. https://doi.org/10.1007/978-981-95-8262-4_18

Lu, Yiwei ; Li, Xue ; Yu, Zhe et al. / A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles. Artificial Intelligence Logic and Applications: The 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings. editor / Marcello Bonsangue ; Yixiang Chen. Springer, 2026. pp. 227–242 (Communications in Computer and Information Science).

@inproceedings{91ec3f64d129471ca109662b296daeb9,

title = "A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles",

abstract = "The development of AI products poses unique challenges to law reform, especially specific normative reform. In particular, some AI technologies like autonomous driving technologies blur the boundaries of these fundamental concepts of law, such as human beings, objects and behaviours. This gives rise to inconsistency and inapplicability of existing human-specific laws when turned to AI, such as irrational division of responsibility, conceptual ambiguities, conflicting guidance on behaviour, and conflicts with legislative intent. Considering the complexity and scale of the legal structure and how AI affects this structure, especially in a dynamic context, pure manual legal adjustments will naturally face difficulties in terms of accuracy and efficiency. This study therefore extended an automated theory repair system to design an intelligent legal aid system for the revision of driving rules in the context of automated driving and provided the code necessary to implement these functions.",

keywords = "Abduction, Automated theory repair, Autonomous driving, Legal modification",

author = "Yiwei Lu and Xue Li and Zhe Yu and Yuhui Lin and Burkhard Schafer and Alan Bundy and Andrew Ireland and Zhe Lin",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2026.; 5th International Conference on Artificial Intelligence Logic and Applications 2025, AILA 2025 ; Conference date: 16-08-2025 Through 17-08-2025",

year = "2026",

month = jun,

day = "11",

doi = "10.1007/978-981-95-8262-4\_18",

language = "English",

isbn = "9789819582617",

series = "Communications in Computer and Information Science",

publisher = "Springer",

pages = "227–242",

editor = "Marcello Bonsangue and Yixiang Chen",

booktitle = "Artificial Intelligence Logic and Applications",

url = "http://ailasym.com/AILA2025/AILA2025.html",

}

Lu, Y, Li, X, Yu, Z, Lin, Y, Schafer, B, Bundy, A, Ireland, A & Lin, Z 2026, A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles. in M Bonsangue & Y Chen (eds), Artificial Intelligence Logic and Applications: The 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings. Communications in Computer and Information Science, vol. 2668, Springer, pp. 227–242, 5th International Conference on Artificial Intelligence Logic and Applications 2025, Xi'an, China, 16/08/25. https://doi.org/10.1007/978-981-95-8262-4_18

A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles. / Lu, Yiwei; Li, Xue; Yu, Zhe et al.
Artificial Intelligence Logic and Applications: The 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings. ed. / Marcello Bonsangue; Yixiang Chen. Springer, 2026. p. 227–242 (Communications in Computer and Information Science; Vol. 2668).

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

TY - GEN

T1 - A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles

AU - Lu, Yiwei

AU - Li, Xue

AU - Yu, Zhe

AU - Lin, Yuhui

AU - Schafer, Burkhard

AU - Bundy, Alan

AU - Ireland, Andrew

AU - Lin, Zhe

PY - 2026/6/11

Y1 - 2026/6/11

N2 - The development of AI products poses unique challenges to law reform, especially specific normative reform. In particular, some AI technologies like autonomous driving technologies blur the boundaries of these fundamental concepts of law, such as human beings, objects and behaviours. This gives rise to inconsistency and inapplicability of existing human-specific laws when turned to AI, such as irrational division of responsibility, conceptual ambiguities, conflicting guidance on behaviour, and conflicts with legislative intent. Considering the complexity and scale of the legal structure and how AI affects this structure, especially in a dynamic context, pure manual legal adjustments will naturally face difficulties in terms of accuracy and efficiency. This study therefore extended an automated theory repair system to design an intelligent legal aid system for the revision of driving rules in the context of automated driving and provided the code necessary to implement these functions.

AB - The development of AI products poses unique challenges to law reform, especially specific normative reform. In particular, some AI technologies like autonomous driving technologies blur the boundaries of these fundamental concepts of law, such as human beings, objects and behaviours. This gives rise to inconsistency and inapplicability of existing human-specific laws when turned to AI, such as irrational division of responsibility, conceptual ambiguities, conflicting guidance on behaviour, and conflicts with legislative intent. Considering the complexity and scale of the legal structure and how AI affects this structure, especially in a dynamic context, pure manual legal adjustments will naturally face difficulties in terms of accuracy and efficiency. This study therefore extended an automated theory repair system to design an intelligent legal aid system for the revision of driving rules in the context of automated driving and provided the code necessary to implement these functions.

KW - Abduction

KW - Automated theory repair

KW - Autonomous driving

KW - Legal modification

UR - https://www.scopus.com/pages/publications/105041850472

U2 - 10.1007/978-981-95-8262-4_18

DO - 10.1007/978-981-95-8262-4_18

M3 - Conference contribution

SN - 9789819582617

T3 - Communications in Computer and Information Science

SP - 227

EP - 242

BT - Artificial Intelligence Logic and Applications

A2 - Bonsangue, Marcello

A2 - Chen, Yixiang

PB - Springer

T2 - 5th International Conference on Artificial Intelligence Logic and Applications 2025

Y2 - 16 August 2025 through 17 August 2025

ER -

Lu Y, Li X, Yu Z, Lin Y, Schafer B, Bundy A et al. A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles. In Bonsangue M, Chen Y, editors, Artificial Intelligence Logic and Applications: The 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings. Springer. 2026. p. 227–242. (Communications in Computer and Information Science). Epub 2026 Jun 3. doi: 10.1007/978-981-95-8262-4_18

A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Embargoed Document

Fingerprint

Cite this