Jusletter IT

Towards Automating Inconsistency Checking of Legal Texts

  • Autoren/Autorinnen: Tomer Libal / Tereza Novotná
  • Beitragsart: Text and Contract Analysis
  • Kategorie: Beiträge
  • Region: Frankreich
  • Rechtsgebiete: Semantische Technologien
  • Sammlung: Tagungsband IRIS 2020
  • DOI: 10.38023/336778dc-530a-48ac-95da-336a8bd40995
  • Zitiervorschlag: Tomer Libal / Tereza Novotná, Towards Automating Inconsistency Checking of Legal Texts , in: Jusletter IT 27. Mai 2020
Inconsistencies in legal texts are sometimes hard to find and correct. In this paper a novel machine executable methodology is described, which can facilitate this process. We demonstrate the methodology on the American University of Paris Library Circulation Policy No. AA036EN.

Inhaltsverzeichnis

  • 1. Introduction and related work
  • 2. Inconsistency of legal texts
  • 3. The NAI Tool
  • 3.1. Legal formalization of example case
  • 4. Finding and correcting inconsistencies in legal texts
  • 4.1. Proving the inconsistency of legal formalizations
  • 4.2. Correcting inconsistent legal texts
  • 5. Conclusion and future work
  • 6. References

0 Kommentare

Es gibt noch keine Kommentare

Ihr Kommentar zu diesem Beitrag

AbonnentInnen dieser Zeitschrift können sich an der Diskussion beteiligen. Bitte loggen Sie sich ein, um Kommentare verfassen zu können.