Skip to main content
SpringerLink
Log in

Towards Transparent Legal Formalization

  • Conference paper
  • First Online:
Explainable and Transparent AI and Multi-Agent Systems (EXTRAAMAS 2021)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 12688))

Abstract

A key challenge in making a transparent formalization of a legal text is the dependency on two domain experts. While a legal expert is needed in order to interpret the legal text, a logician or a programmer is needed for encoding it into a program or a formula. Various existing methods are trying to solve this challenge by improving or automating the communication between the two experts. In this paper, we follow a different direction and attempt to eliminate the dependency on the target domain expert. This is achieved by inverting the translation back into the original text. By skipping over the logical translation, a legal expert can now both interpret and evaluate a translation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://www.agilealliance.org/glossary/bdd/.

  2. 2.

    http://www.cs.uu.nl/research/projects/opera/.

  3. 3.

    Please refer to [5] for more information and examples.

References

  1. Bajwa, I.S., Lee, M.G., Bordbar, B.: SBVR business rules generation from natural language specification. In: 2011 AAAI Spring Symposium Series. Citeseer (2011)

    Google Scholar 

  2. Bartolini, C., Lenzini, G., Santos, C.: An agile approach to validate a formal representation of the GDPR. In: Kojima, K., Sakamoto, M., Mineshima, K., Satoh, K. (eds.) JSAI-isAI 2018. LNCS (LNAI), vol. 11717, pp. 160–176. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-31605-1_13

    Chapter  Google Scholar 

  3. Governatori, G., Shek, S.: Regorous: a business process compliance checker. In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law, pp. 245–246 (2013)

    Google Scholar 

  4. Johnsen, Å., Berre, A.: A bridge between legislator and technologist-formalization in SBVR for improved quality and understanding of legal rules. In: International Workshop on Business Models, Business Rules and Ontologies, Bressanone, Brixen, Italy. Citeseer (2010)

    Google Scholar 

  5. Libal, T.: A meta-level annotation language for legal texts. In: Dastani, M., Dong, H., van der Torre, L. (eds.) CLAR 2020. LNCS (LNAI), vol. 12061, pp. 131–150. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-44638-3_9

    Chapter  Google Scholar 

  6. Libal, T.: Towards automated GDPR compliance checking. In: Proceedings of the Workshop on the Scientific Foundations of Trustworthy AI, Integrating Learning, Optimisation and Reasoning (to appear)

    Google Scholar 

  7. Libal, T., Pascucci, M.: Automated reasoning in normative detachment structures with ideal conditions. In: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, pp. 63–72 (2019)

    Google Scholar 

  8. Libal, T., Steen, A.: NAI: the normative reasoner. In: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, pp. 262–263 (2019)

    Google Scholar 

  9. Libal, T., Steen, A.: Towards an executable methodology for the formalization of legal texts. In: Dastani, M., Dong, H., van der Torre, L. (eds.) CLAR 2020. LNCS (LNAI), vol. 12061, pp. 151–165. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-44638-3_10

    Chapter  Google Scholar 

  10. Zeiler, M.D., Fergus, R.: Visualizing and understanding convolutional networks. In: Fleet, D., Pajdla, T., Schiele, B., Tuytelaars, T. (eds.) ECCV 2014. LNCS, vol. 8689, pp. 818–833. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10590-1_53

    Chapter  Google Scholar 

  11. Prakken, H., Wyner, A., Bench-Capon, T., Atkinson, K.: A formalization of argumentation schemes for legal case-based reasoning in ASPIC+. J. Logic Comput. 25(5), 1141–1166 (2015)

    Article  MathSciNet  Google Scholar 

  12. 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. 29(4), 401–449 (2020)

    Article  MathSciNet  Google Scholar 

  13. Routen, T., Bench-Capon, T.: Hierarchical formalizations. Int. J. Man Mach. Stud. 35(1), 69–93 (1991)

    Article  Google Scholar 

  14. Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The British nationality act as a logic program. Commun. ACM 29(5), 370–386 (1986)

    Article  Google Scholar 

  15. Vitali, F., Zeni, F.: Towards a country-independent data format: the Akoma Ntoso experience. In: Proceedings of the V Legislative XML Workshop, pp. 67–86 (2007)

    Google Scholar 

Download references

Acknowledgment

Tereza Novotn acknowledges the support of the ERDF project “Internal grant agency of Masaryk University” (No. \(\mathtt {CZ.02.2.69/0.0/0.0/19 \backslash \_ \backslash 0073/0016943}\)).

Author information

Authors and Affiliations

  1. American University of Paris, Paris, France

    Tomer Libal

  2. University of Luxembourg, Esch-sur-Alzette, Luxembourg

    Tomer Libal

  3. Masaryk University, Brno, Czech Republic

    Tereza Novotná

Authors
  1. Tomer Libal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tereza Novotná
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tereza Novotná .

Editor information

Editors and Affiliations

  1. University of Applied Sciences and Arts Western Switzerland, Sierre, Switzerland

    Davide Calvaresi

  2. University of Luxembourg, Esch-sur-Alzette, Luxembourg

    Amro Najjar

  3. Victoria University of Wellington, Wellington, New Zealand

    Michael Winikoff

  4. Umeå University, Umeå, Sweden

    Kary Främling

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Libal, T., Novotná, T. (2021). Towards Transparent Legal Formalization. In: Calvaresi, D., Najjar, A., Winikoff, M., Främling, K. (eds) Explainable and Transparent AI and Multi-Agent Systems. EXTRAAMAS 2021. Lecture Notes in Computer Science(), vol 12688. Springer, Cham. https://doi.org/10.1007/978-3-030-82017-6_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-82017-6_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-82016-9

  • Online ISBN: 978-3-030-82017-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation