Category Theory as Interpretation Law Model in Artificial Intelligence Era

Ioannis Kougias

1 School of Education, Frederick University, Nicosia, Cyprus
2 Laboratory of Interdisciplinary Semantic Interconnected Symbiotic Education Environments, Electrical and Computer Engineering Department, University of Peloponnese, Peloponnese, Greece

Nowadays, artificial intelligence entities operate autonomously and they actively participate in everyday social activities. At a macro-perspective, they play the role of mediator between people and their actions, as components of the fundamental structure of every social activity. At a micro-perspective, they can be considered as fixed critical points whose hypostasis is not subject to established legal framework. A key point is that embedding artificial intelligence entities in everyday activities may maximize legal uncertainty both at the macro and micro-level, as well as at the interim phase, i.e., the switch between the two levels. In this paper, we adapt a well-known concept from Category Theory, namely that of the pushout, in order to approximate the core interpretation legal framework of such activities, by considering each level as an open system. The purpose of using Systems Theory in combination with Category Theory is to introduce a mathematical approach to uniquely interpret complex legal social activities and to show that this novel area of artificially enhanced activities is of prime and practical importance and significance to law and computer science practitioners.

Artificial Intelligence entities, Category Theory, legal social activity, macro-level, micro-level, pushout structure, Systems Theory

Lambrini Seremeti, Ioannis Kougias (2021). Category Theory as Interpretation Law Model in Artificial Intelligence Era. Journal of Artificial Intelligence and Systems, 3, 35–47. https://doi.org/10.33969/AIS.2021.31003.

