Towards an Executable Methodology for the Formalization of Legal Texts

[en] A methodology for the formalization of legal texts is presented. This methodology is based on features of the NAI Suite, a recently developed formalization environment for legal texts. The ability of the tool to execute queries is used in order to drive a correct formalization until all queries are validated. The approach is studied on a fragment of the Smoking Prohibition (Children in Motor Vehicles) (Scotland) Act 2016 of the Scottish Parliament.

Disciplines :

Computer science
Law, criminology & political science: Multidisciplinary, general & others

Author, co-author :

Libal, Tomer ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Steen, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

External co-authors :

yes

Language :

English

Title :

Towards an Executable Methodology for the Formalization of Legal Texts

Publication date :

March 2020

Event name :

3rd International Conference on Logic and Argumentation (CLAR 2020)

Event date :

TBA (Postponed due to COVID-19)

Audience :

International

Main work title :

Logic and Argumentation. CLAR 2020

Editor :

Dastani, Mehdi

Dong, Huimin

van der Torre, Leon

Publisher :

Springer, Cham, Switzerland

ISBN/EAN :

978-3-030-44637-6
978-3-030-44638-3

Collection name :

Lecture Notes in Computer Science, Vol. 12061

Pages :

151-165

Peer reviewed :

Peer reviewed

Additional URL :

https://link.springer.com/chapter/10.1007%2F978-3-030-44638-3_10

Available on ORBilu :

since 01 March 2020

Statistics

Number of views

93 (3 by Unilu)

Number of downloads

1 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

Bartolini, C., Lenzini, G., Santos, C.: An interdisciplinary methodology to validate formal representations of legal text applied to the GDPR. In: JURISIN (2018)
Blanchette, J.C., Nipkow, T.: Nitpick: a counterexample generator for higher-order logic based on a relational model finder. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol. 6172, pp. 131–146. Springer, Heidelberg (2010). https://doi. org/10.1007/978-3-642-14052-5 11
Boella, G., Di Caro, L., Humphreys, L., Robaldo, L., Rossi, P., van der Torre, L.: Eunomos, a legal document and knowledge management system for the web to provide relevant, reliable and up-to-date information on the law. Artif. Intell. Law 24(3), 245–283 (2016). https://doi.org/10.1007/s10506-016-9184-3
Bouton, T., de Oliveira, D.C.B., Déharbe, D., Fontaine, P.: veriT: an open, trustable and efficient SMT-solver. In: Schmidt, R.A. (ed.) CADE 2009. LNCS (LNAI), vol. 5663, pp. 151–156. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02959-2 12
Governatori, G., Shek, S.: Regorous: a business process compliance checker. In: Proceedings of the 14th International Conference on Artificial Intelligence and Law, pp. 245–246. ACM (2013)
Kifer, M.: Nonmonotonic reasoning in FLORA-2. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 1–12. Springer, Heidelberg (2005). https://doi.org/10.1007/11546207 1
Libal, T., Pascucci, M.: Automated reasoning in normative detachment structures with ideal conditions. In: Proceedings of ICAIL, pp. 63–72 (2019). https://doi.org/10.1145/3322640.3326707
Libal, T., Steen, A.: NAI: the normative reasoner. In: Proceedings of ICAIL, pp. 262–263. ACM (2019)
Mockus, M., Palmirani, M.: Legal ontology for open government data mashups. In: 2017 Conference for E-Democracy and Open Government (CeDEM), pp. 113–124. IEEE (2017)
Otten, J.: Implementing connection calculi for first-order modal logics. In: IWIL@ LPAR, pp. 18–32 (2012)
Otten, J.: MleanCoP: a connection prover for first-order modal logic. In: 7th International Joint Conference, IJCAR, pp. 269–276 (2014). https://doi.org/10.1007/978-3-319-08587-6 20
Park, S., Maurer, F.: A literature review on story test driven development. In: Sillitti, A., Martin, A., Wang, X., Whitworth, E. (eds.) XP 2010. LNBIP, vol. 48, pp. 208–213. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13054-0 20
Peroni, S.: A simplified agile methodology for ontology development. In: Drag-oni, M., Poveda-Villalón, M., Jimenez-Ruiz, E. (eds.) OWLED/ORE 2016. LNCS, vol. 10161, pp. 55–69. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-54627-8 5
Robaldo, L., Bartolini, C., Palmirani, M., Rossi, A., Martoni, M., Lenzini, G.: Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base. J. Logic Lang. Inf., 1–49 (2019). https://doi.org/10.1007/s10849-019-09309-z
Suda, M., Weidenbach, C.: A PLTL-prover based on labelled superposition with partial model guidance. In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS (LNAI), vol. 7364, pp. 537–543. Springer, Heidelberg (2012). https://doi. org/10.1007/978-3-642-31365-3 42
Wyner, A.Z., Gough, F., Lévy, F., Lynch, M., Nazarenko, A.: On annotation of the textual contents of Scottish legal instruments. In: JURIX, pp. 101–106 (2017)