Beyond Logic Programming for Legal Reasoning

06/29/2023
by   Ha-Thanh Nguyen, et al.
0

Logic programming has long being advocated for legal reasoning, and several approaches have been put forward relying upon explicit representation of the law in logic programming terms. In this position paper we focus on the PROLEG logic-programming-based framework for formalizing and reasoning with Japanese presupposed ultimate fact theory. Specifically, we examine challenges and opportunities in leveraging deep learning techniques for improving legal reasoning using PROLEG identifying four distinct options ranging from enhancing fact extraction using deep learning to end-to-end solutions for reasoning with textual legal descriptions. We assess advantages and limitations of each option, considering their technical feasibility, interpretability, and alignment with the needs of legal practitioners and decision-makers. We believe that our analysis can serve as a guideline for developers aiming to build effective decision-support systems for the legal domain, while fostering a deeper understanding of challenges and potential advancements by neuro-symbolic approaches in legal applications.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/16/2022

Law to Binary Tree – An Formal Interpretation of Legal Natural Language

Knowledge representation and reasoning in law are essential to facilitat...
research
04/14/2023

How well do SOTA legal reasoning models support abductive reasoning?

We examine how well the state-of-the-art (SOTA) models used in legal rea...
research
10/09/2021

Dynamic Logic of Legal Competences

We propose a new formalization of legal competences, and in particular f...
research
05/09/2023

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions

Principled accountability in the aftermath of harms is essential to the ...
research
06/23/2020

Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic

Enabling machines to legal balancing is a non-trivial task challenged by...
research
11/24/2011

The Network of French Legal Codes

We propose an analysis of the codified Law of France as a structured sys...
research
07/27/2017

Reconciling Bayesian Epistemology and Narration-based Approaches to Judiciary Fact-finding

Legal probabilism (LP) claims the degrees of conviction in juridical fac...

Please sign up or login with your details

Forgot password? Click here to reset