Abstract:In this paper, we address the issue of using logic rules to explain the results from legal case retrieval. The task is critical to legal case retrieval because the users (e.g., lawyers or judges) are highly specialized and require the system to provide logical, faithful, and interpretable explanations before making legal decisions. Recently, research efforts have been made to learn explainable legal case retrieval models. However, these methods usually select rationales (key sentences) from the legal cases as explanations, failing to provide faithful and logically correct explanations. In this paper, we propose Neural-Symbolic enhanced Legal Case Retrieval (NS-LCR), a framework that explicitly conducts reasoning on the matching of legal cases through learning case-level and law-level logic rules. The learned rules are then integrated into the retrieval process in a neuro-symbolic manner. Benefiting from the logic and interpretable nature of the logic rules, NS-LCR is equipped with built-in faithful explainability. We also show that NS-LCR is a model-agnostic framework that can be plugged in for multiple legal retrieval models. To showcase NS-LCR's superiority, we enhance existing benchmarks by adding manually annotated logic rules and introducing a novel explainability metric using Large Language Models (LLMs). Our comprehensive experiments reveal NS-LCR's effectiveness for ranking, alongside its proficiency in delivering reliable explanations for legal case retrieval.

On Second-Order Justification in Legal Reasoning

On Logical Justification of Legal Rationality

Explaining Non-monotonic Normative Reasoning using Argumentation Theory with Deontic Logic

Gauging Court Adjudication: Qualification And Quantification

IRAC Method and Its Logical Justification

On Logical Ground of Justice of Judicial Judgment

On Logical Foundation of Legal Argument in Criminal Trial

Non-monotonic Reasoning and Argumentation System

A Model of Justification

Argumentation-Based Non-Monotonic Reasoning of Agents

Defeasible deontic logic: arguing about permission and obligation

How to Justify Principles of Justice

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

Inductive Logic as a Structural Reliabilist Theory of Justification

Hard Cases,Judicial Decisions and the Weight among Substantive-Factors

Possibility and Restriction of Coherence in Legal Argumentation

Methods on Rhetorical Proof——Discussion on Two Judgments

Logic Rules as Explanations for Legal Case Retrieval

The Truth and Proposition in Law:Review On Patterson's Law and Truth

Arguments Grounded in Cases : A Computational Approach

Two Types of Formalism of the Rule of Law