AI4J – Artificial Intelligence for Justice

Total Page:16

File Type:pdf, Size:1020Kb

AI4J – Artificial Intelligence for Justice AI4J { Artificial Intelligence for Justice August 30, 2016 The Hague, The Netherlands Workshop at the 22nd European Conference on Artificial Intelligence (ECAI 2016) Workshop chairs Floris Bex Department of Information and Computing Sciences, Utrecht University Tom van Engers Leibniz Center for Law, Faculty of Law, University of Amsterdam Henry Prakken Faculty of Law, University of Groningen; Department of Information and Computing Sciences, Utrecht University Bart Verheij Institute of Artificial Intelligence and Cognitive Engineering, University of Groningen Artificial intelligence is currently in the centre of attention of legal professionals. An abundance of startup companies explore the application of AI techniques in the domain of law, and there is even talk of artificially intelligent legal assistants disrupting the legal market space. Factors driving the increased attention for legal AI include: Technological breakthroughs in machine learning, natural language process- ing, ubiquitous computing, data science, and argumentation technology; The changing attitude towards technology in the legal domain; The much increased availability of legal data on the internet; The recent success of AI applications in the private and public domain; The success of technology supporting access to law, legal empowerment, and transparency; The increased need for norms embedded in technology (autonomous driving and warfare, big data analysis for crime fighting and counterterrorism). The aim of this workshop is to investigate opportunities and challenges in AI ap- plied to the law, with a particular focus on the relevance of the recent technological breakthroughs for AI & Law research and for legal practice. Questions addressed include the following: How can AI & Law research contribute to improving legal work in, for exam- ple, courts, law firms, public administration, police practice and businesses? How should AI & Law research change in light of the recent research break- throughs and technological developments? For example, how can traditional research on legal knowledge bases, legal reasoning and legal argument be combined with data science, machine learning and natural language pro- cessing? The law has been a longstanding application field for AI research. The biennial International conferences on AI & Law (ICAIL) started in 1987, the annual JURIX conferences on Legal Knowledge and Information Systems in 1988, and the journal Artificial Intelligence and Law was founded in 1992. Many ideas that are currently being commercially developed were first explored by AI & Law researchers, such as legal information retrieval, statistical analysis of legal data, automated con- tract drafting, automated processing of permit or welfare applications in public administration, and systems for regulatory compliance. Some particular topics of relevance to the focus of the workshop are: Open data, linked data, big data; e-Discovery; Legal argument mining; Automated contract drafting; Computable contracts; Decision support for legal, forensic and police practice; Computational law. Accepted papers (full, position and short) Sudhir Agarwal, Kevin Xu and John Moghtader 1 Toward Machine-Understandable Contracts Trevor Bench-Capon 9 Value-Based Reasoning and the Evolution of Norms Trevor Bench-Capon and Sanjay Modgil 18 Rules are Made to be Broken Floris Bex, Joeri Peters and Bas Testerink 22 A.I. for Online Criminal Complaints: from Natural Dialogues to Structured Scenarios Raghav Kalyanasundaram, Krishna Reddy P and Balakista Reddy V 30 Analysis for Extracting Relevant Legal Judgments using Paragraph-level and Citation Information Niels Netten, Susan van Den Braak, Sunil Choenni and Frans Leeuw 38 The Rise of Smart Justice: on the Role of AI in the Future of Legal Logistics Henry Prakken 42 On how AI & Law can Help Autonomous Systems Obey the Law: a Position Paper Livio Robaldo and Xin Sun 47 Reified Input/Output logic - a Position Paper Olga Shulayeva, Advaith Siddharthan and Adam Wyner 52 Recognizing Cited Facts and Principles in Legal Judgements Giovanni Sileno, Alexander Boer and Tom Van Engers 58 Reading Agendas Between the Lines, an Exercise Pieter Slootweg, Lloyd Rutledge, Lex Wedemeijer and Stef Joosten 65 The Implementation of Hohfeldian Legal Concepts with Semantic Web Technologies Robert van Doesburg, Tijs van der Storm and Tom van Engers 73 CALCULEMUS: Towards a Formal Language for the Interpretation of Normative Systems Marc van Opijnen and Cristiana Santos 78 On the Concept of Relevance in Legal Information Retrieval Bart Verheij 87 Formalizing Correct Evidential Reasoning with Arguments, Scenarios and Probabilities Program committee Kevin Ashley, University of Pittsburgh, USA Katie Atkinson, University of Liverpool, UK Trevor Bench-Capon, University of Liverpool, UK Karl Branting, The MITRE Corporation, USA Pompeu Casanovas, Universitat Autnoma de Barcelona, Spain; Deakin University, Australia Jack G. Conrad, Thomson Reuters, USA Enrico Francesconi, ITTIG-CNR, Italy Tom Gordon, Fraunhofer FOKUS, Germany Guido Governatori, NICTA, Australia Matthias Grabmair, Intelligent Systems Program, University of Pittsburgh, USA Jeroen Keppens, Kings College London, UK David Lewis, Chicago, USA Monica Palmirani, CIRSFID, Italy Dory Reiling, Court of Amsterdam, The Netherlands Erich Schweighofer, University of Vienna, Austria Jaap van den Herik, Leiden University, The Netherlands Serena Villata, INRIA Sophia Antipolis, France Radboud Winkels, University of Amsterdam, The Netherlands Adam Wyner, University of Aberdeen, UK Financial support International Association for Artificial Intelligence and Law (IAAIL) JURIX Foundation for Legal Knowledge Based Systems (JURIX) BNVKI BeNeLux Vereniging voor Kunstmatige Intelligentie (BNVKI) ALICE Institute for Artificial Intelligence and Cognitive Engineering (ALICE) Toward Machine-Understandable Contracts Sudhir Agarwal1 and Kevin Xu 2 and John Moghtader 3 Abstract. We present Contract Definition Langauge, a novel clients as the declarative nature is closer to the way domain knowl- approach for defining contracts declaratively in a machine- edge is specified. understandable way to achieve better comprehensibility and higher 3. Executable: Computable contracts are executable like procedu- efficiency of reasoning, analysis and execution of contracts through ral code. Thus, computable contracts do not need to be translated higher degree of automation and interoperability. The effect of rep- to programmed in a traditional programming language which re- resenting contracts with our Contract Definition Language is not duces costs and errors as there is not need to manage two separate only a significant reduction of legal transaction costs, but it also versions (one for humans, another for machines) of the same con- opens a variety of new options to create better contracts. As a tract. proof of concept, we also present our modeling of two US statutes 4. Interoperable: Computable contracts are interoperable in the (FERPA/SOPIPA/COPAA and HIPAA) as well as our prototypes for sense that they use shared vocabulary for referring to real world validity checking and hypothetical analysis of contracts according to objects, thus enabling automating reasoning over multiple differ- those statues. ent contracts that may have interdependencies or even conflicting terms. 1 Introduction In this paper, we present an approach for formulating, analyzing, and executing contracts more efficiently and effectively by enabling The conventional view is that the automation of contract creation, a high degree of automation. We introduce a Logic Programming execution, and compliance is beyond the capabilities of today’s tech- based Contract Definition Language (CDL). CDL makes possible au- nologies. This view stems from a longstanding tradition of contract- tomated reasoning over legal substance. We have identified the fol- ing practices, where all terms and conditions are expressed and inter- lowing four types of reasoning tasks with contracts: preted in natural language, often in obtuse, inaccessible legalese that 1. Validity Check: Validity checking determines whether a contract can only be deciphered by lawyers and judges. Many legal scholars satisfies all the constraints it must satisfy. For example, a marriage have called for more usable, interactive tools to make better sense of contract between an adult and a minor is invalid in most countries contracts [1, 4, 8, 11, 14]. Contract scholars have defined a need for because the law of the countries does not allow such contracts. user-facing tools that would make contracts more understandable and Constraints that need to be satisfied can be defined with CDL as actionable [4, 12], as well as a more modular and machine-readable well. approach to future contracting practices [3, 15, 16]. 2. Hypothetical Analysis: In many cases, a user (e.g. a legal pro- The impetus for the Computable Contracts research at Stanford 4, fessional, a client, a customer, an employee etc.) wishes to under- and Computational Law 5 more broadly, is a vision where computers, stand a given contract or a set of contracts for a situation. For ex- or people with the help of computers, are able to rapidly understand ample, an employee who is not keeping very good health may be the implications of contracts in their legal context, in order to make interested in knowing what happens when he/she has to take more optimal decisions accordingly, on a potentially large and complex sick leave than mentioned in the contract. Hypothetical analysis
Recommended publications
  • Measuring, Monitoring, and Managing Legal Complexity
    A5_RUHL&KATZ.DOCX (DO NOT DELETE) 10/16/2015 8:55 AM Measuring, Monitoring, and Managing Legal Complexity J.B. Ruhl & Daniel Martin Katz ABSTRACT: The American legal system is often accused of being “too complex.” For example, most Americans believe the Tax Code is too complex. But what does that mean, and how would one prove the Tax Code is too complex? Both the descriptive claim that an element of law is complex and the normative claim that it is too complex should be empirically testable hypotheses. Yet, in fact, very little is known about how to measure legal complexity, much less how to monitor and manage it. Legal scholars have begun to employ the science of complex adaptive systems, also known as complexity science, to probe these kinds of descriptive and normative questions about the legal system. This body of work has focused primarily on developing theories of legal complexity and positing reasons for, and ways of, managing it. Legal scholars thus have skipped the hard part— developing quantitative metrics and methods for measuring and monitoring law’s complexity. But the theory of legal complexity will remain stuck in theory until it moves to the empirical phase of study. Thinking about ways of managing legal complexity is pointless if there is no yardstick for deciding how complex the law should be. In short, the theory of legal complexity cannot be put to work without more robust empirical tools for identifying and tracking complexity in legal systems. This Article explores legal complexity at a depth not previously undertaken in legal scholarship.
    [Show full text]
  • A Philosophy of Technology for Computational Law
    © Mireille Hildebrandt, draft chapter for OUP’s The Philosophical Foundations of Information Technology Law, eds. David Mangan, Catherine Easton, Daithí Mac Síthigh A philosophy of technology for computational law Abstract: This chapter confronts the foundational challenges posed to legal theory and legal philosophy by the surge of computational law. Two types of computational law are at stake. On the one hand we have artificial intelligence in the legal realm that will be addressed as data-driven law, and on the other hand we have the coding of self-executing contracts and regulation in the blockchain, as well as other types of automated decision making (ADM), addressed as code-driven law. Data-driven law raises problems due to its autonomic operations and the ensuing opacity of its reasoning. Code-driven law presents us with a conflation of regulation, execution and adjudication. Though such implications are very different, both types of computational law share assumptions based on the calculability and computability of legal practice and legal research. Facing the assumptions and implications of data- and code-driven law the chapter will first investigate the affordances of current, text-driven law, and relate some of the core tenets of the Rule of Law to those affordances. This will lead to an enquiry into what computational law affords in terms of legal protection, assuming that one of the core functions of the law and the Rule of Law is to protect what is not computable. Keywords: positive law, rule of law, legal certainty, justice,
    [Show full text]
  • Text and Data Mining in Intellectual Property Law: Towards an Autonomous Classification of Computational Legal Methods 1
    TEXTAND TEXT AND DATA DATAMINIMINING IN INTELLECTUAL NGININTELPROPERTY LAW TOWARDS AN AUTONOMOUS CLASSIFICATION OF LECTUALPCOMPUTATIONAL LEGAL METHODS ROPERTYLCREATe Working Paper 2020/1 AWTOWATHOMAS MARGONI RDSANAU T Text and Data Mining in Intellectual Property Law: Towards an Autonomous Classification of Computational Legal Methods 1 Thomas Margoni2 I. Introduction Text and Data Mining (TDM) can generally be defined as the “process of deriving high-quality information from text and data,”3 and as a “tool for harnessing the power of structured and unstructured content and data, by analysing them at multiple levels and in several dimensions in order to discover hidden and new knowledge.”4 In other words, TDM refers to a set of automated analytical tools and methods that have the goal of extracting new, often hidden, knowledge from existing information, such as textual information (text mining) or structured and unstructured data (data mining), and on this basis annotate, index, classify and visualise such knowledge. All this, which is made possible by the fast advancements in computational power, internet speed, and data availability has the potential to constitute, if not a revolution in the scientific field, certainly a major advancement in the speed of scientific development as well as in its direction. In particular, the impact that TDM may have in the direction of scientific enquiry is invaluable. This is because by identifying the correlations and patterns that are often concealed to the eye of a human observer due to the amount, complexity, or variety of data surveyed, TDM allows for the discovery of concepts or the formulation of correlations that would have otherwise remained concealed or undiscovered.
    [Show full text]
  • Judgments As Data Report
    JUDGMENTS AS DATA AUTOMATED OPEN!ACCESS ANALYTICS FOR DECISIONS OF COURTS AND TRIBUNALS IN NEW ZEALAND December 2020 Tom Barraclough | Curtis Barnes | Warren Forster Produced with funding from the New Zealand Law Foundation Information Law and Policy Project. December 2020, Auckland, New Zealand Cover image credit: Malte Baumann, Unsplash. 1 PREAMBLE ............................................................................................................................................. 5 ACKNOWLEDGEMENTS .......................................................................................................................... 5 EXECUTIVE SUMMARY........................................................................................................................... 6 A NOTE ON “STRUCTURED DATA” ......................................................................................................... 8 OVERVIEW OPEN ACCESS TO DIGITAL CASE LAW IN NEW ZEALAND ...................................................................... 10 PREVIOUS ACCESS TO JUSTICE RESEARCH (2015) ........................................................................................... 10 PARTNERSHIP WITH OPENLAW NZ (2019) ................................................................................................. 11 ACCESS TO DIGITAL CASE LAW IN NEW ZEALAND ........................................................................................... 13 SUMMARY OF OUR FINDINGS ..................................................................................................................
    [Show full text]
  • Bottleneck Or Crossroad? Problems of Legal Sources Annotation and Some Theoretical Thoughts
    Article Bottleneck or Crossroad? Problems of Legal Sources Annotation and Some Theoretical Thoughts Amedeo Santosuosso * and Giulia Pinotti Research Center ECLT, University of Pavia, 27100 Pavia PV, Italy; [email protected] * Correspondence: [email protected] Received: 30 July 2020; Accepted: 6 September 2020; Published: 9 September 2020 Abstract: So far, in the application of legal analytics to legal sources, the substantive legal knowledge employed by computational models has had to be extracted manually from legal sources. This is the bottleneck, described in the literature. The paper is an exploration of this obstacle, with a focus on quantitative legal prediction. The authors review the most important studies about quantitative legal prediction published in recent years and systematize the issue by dividing them in text-based approaches, metadata-based approaches, and mixed approaches to prediction. Then, they focus on the main theoretical issues, such as the relationship between legal prediction and certainty of law, isomorphism, the interaction between textual sources, information, representation, and models. The metaphor of a crossroad shows a descriptive utility both for the aspects inside the bottleneck and, surprisingly, for the wider scenario. In order to have an impact on the legal profession, the test bench for legal quantitative prediction is the analysis of case law from the lower courts. Finally, the authors outline a possible development in the Artificial Intelligence (henceforth AI) applied to ordinary judicial activity, in general and especially in Italy, stressing the opportunity the huge amount of data accumulated before lower courts in the online trials offers. Keywords: legal sources; prediction; legal analytics 1.
    [Show full text]
  • Science and Technology Law Review
    The Columbia SCIENCE AND TECHNOLOGY LAW REVIEW www.stlr.org THE VARIABLE DETERMINACY THESIS Harry Surden1 This Article proposes a novel technique for characterizing the relative determinacy of legal decision-making. I begin with the observation that the determinacy of legal outcomes varies from context to context within the law. To augment this intuition, I develop a theoretical model of determinate legal decision-making. This model aims to capture the essential features that are typically associated with the concept of legal determinacy. I then argue that we can use such an idealized model as a standard for expressing the relative determinacy or indeterminacy of decision-making in actual, observed legal contexts. From a legal theory standpoint, this approach – separating determinacy and indeterminacy into their constituent conceptual elements – helps us to more rigorously define these theoretical ideas. Ultimately, from a practical standpoint, I assert that this framework assists in understanding why legal outcomes in certain contexts are determinate enough to be amenable to resolution by computers. 1 Associate Professor, University of Colorado Law School. B.A. Cornell University; J.D. Stanford University. Many thanks to Stanford Law School for supporting this work through my fellowship with the Stanford Center for Computers and Law, as well as to the generous support of the University of Colorado Law School. I am grateful for the ideas and challenges of Michael Genesereth from the Stanford Computer Science Department whose tireless efforts inspired this work. Many thanks to Paul Ohm, Phil Weiser, Pierre Schlag, Andrew Schwartz, Alexia Brunet, Vic Fleischer, and the rest of my excellent colleagues at the University of Colorado Law School for their input.
    [Show full text]
  • Legislation As Code for New Zealand: Opportunities, Risks, and Recommendations
    LEGISLATION AS CODE FOR NEW ZEALAND: OPPORTUNITIES, RISKS, AND RECOMMENDATIONS March 2021 Tom Barraclough | Hamish Fraser | Curtis Barnes ACKNOWLEDGEMENTS This report was generously funded by Te Manatū a Ture o Aotearoa, the New Zealand Law Foundation. Our thanks to the Law Foundation Board and to NZLF Executive Director Lynda Hagen. We also extend our thanks to the NZLF Information Law and PoliCy ProjeCt Advisory Review Committee and the project manager of ILAPP, RiChman Wee. Thank you to the University of Otago FaCulty of Law and the New Zealand Law Foundation Centre for Law and Emerging Technologies for providing access to library resources during this research. Thank you to the various people who have engaged with us or provided support in the course of producing this report. They have not seen the final report and any errors are attributable only to the authors. Our thanks to Nadia Webster, RiChard WallaCe, Pim Willemstein, NiCk Vaughan, Mariette Lokin, Meng Wong, Matthew Waddington, LaurenCe Diver, Dave Parry, Roopak Sinha, Joanna Pidgeon and Tim Jones for discussions during the course of this research. Thank you also to Paul MiChel, NiCk Nisbet, Jason Morris and Siobhan McCarthy for their responses to a case study shared during the research. ProduCed with funding from the New Zealand Law Foundation Information Law and PoliCy ProjeCt. MarCh 2021, AuCkland, New Zealand EXECUTIVE SUMMARY OVERVIEW AND PURPOSE This report aims to provide a basis for senior deCision-makers in New Zealand to CritiCally assess and aCt upon the potential of law-as-code initiatives. It was stimulated by the growing attention to the “Better Rules” programme, a “better rules approaCh”, and international “rules as code” efforts.
    [Show full text]
  • Judgments As Data Automated Open!Access Analytics for Decisions of Courts and Tribunals in New Zealand
    JUDGMENTS AS DATA AUTOMATED OPEN!ACCESS ANALYTICS FOR DECISIONS OF COURTS AND TRIBUNALS IN NEW ZEALAND December 2020 Tom Barraclough | Curtis Barnes | Warren Forster Produced with funding from the New Zealand Law Foundation Information Law and Policy Project. December 2020, Auckland, New Zealand Cover image credit: Malte Baumann, Unsplash. 1 PREAMBLE ............................................................................................................................................. 5 ACKNOWLEDGEMENTS .......................................................................................................................... 5 EXECUTIVE SUMMARY........................................................................................................................... 6 A NOTE ON “STRUCTURED DATA” ......................................................................................................... 8 OVERVIEW OPEN ACCESS TO DIGITAL CASE LAW IN NEW ZEALAND ...................................................................... 10 PREVIOUS ACCESS TO JUSTICE RESEARCH (2015) ........................................................................................... 10 PARTNERSHIP WITH OPENLAW NZ (2019) ................................................................................................. 11 ACCESS TO DIGITAL CASE LAW IN NEW ZEALAND ........................................................................................... 13 SUMMARY OF OUR FINDINGS ..................................................................................................................
    [Show full text]
  • AI4J – Artificial Intelligence for Justice August 30, 2016 the Hague, the Netherlands Workshop at the 22Nd European Conference on Artificial Intelligence (ECAI 2016)
    AI4J { Artificial Intelligence for Justice August 30, 2016 The Hague, The Netherlands Workshop at the 22nd European Conference on Artificial Intelligence (ECAI 2016) Workshop chairs Floris Bex Department of Information and Computing Sciences, Utrecht University Tom van Engers Leibniz Center for Law, Faculty of Law, University of Amsterdam Henry Prakken Faculty of Law, University of Groningen; Department of Information and Computing Sciences, Utrecht University Bart Verheij Institute of Artificial Intelligence and Cognitive Engineering, University of Groningen Artificial intelligence is currently in the centre of attention of legal professionals. An abundance of startup companies explore the application of AI techniques in the domain of law, and there is even talk of artificially intelligent legal assistants disrupting the legal market space. Factors driving the increased attention for legal AI include: Technological breakthroughs in machine learning, natural language process- ing, ubiquitous computing, data science, and argumentation technology; The changing attitude towards technology in the legal domain; The much increased availability of legal data on the internet; The recent success of AI applications in the private and public domain; The success of technology supporting access to law, legal empowerment, and transparency; The increased need for norms embedded in technology (autonomous driving and warfare, big data analysis for crime fighting and counterterrorism). The aim of this workshop is to investigate opportunities and challenges
    [Show full text]
  • Kevin D. Ashley. January, 2018 1 CURRICULUM VITA
    Kevin D. Ashley. January, 2018 1 CURRICULUM VITA Kevin Dean Ashley University Addresses: School of Law Learning Research and Development Center University of Pittsburgh University of Pittsburgh 3900 Forbes Avenue 3939 O'Hara Street Pittsburgh, Pennsylvania 15260 Pittsburgh, Pennsylvania 15260 (412) 648-1495 (412) 624-7496 Research Interests: My research interests in learning, law, and computer science are to: (1) Develop computational models of case-based reasoning (CBR) and argumentation in domains like law and practical ethics to better understand decision-making and as a basis for intelligent systems to educate students; (2) Develop techniques for linking computational models of legal reasoning with legal texts in order to facilitate acquiring knowledge in Artificial Intelligence (AI) programs and to assist legal practitioners; (3) Identify and analyze special legal problems posed by computer technology in such areas as intellectual property, commercial law, product liability, technology licensing, and privacy. Summary of Qualifications: Professor of Law and Intelligent Systems, University of Pittsburgh Senior Scientist, Learning Research and Development Center Adjunct Professor of Computer Science Fellow, American Association of Artificial Intelligence National Science Foundation Presidential Young Investigator M.A., Ph.D., Computer Science, University of Massachusetts J.D., Harvard Law School B.A., Philosophy, Princeton University Associate Attorney, White & Case, 14 Wall Street, New York City Visiting Scientist, IBM Thomas J. Watson Research Center Professional Academic and Research Experience: UNIVERSITY OF PITTSBURGH, Pittsburgh, Pennsylvania. Dates: September, 1989 through present. Current Joint Appointments: Professor of Law (with tenure), School of Law, September, 1998 Professor of Intelligent Systems, Graduate Program in Intelligent Systems, September, 1998 Senior Scientist, Learning Research and Development Center, October, 1998 Adjunct Professor of Computer Science, September, 1998.
    [Show full text]
  • Ex Machina: Analytical Platforms, Law and the Challenges of Computational Legal Science
    Article Ex Machina: Analytical platforms, Law and the Challenges of Computational Legal Science Nicola Lettieri 1,*, Antonio Altamura 2, Rosalba Giugno 3, Alfonso Guarino 2, Delfina Malandrino 2, Alfredo Pulvirenti 4, Francesco Vicidomini 2 and Rocco Zaccagnino 2 1 National Institute for Public Policy Analysis (INAPP), 00198 Rome, Italy 2 Department of Computer Science, University of Salerno, 84084 Fisciano, Italy; [email protected] (A.A.); [email protected] (A.G.); [email protected] (D.M.); [email protected] (F.V.); [email protected] (R.Z.) 3 Department of Computer Science, University of Verona, 37134 Verona, Italy; [email protected] 4 Department of Clinical and Experimental Medicine, University of Catania, 95123 Catania, Italy; [email protected] * Correspondence: [email protected] Received: 16 March 2018; Accepted: 23 April 2018; Published: 26 April 2018 Abstract: Over the years, computation has become a fundamental part of the scientific practice in several research fields that goes far beyond the boundaries of natural sciences. Data mining, machine learning, simulations and other computational methods lie today at the hearth of the scientific endeavour in a growing number of social research areas from anthropology to economics. In this scenario, an increasingly important role is played by analytical platforms: integrated environments allowing researchers to experiment cutting-edge data-driven and computation-intensive analyses. The paper discusses the appearance of such tools in the emerging field of computational legal science. After a general introduction to the impact of computational methods on both natural and social sciences, we describe the concept and the features of an analytical platform exploring innovative cross-methodological approaches to the academic and investigative study of crime.
    [Show full text]