Spreadsheets for Legal Reasoning: The Continued Promise of Declarative Logic Programming in Law

• Author / Creator

  Morris, Jason P

• The legal services market is one in which there is too much demand, and too little supply. One method of increasing supply in a market is to increase efficiency by automating. Automated legal services require the automation of legal reasoning. Declarative logic programming (DLP) has long been recognized as well-suited to the automation of legal reasoning. This dissertation reviews the legal academic literature surrounding the automation of legal services using DLP, which has been discussed primarily with regard to how it can be used to build ``expert systems".
  This dissertation argues that most of the criticisms of the use of expert systems for automating legal services can be addressed by using modern DLP technologies, conceiving of the encoding as being representative of an interpretation of the law rather than the law's correct meaning, and increasing ease-of-use for non-programmers.

  The dissertation then proposes a set of 7 criteria of suitability for DLP tools developed from a legal services automation perspective. A survey of available tools is performed, comparing the available tools to these criteria. The dissertation advocates for the development of
  open source DLP tools that have both accessibility features (ease of use and price), and at
  least one of the five technical features. The dissertation concludes with the description of an
  open-source tool developed by the author as an ABA Innovation Fellowship project, which is
  open-source, free, aims to be easy to use, and implements case-based reasoning to allow users to automate reasoning around open-textured legal concepts.

• Subjects / Keywords

  • Declarative Logic Programming
  • Legal Technology
  • Case Based Reasoning
  • Expert Systems

• Graduation date

  Fall 2020

• Type of Item

  Thesis

• Degree

  Master of Laws

• DOI

  https://doi.org/10.7939/r3-f68m-rj55

• License

  Permission is hereby granted to the University of Alberta Libraries to reproduce single copies of this thesis and to lend or sell such copies for private, scholarly or scientific research purposes only. Where the thesis is converted to, or otherwise made available in digital form, the University of Alberta will advise potential users of the thesis of these terms. The author reserves all other publication and other rights in association with the copyright in the thesis and, except as herein before provided, neither the thesis nor any substantial portion thereof may be printed or otherwise reproduced in any material form whatsoever without the author's prior written permission.