Jusletter IT

Towards Automating Inconsistency Checking of Legal Texts

  • Authors: Tomer Libal / Tereza Novotná
  • Category of articles: Text and Contract Analysis
  • Category: Articles
  • Region: Frankreich
  • Field of law: Semantic technology
  • Collection: Conference proceedings IRIS 2020
  • DOI: 10.38023/336778dc-530a-48ac-95da-336a8bd40995
  • Citation: 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

No comments

There are no comments yet

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.