CVPD at QIAS 2026: RAG-Guided LLM Reasoning for Al-Mawarith Share Computation and Heir Allocation

Immagina di dover dividere un'eredità secondo le leggi islamiche. Non è come dividere una pizza tra amici dove ognuno prende una fetta uguale. È molto più complicato: ci sono regole precise su chi può ereditare, chi viene "escluso" se ci sono parenti più stretti, come calcolare le frazioni esatte e cosa succede se la somma delle quote supera o è inferiore al 100%.

Il paper che hai condiviso racconta la storia di come un gruppo di ricercatori (il team CVPD) ha vinto una gara internazionale (QIAS 2026) creando un "super-assistente digitale" capace di risolvere questi problemi matematico-legali con una precisione quasi perfetta (93,5%).

Ecco come hanno fatto, spiegato con delle metafore:

1. Il Problema: Un Labirinto di Regole

Pensa alle leggi di eredità come a un labirinto gigante.

• Se entri da una porta sbagliata (es. sbagli a identificare un erede), ti perdi.
• Se sbagli un calcolo matematico (es. una frazione), il risultato è sbagliato.
• Le regole cambiano a seconda della scuola di pensiero legale (come se il labirinto avesse mappe diverse per ogni stagione).

I computer normali (i grandi modelli di intelligenza artificiale) sono bravissimi a parlare e a capire il testo, ma spesso fanno errori quando devono fare calcoli precisi o seguire regole rigide. È come dare a un poeta geniale un compito di algebra: scrive bellissime poesie, ma sbaglia i conti.

2. La Soluzione: La "Biblioteca Magica" + Il "Controllore"

Il team ha costruito un sistema in tre fasi, che possiamo paragonare a un investigatore privato che lavora in una biblioteca speciale.

Fase 1: Costruire la "Biblioteca dei Casi Perfetti" (Sintesi dei Dati)

Invece di far studiare al computer solo libri vecchi e confusi, i ricercatori hanno creato un laboratorio di simulazione.

• L'analogia: Immagina di avere un ingegnere che crea 100.000 "casi di eredità finti" ma perfetti. Per ogni caso, calcola tutto a mano (o con una calcolatrice infallibile) per assicurarsi che la matematica sia corretta al 100%.
• Perché? Così il computer impara non solo cosa scrivere, ma come ragionare passo dopo passo, senza errori di calcolo.

Fase 2: L'Investigatore con la "Bussola Ibrida" (RAG - Retrieval Augmented Generation)

Quando arriva una nuova domanda (es. "Come si divide l'eredità di Zainab?"), il sistema non cerca di indovinare dalla memoria.

• L'analogia: L'investigatore corre nella sua "Biblioteca Magica" (quella con i 100.000 casi perfetti). Usa due tipi di bussola:
  1. Bussola Semantica: Cerca per "significato" (trova casi simili anche se le parole sono diverse).
  2. Bussola Parola-Chiave: Cerca per "parole esatte" (come un indice di un libro).
• Prende i 60 casi più simili, li mescola e sceglie i migliori. È come se l'investigatore dicesse: "Non invento nulla, guardo come abbiamo risolto casi identici in passato".

Fase 3: Il "Controllore di Sicurezza" (Validazione)

Questa è la parte più importante. Anche se l'investigatore è bravo, a volte può fare errori di distrazione.

• L'analogia: Prima di consegnare il lavoro, passa sotto un scanner di sicurezza. Questo scanner controlla:
  • "Hai scritto tutti i nomi degli eredi?" (Controllo delle chiavi).
  • "Le percentuali sommano 100?" (Controllo della matematica).
  • "Hai usato i termini legali giusti?"
• Se qualcosa non torna, il sistema lo corregge o lo riempie con valori di sicurezza prima di consegnare il risultato. È come un pilota automatico che controlla che l'aereo non stia per schiantarsi prima di atterrare.

3. Il Risultato: La Vittoria

Grazie a questo metodo, il loro sistema ha vinto la gara QIAS 2026, arrivando primo con un punteggio di 0,935 (su 1).

• Cosa significa? Hanno battuto altri sistemi molto potenti. La differenza tra il primo e il secondo posto è stata minuscola (0,004), il che mostra quanto fosse difficile la gara.
• La lezione principale: Non serve solo un'intelligenza artificiale "intelligente" che parla bene. Serve un sistema che cerchi informazioni affidabili (dai documenti legali, non da internet generico) e che verifichi i propri calcoli prima di parlare.

In sintesi, per il lettore comune

Immagina di dover dividere un'eredità complessa.

• Prima: Chiedevi a un avvocato AI generico. Lui ti dava una risposta plausibile ma spesso sbagliava i numeri o dimenticava un parente.
• Ora (con questo sistema): Chiedi a un avvocato AI che ha con sé una biblioteca di 100.000 casi risolti perfettamente, che consulta i manuali legali ufficiali (PDF) invece di cercare su Google, e che ha un assistente che controlla i calcoli con una calcolatrice prima di dirti la risposta finale.

Il risultato? Una risposta che non solo suona legale, ma è matematicamente e giuridicamente corretta.