Towards Automating Inconsistency Checking of Legal Texts
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
Loggen Sie sich bitte ein, um den ganzen Text zu lesen.
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.
0 Kommentare