[1] Aaron, M.C. (2019) Risk and Rigor: A lawyer’s guide to decision trees for assessing cases and advising clients, DRI Press, USA.
[2] Barfield, W. (2018) Liability for autonomous and artificially intelligent robots. Journal of Behavioral Robotics, 9(1), 193-203. https://doi.org/10.1515/pjbr-2018-0018
[3] Bertalanffy, L. (2003) General System Theory: Foundations, Development, Applications. Revised Edition, Penguin University Books, New York.
[4] Brasil, S.M. and Garcia, B.B. (2003) Modelling legal reasoning in a mathematical environment through model-theretic semantics. Proceedings of the 9th International Conference on Artificial Intelligence and Law, Association for Computing Machinery, New York, United States, 195-203.
[5] Chakraborty, A. and Kar, A.K. (2017) Swarm intelligence: A review of algorithms. In: Patnaik, S., Yang, X-S, and Nakamatsu, K., Eds, Nature-Inspired Computing and Optimization. Theory and Applications, Springer International Publishing, 475-494.
[6] Chesterman, S. (2020) Artificial intelligence and the limits of legal personality. International and Comparative Law Quarterly, 69(4), 819-844, https://doi.org/10.1017/S0020589320000366
[7] Davies, S. (2009) Proof on the balance of probabilities: What this means in practice. https://uk.practicallaw.thomsonreuters.com/2-500-6576?transitionType=Default&contextData=(sc.Default)
[8] EPRS, PE 624.261 (2019) Understanding algorithmic decision-making: Opportunities and challenges. https://www.europarl.europa.eu/thinktank/en/document.html?reference=EPRS_STU%282019%29624261
[9] EP, European Parliament (2017) Resolution (2015/2013 (INL)). https://eur-lex.europa.eu/legal-content/EN/TXT/?uri=CELEX%3A52017IP0051
[10] EP, European Parliament (2020) Artificial Intelligence and Civil Liability. https://www.europarl.europa.eu/RegData/etudes/STUD/2020/621926/IPOL_STU(2020)621926_EN.pdf
[11] Girard, J. (1995) Linear Logic: Its syntax and semantics. In: Girard J., Lafont, Y. and Regnier, L., Eds., Advances in Linear Logic, Cambridge University Press, 1-42.
[12] Goldberg, S.P. (1981) On legal and mathematical reasoning. Jurimetrics, 22(1), 83-91, http://www.jstor.org/stable/29761772
[13] Heather, M. and Rossiter, N. (2017) What is Law? The perception of Category Theory. In: Beziau, J-Y., Buchsbaum, A. and Rey, C., Eds, Handbook of the 6th World Congress on Universal Logic, Publications of University of Vichy, France, 560-561.
[14] Kallen, S.R. (2012) Artificial intelligence algorithms. Journal of Computer Engineering, 6(3), 1-8.
[15] Kaye, D.H. (1980) Mathematical models and legal realities: Some comments on the Poisson model of jury behavior. Connecticut Law Review, 13(1), 1-17.
[16] Keon, R. (1980) Mathematical models for legal prediction. Computer/Law Journal, 2(1), 830-862, http://repository.jmls.edu/jitpl/vol2/iss1/29
[17] Lawvere, F.W and Schanuel, S.H. (2009) Conceptual Mathematics: A first introduction to categories, Second Edition, Cambridge University Press.
[18] Lion, A. (2020) AI entities as AI agents: Artificial Intelligence liability and the AI respondeat superior analogy, Mitchell Hamline Law Review, 1-58 https://ssrn.com/abstract=3446115
[19] Liu, H., Maas, M., Danaher, J., Scarcella, L., Lexer, M. and Van Rompaey, L. (2020) Artificial intelligence and legal disruption: A new model for analysis. Law, Innovation and Technology, 12(2), 205-258, https://doi.org/10.1080/17579961.2020.1815402
[20] Mac Lane, S. (1996) The development and prospects for Category Theory, Applied Categorical Structures, 4, 129-136. https://doi.org/10.1007/BF00122247
[21] Mazur, J.E. (2006) Mathematical models and the experimental analysis of behavior, Journal of the Experimental Analysis of Behavior, 85(2), 275-291. https://doi.org/10.1901/jeab.2006.65-05
[22] McCarthy, J. (2007) What is artificial intelligence? http://www-formal.stanford.edu/jmc/whatisai.pdf
[23] Mohammed, M., Khan, M.B. and Bashier, E. (2017) Machine learning: Algorithms and applications. International Standard Book, Number 13, Taylor & Francis Group, LLC.
[24] Parker, B. (2017) Crisp-set qualitative comparative analysis (csQCA) and criminology. Journal of Qualitative Criminal Justice & Criminology, 5(2), 153-173. https://eprints.qut.edu.au/114388/23/__qut.edu.au_documents_StaffHome_StaffGroupl%24_lindequm_Desktop_ePrints_114388.pdf
[25] Ponkin, I.V. and Redkina, A.I. (2018) Artificial intelligence from the point of view of Law. Journal of Law, 22(1), 91-109.  https://doi.org/10.22363/2313-2337-2018-22-1-91-109
[26] Potts, H., (1913) An application of Mathematics to Law. Nature 91, 270. https://doi.org/10.1038/091270c0
[27] Rhee, R.J. (2006) A price theory of legal bargaining: An inquiry into the selection of settlement and litigation under uncertainty. http://scholarship.law.ufl.edu/facultypub/494
[28] Rissland, E.L. (1990) Artificial intelligence and law: Stepping stones to a model of legal reasoning. The Yale Law Journal, 99(8), 1957-1981, https://doi.org/10.2307/796679
[29] Scherer, M.U. (2016) Regulating artificial intelligence systems: Risks, challenges, competencies, and strategies. Harvard Journal of Law & Technology, 29(2), 354-400.
[30] Scherer, M. (2019) Artificial intelligence and legal decision-making: The wide open? Journal of International Arbitration, 36(5), 539-573.
[31] Stone, P., Brooks, E., Brynjolfsson, R, Calo, O., Etzioni, G., Hager, J.,Hirschberg, S., Kalyanakrishnan, E., Kamar, S, Kraus, K., Leyton-Brown, D., Parkes, W., Press, A., Saxenian, J., Shah, M. and Teller, A. (2016), One hundred year study on artificial intelligence. https://ai100.stanford.edu/
[32] Surden, H. (2018) Artificial Intelligence and Law: An overview. https://readingroom.law.gsu.edu/gsulr/vol35/iss4/8 
[33] Tanega, J.A. (2013) Default invariance: A naïve category theory of Law and Finance. In: O’Sullivan, P., Ed., Hubris to Disgrace: The Philosophy, Politics and Economics of Finance in the early 21 Century, Routledge, CRC Press, 1-82.
[34] Termini, M. (2019) Proving the point: Connections between legal and mathematical reasoning, https://brooklynworks.brooklaw.edu/cgi/viewcontent.cgi?article=2067&context=faculty
[35] Thombre, S.P. (2019) General principles of statutory interpretation with special reference to golden rule & mischief rule. Journal of Law, 5(6), 135-140.
[36] Verheij, B. (2020) Artificial intelligence and law. Artificial Intelligence Law, 28, 181-206, https://doi.org/10.1007/s10506-020-09266-0
[37] Viola, L. (2018) Interpretation of the Law through Mathematical Models. Diritto Avanzato Edizioni.
[38] Voss, H.L. (1969) Differential association and containment theory: A theoretical convergence. Journal of Social Forces, 47(4), 381-391. https://doi.org/10.2307/2574526
[39] Zevenbergen, B., Finlayson, M.A., Kortz, M., Pagallo, U., Borg, J.S. and Zapusek, T. (2018) Appropriateness and feasibility of legal personhood for AI systems. Proceedings of the International Conference on Robot Ethics and Standards, CLAWAR Association Ltd., 1-8.