Logic-based models can be used to build verification tools for machine learning classifiers employed in the legal field. ML classifiers predict the outcomes of new cases based on previous ones, thereby performing a form of case-based reasoning (CBR). In this paper, we introduce a modal logic of classifiers designed to formally capture legal CBR. We incorporate principles for resolving conflicts between precedents, by introducing into the logic the temporal dimension of cases and the hierarchy of courts within the legal system.
Di Florio, C., Dong, H., Rotolo, A. (2026). A Modal Logic for Temporal and Jurisdictional Classifier Models. Berlin : Springer [10.1007/978-3-032-13562-9_18].
A Modal Logic for Temporal and Jurisdictional Classifier Models
Cecilia Di Florio
;Antonino Rotolo
2026
Abstract
Logic-based models can be used to build verification tools for machine learning classifiers employed in the legal field. ML classifiers predict the outcomes of new cases based on previous ones, thereby performing a form of case-based reasoning (CBR). In this paper, we introduce a modal logic of classifiers designed to formally capture legal CBR. We incorporate principles for resolving conflicts between precedents, by introducing into the logic the temporal dimension of cases and the hierarchy of courts within the legal system.| File | Dimensione | Formato | |
|---|---|---|---|
|
preprint estratto da arxiv.pdf
accesso aperto
Tipo:
Preprint / submitted version - versione proposta prima della peer-review
Licenza:
Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione
492.23 kB
Formato
Adobe PDF
|
492.23 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
