Table of Contents
Fetching ...

Rule-based Classifier Models

Cecilia Di Florio, Huimin Dong, Antonino Rotolo

TL;DR

The paper addresses the limitation of predictive justice models that rely solely on case facts by introducing a rule-based extension to classifier models that incorporates the ratio decidendi through sets of admissible rules. It defines a Rule-based Classifier Model (RCM) where each state comprises a factual subset and an applicable rule solution, and links these states to case bases, enabling rule-driven and precedent-informed decisions. A central contribution is the formalization of a relevance relation that encodes precedential constraints and governs how past cases constrain new decisions, along with mechanisms to ensure minimal, compatible rule sets. The work also discusses incorporating hierarchical court structures and temporal ordering (as in PrecedentsClash) to resolve conflicts among binding precedents, paving the way for more transparent and justifyable predictive justice systems.

Abstract

We extend the formal framework of classifier models used in the legal domain. While the existing classifier framework characterises cases solely through the facts involved, legal reasoning fundamentally relies on both facts and rules, particularly the ratio decidendi. This paper presents an initial approach to incorporating sets of rules within a classifier. Our work is built on the work of Canavotto et al. (2023), which has developed the rule-based reason model of precedential constraint within a hierarchy of factors. We demonstrate how decisions for new cases can be inferred using this enriched rule-based classifier framework. Additionally, we provide an example of how the time element and the hierarchy of courts can be used in the new classifier framework.

Rule-based Classifier Models

TL;DR

The paper addresses the limitation of predictive justice models that rely solely on case facts by introducing a rule-based extension to classifier models that incorporates the ratio decidendi through sets of admissible rules. It defines a Rule-based Classifier Model (RCM) where each state comprises a factual subset and an applicable rule solution, and links these states to case bases, enabling rule-driven and precedent-informed decisions. A central contribution is the formalization of a relevance relation that encodes precedential constraints and governs how past cases constrain new decisions, along with mechanisms to ensure minimal, compatible rule sets. The work also discusses incorporating hierarchical court structures and temporal ordering (as in PrecedentsClash) to resolve conflicts among binding precedents, paving the way for more transparent and justifyable predictive justice systems.

Abstract

We extend the formal framework of classifier models used in the legal domain. While the existing classifier framework characterises cases solely through the facts involved, legal reasoning fundamentally relies on both facts and rules, particularly the ratio decidendi. This paper presents an initial approach to incorporating sets of rules within a classifier. Our work is built on the work of Canavotto et al. (2023), which has developed the rule-based reason model of precedential constraint within a hierarchy of factors. We demonstrate how decisions for new cases can be inferred using this enriched rule-based classifier framework. Additionally, we provide an example of how the time element and the hierarchy of courts can be used in the new classifier framework.
Paper Structure (8 sections, 7 theorems, 6 equations, 1 figure)

This paper contains 8 sections, 7 theorems, 6 equations, 1 figure.

Key Result

Proposition 1

Let $s=(X, sol)\in S$ such that $f(s)\neq {\sf ?}$. Given $c=(X, op(s), f(s))$ obtained from $s$, it is a case in Definition def:cb: (1) $op(s)$ is an opinion, and (2) $f(s)$ is the outcome supported by $op$.

Figures (1)

  • Figure 1: An abstract example from Canavotto1

Theorems & Definitions (44)

  • Definition 1: * Factor link and Factors Hierarchy
  • Remark 1
  • Definition 2: *Favoring factors
  • Definition 3: *Degree of factors and concerns
  • Remark 2
  • Definition 4: *Concerns raised by a fact situation
  • Definition 5: *Concerns of degree n raised by a fact situation
  • Definition 6: Rule admissible in $H$
  • Definition 7: *Rule applicable in a fact situation
  • Definition 8: *Decision
  • ...and 34 more