Formalizzazione insiemistica dell'estrazione della causa giuridica islamica tramite al-Sabr wa al-Taqsim
Un nuovo articolo su arXiv presenta un metodo insiemistico per potenziare l'approccio usuli tradizionale chiamato al-Sabr wa al-Taqsim, che si concentra sulla ricerca delle cause legali ('ilal) all'interno di sezioni giurisprudenziali specifiche. Gli autori hanno creato un algoritmo computazionale che utilizza una tavola di verità delle decisioni legali per estrarre le regole operative più semplici. La loro scoperta principale mostra che, con una tavola di verità completa per un dato capitolo, l'algoritmo può individuare le componenti strutturali essenziali della sentenza eliminando gli elementi logici superflui. Queste componenti possono poi essere analizzate ulteriormente nelle discussioni legali. Questo studio utilizza un vocabolario specifico pertinente alla scuola e include una tavola completa delle sentenze per il capitolo. Rientra nella categoria Computer Science > Artificial Intelligence ed è stato presentato il 25 luglio 2026.
Fatti principali
- L'articolo presenta la formalizzazione insiemistica del metodo al-Sabr wa al-Taqsim.
- Metodo utilizzato per estrarre le cause legali ('ilal) nella giurisprudenza islamica.
- L'algoritmo estrae regole operative minime dalle tavole di verità dei verdetti giuridici.
- L'algoritmo calcola i generatori strutturali minimi della sentenza.
- Elimina tutti gli attributi logicamente ridondanti.
- Le strutture risultanti sono cause candidate ammissibili per la valutazione giuridica.
- Il quadro richiede un vocabolario concettuale finito relativo alla scuola e una tavola completa delle sentenze.
- L'articolo è classificato sotto Computer Science > Artificial Intelligence.
Entità
Istituzioni
- arXiv