Logic and Theory Repair in Legal Modification

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

The complexities involved in adapting current traffic regulations to accommodate autonomous vehicles (AVs) arise from the intricate legal rules and the changes in the traditional roles of drivers and legal responsibility. We argue that revising the law during the legal reform process can be seen as an effort to rectify the legal reasoning that is no longer suitable for the new circumstance. In this paper, we propose to apply an automatic theory repair system, called ABC, to assist legal professionals in making changes to legal rules more efficiently.
Original languageEnglish
Title of host publicationCognitive AI 2023
Number of pages5
Publication statusPublished - 22 Feb 2024
EventCognitive AI 2023 - Bari, Italy
Duration: 13 Nov 202315 Nov 2023
Conference number: 1

Publication series

NameCEUR Workshop Proceedings
ISSN (Electronic)1613-0073


WorkshopCognitive AI 2023
Abbreviated titleCogAI 2023
Internet address

Keywords / Materials (for Non-textual outputs)

  • legal ontology
  • abduction
  • automated theory repair
  • belief revision
  • conceptual change
  • reformation


Dive into the research topics of 'Logic and Theory Repair in Legal Modification'. Together they form a unique fingerprint.

Cite this