🤖 AI

Provenance-Enhanced Statements in Knowledge Graphs

Questo articolo introduce DEC, un framework che interpreta la provenienza nei grafi di conoscenza come indicatori di posizione epistemica per organizzare le affermazioni attribuite in "mondi cognitivi", consentendo così un ragionamento principato su disaccordi e ipotesi senza farli collassare in inconsistenze.

Autori originali: Fabio Vitali, Valentina Pasqual

Pubblicato 2026-06-16

📖 6 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Fabio Vitali, Valentina Pasqual

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Il Probleo: Il caos del "Chi ha detto cosa?"

Immaginate una gigantesca biblioteca (un Knowledge Graph) dove le persone conservano dei fatti. Di solito, le biblioteche sono ottime per conservare fatti certi come "Il cielo è blu" o "L'acqua bolle a 100°C". Questi sono Dati: cose che sono vere indipendentamente da chi le guarda.

Ma molto di ciò che sappiamo non è così. Si tratta di Capta (dal latino "cose prese"): cose che sono rivendicate da qualcuno. Per esempio:

"Secondo l'storico dell'arte X, questo dipinto è stato realizzato da Da Vinci."
"Secondo lo scienziato Y, questa malattia è causata dallo stress."
"Secondo lo storico Z, la Terra è stata creata nel 4004 a.C."

Nei sistemi informatici attuali, possiamo etichettare questi enunciati con "Chi lo ha detto?" (Provenienza). Ma il sistema tratta l'etichetta come un semplice post-it. Non ne comprende il significato. Non sa distinguere tra:

"Martin Kemp ha scritto che..." (Un fatto riguardante un libro).
"Martin Kemp crede che..." (Un'opinione).
"Martin Kemp ha dimostrato che..." (Un fatto forte).
"Martin Kemp ipotizza che..." (Un azzardo).

Attualmente, se il computer vede "Secondo Kemp, la Terra è piatta", potrebbe confondersi. La Terra è piatta? O Kemp sta solo sbagliando? Il sistema spesso cerca di forzare tutto in un'unica "Verità", il che causa errori o ignora la sfumatura della storia e della scienza.

La Soluzione: DEC (Dossastico, Epistemico, Congetturale)

Gli autori propongono un nuovo framework chiamato DEC. Invece di limitarsi ad etichettare un enunciato con un nome, DEC tratta l'enunciato come se vivesse all'interno di un particolare "Mondo Cognitivo".

Pensate a un Mondo Cognitivo come a una stanza diversa in una casa, o a un film diverso che viene proiettato su uno schermo.

La Stanza della Realtà (Mondo Epistemico): Questa è la stanza in cui conserviamo i fatti di cui siamo sicuri al 100%. Se un enunciato si trova in questa stanza, il computer lo tratta come vero.
La Stanza delle Credenze (Mondo Dossastico): Qui conserviamo ciò che le persone pensano sia vero, anche se potrebbe essere sbagliato. Se Bruce crede che le balene siano pesci, questo va nella sua "Stanza delle Credenze". Il computer sa che Bruce sbaglia rispetto alla realtà, ma rispetta il fatto che Bruce ci creda.
La Stanza delle Ipotesi (Mondo Congetturale): Qui conserviamo le ipotesi. Se Carl ipotizza che i draghi siano rettili, questo va nella "Stanza delle Ipotesi". Il computer sa che si tratta di un'ipotesi, ma può comunque eseguire la logica all'interno di quella stanza (ad esempio: "Se i draghi sono rettili, allora Toothless è un rettile").

Come funziona: La magia della "Permeazione"

La magia di DEC è il modo in cui queste stanze comunicano tra loro. Gli autori chiamano questo processo Permeazione.

Porte monodirezionali: Di solito, i fatti dalla "Stanza della Realtà" possono fluire nella "Stanza delle Ipotesi". Se sappiamo che "I draghi sono finzioni", la Stanza delle Ipotesi (dove Carl sta ipotizzando sui draghi) lo sa automaticamente.
Nessun riflusso: Ma cosa succede nella "Stanza delle Credenze" (Bruce che pensa che le balene siano pesci)? Ciò non fluisce di ritorno nella "Stanza della Realtà". Il computer non pensa improvvisamente che le balene siano pesci solo perché Bruce lo pensa.
Il fix di "Superman": Esiste un famoso enigma logico chiamato il "Paradosso di Superman". Se Lois Lane sa che Superman può volare, e Superman è in realtà Clark Kent, Lois sa che Clark Kent può volare? Nella logica normale, sì. Ma nella realtà, no, perché lei non sa che sono la stessa persona.
- DEC risolve questo problema mantenendo separato il "Moreale di Lois Lane". Nel suo mondo, Superman e Clark sono persone diverse. Il computer rispetta la sua prospettiva e non forza l'identità della "Realtà" sul suo mondo di "Credenza", a meno che lei non apprenda esplicitamente la verità.

Cosa ci permette di fare

Separando questi mondi, il sistema può gestire situazioni complesse senza crashare:

Disaccordi: Si può avere una stanza che dice "Shakespeare scrisse Amleto" e un'altra che dice "De Vere scrisse Amleto". Il sistema non dice "Errore!". Dice semplicemente: "Queste due stanze sono in disaccordo".
Deliri: Se una stanza dice "La Terra è piatta" e la Stanza della Realtà dice "La Terra è rotonda", il sistema può etichettare la stanza "Terra Piatta" come Delirante. Sa che l'enunciato è attribuito correttamente (qualcuno lo ha effettivamente detto), ma il contenuto contraddice la realtà.
Opinioni personali: Se Alice dice "La pizza è meglio dei hot dog" e Bob dice "Gli hot dog sono meglio", il sistema sa che si tratta solo di opinioni. Non hanno bisogno di essere "corrette" o provate vere o false; esistono semplicemente come visioni personali.

Il Prototipo: Un "Supervisore" per il Database

Gli autori hanno costruito uno strumento prototipo (un "Reasoner") che si siede sopra un software di database standard (come Apache Jena/Fuseki).

Immaginate questo strumento come un Supervisore che cammina attraverso la biblioteca prima di chiunque altro.

Il Supervisore esamina ogni enunciato.
Chiede: "Chi ha detto questo? In che modo lo ha detto?"
Smista gli enunciati nelle corrette "Stanze" (Realtà, Credenza, Ipotesi).
Lascia che la logica del computer standard faccia i suoi calcoli all'interno di ogni stanza.
Controlla se le stanze stanno litigando tra loro (Disaccordi) o con la Realtà (Deliri).
Infine, mostra i risultati all'utente, etichettando chiaramente quali fatti sono solidi, quali sono credenze e quali sono solo ipotesi.

Riassunto

Il documento sostiene che dobbiamo smettere di trattare tutta la conoscenza nei computer come se fosse un unico, solido blocco di verità. Dovremmo invece trattare la conoscenza come una collezione di diverse prospettive.

DEC fornisce un modo per dire: "Questo è un fatto", "Questa è una credenza" e "Questa è un'ipotesi", permettendo loro di esistere insieme nello stesso database senza che il computer si confonda o vada in errore. Ci permette di conservare la storia dei dibattiti, l'esistenza di teorie errate e la sfumatura dell'opinione umana, mantenendo al contempo i "fatti duri" al sicuro e intatti.

Sintesi Tecnica: Dichiarazioni Potenziate dalla Provenienza nei Knowledge Graph

1. Definizione del Problema

I contemporanei Knowledge Graph (KG) contengono sempre più spesso Dichiarazioni Potenziate dalla Provenienza (PES) — affermazioni qualificate da un'attribuzione (ad es., "Secondo X, $\phi$ "). Queste dichiarazioni sono prevalenti in domini che trattano capta (dati interpretati, ipotesi e rivendicazioni accademiche) piuttosto che data (fatti indipendenti dall'osservatore).

Le attuali tecnologie del Semantic Web (ad es., PROV-O, i ranking di Wikidata, RDF-star) trattano la provenienza come metadato semanticamente neutro. Esse registrano chi ha assertato cosa, ma non riescono a caratterizzare lo status epistemico della rivendicazione. Questa neutralità porta a diverse limitazioni:

Perdita di Divergenza Significativa: Disaccordi e teorie concorrenti vengono spesso collassati in inconsistenze o relegati a meccanismi di ranking informali, oscurando la dinamica del dibattito accademico.
Ragionamento Inadeguato: Trattare la provenienza come neutrale impedisce un ragionamento principato sul contenuto attribuito. Ciò impedisce di distinguere tra un fatto, una credenza, un'ipotesi e un delirio, portando a problemi come il Paradosso di Superman (dove la sostituzione dell'identità fallisce attraverso i confini cognitivi).
Mancanza di Modellazione Strutturale: I modelli attuali si concentrano su singole dichiarazioni piuttosto che su mondi cognitivi — insiemi omogenei di dichiarazioni che condividono una provenienza e un impegno epistemico (ad es., una specifica teoria o il punto di vista di un autore).

2. Metodologia: Il Framework DEC

Gli autori propongono DEC (Doxastic, Epistemic, Conjectural), un framework che interpreta i predicati di provenienza come indicatori di posizione epistemica e raggruppa le dichiarazioni in mondi cognitivi.

2.1 Fondazione Teorica

DEC si basa sulla logica modale cognitiva, specificamente:

Logica Doxastica (KD45): Modella la credenza. Gli agenti possono nutrire credenze inconsistenti con la realtà, ma le credenze devono essere internamente coerenti (razionalità).
Logica Epistemica (S5): Modella la conoscenza. Le rivendicazioni sono trattate come fatti; esse permeano nella realtà.
Logica Congetturale (KDC): Modella le ipotesi. Gli agenti adottano fatti stabiliti e aggiungono assunzioni non verificate.

Concetti logici chiave applicati ai KG includono:

Località (Assioma K): Il ragionamento è confinato all'interno di un mondo cognitivo; le inferenze non attraversano automaticamente i confini.
Razionalità (Assioma D): I mondi cognitivi non possono contenere contraddizioni interne.
Permeazione:
- Inside-out (Assioma T): Le rivendicazioni epistemiche permeano nel nucleo fattuale (Realtà).
- Outside-in (Assioma C): I fatti stabiliti permeano nei mondi congetturali.
Intensionalità: Identità ed equivalenza (ad es., owl:sameAs) non attraversano liberamente i confini modali, risolvendo il Paradosso di Superman trattando l'identità come dipendente dal contesto.

2.2 Formalizzazione per RDF

Gli autori definiscono un'interpretazione DEC per i dataset RDF che è conservativa rispetto alla semantica RDF 1.2:

Mondi Cognitivi: Rappresentati come grafi nominati, triple citate (RDF-star) o dichiarazioni reificate.
Grafo della Realtà ( $r$ ): Un grafo distinto costruito dall'unione di tutti i mondi Epistemici.
Soddisfacimento: Un'interpretazione DEC soddisfa un grafo $g$ se l'interpretazione RDF sottostante soddisfa il grafo della realtà $r$ . I mondi non epistemici (credenze, congetture) non influenzano le condizioni di verità del dataset a meno che non siano epistemici.
Assestamento (Settlement): Un operatore dinamico (settle) permette alle rivendicazioni congetturali di transire verso lo strato epistemico (Realtà) in seguito alla validazione, senza eliminare l'ipotesi originale.

2.3 Fenomeni Epistemici

Il framework definisce e rileva formalmente:

Disaccordi: Due mondi cognitivi sono in disaccordo se la loro unione è logicamente inconsistente.
Deliri: Un mondo è delirante se è in disaccordo con il grafo della Realtà stabilito.
Opinioni Personali: Mondi contenenti rivendicazioni distaccate dalla realtà verificabile (ad es., preferenze) che non sono né supportate né smentite da $r$ .

3. Implementazione e Risultati

Gli autori hanno implementato un prototipo di Ragionatore DEC come modulo per Apache Jena Fuseki.

Architettura: Il ragionatore agisce come uno strato di supervisione sopra l'inferenza standard RDF/RDFS/OWL. Non sostituisce il ragionatore sottostante, ma prepara i grafi applicando politiche di permeazione basate sul tipo epistemico del mondo (ad es., duplicando i fatti nei mondi congetturali o promuovendo i fatti epistemici al grafo della realtà).
Rappresentazioni Supportate: Il sistema gestisce Named Graphs, RDF-star (triple citate) e la Reificazione classica.
Rilevamento delle Inconsistenze: Il prototipo supporta due meccanismi per rilevare i conflitti:
1. Inconsistenza Logica: Utilizzando il ragionatore OWL sottostante per controllare la soddisfacibilità delle unioni dei mondi.
2. Vincoli di Chiusura (dec:closedFor): Dichiarare esplicitamente che certi predicati (ad es., dc:creator) non possono avere valori multipli per lo stesso soggetto attraverso i mondi, permettendo il rilevamento del disaccordo anche quando l'inconsistenza logica non è immediatamente derivabile.
Risultati: Il prototipo dimostra con successo:
- La capacità di mantenere teorie concorrenti (ad es., l'autoria di Salvator Mundi o Amleto) senza far collassare il dataset in un'inconsistenza.
- Il rilevamento di rivendicazioni deliranti (ad es., una credenza che contraddice i fatti stabiliti).
- La preservazione della "verità dell'attribuzione" (la rivendicazione che X abbia detto Y) anche quando il contenuto Y è falso o delirante.

4. Contributi Chiave

Caratterizzazione Epistemica delle PES: Spostare la provenienza da metadato neutro a operatore semantico che definisce la relazione tra una dichiarazione e la realtà.
Mondi Cognitivi: Introdurre un'unità strutturale (il mondo cognitico) per raggruppare le dichiarazioni omogenee per provenienza, consentendo la modellazione di teorie e dibattiti accademici come unità coesive.
Risoluzione Formale dei Problemi di Sostituzione: Fornire un trattamento intensionale e principato dell'identità e dell'equivalenza nei KG, evitando il Paradosso di Superman imponendo la località.
Prototipo Operativo: Dimostrare che questi concetti teorici possono essere implementati come uno strato pratico sopra l'infrastruttura esistente del Semantic Web (Jena/Fuseki) senza ridefinire l'entailment standard di RDF.

5. Significato e Rivendicazioni

L'articolo sostiene che DEC affronta una lacuna semantica critica nei Knowledge Graph: l'incapacità di ragionare formalmente sulla divergenza delle rivendicazioni. Distinguendo tra data (fatti) e capta (rivendicazioni), DEC consente ai KG di:

Rappresentare lo stato di un dibattito piuttosto che un singolo punto di vista "fattuale".
Supportare un ragionamento controllato dove i disaccordi sono caratteristiche esplicite, non errori da risolvere.
Consentire l'evoluzione epistemica, dove le rivendicazioni possono essere tracciate mentre passano da congettura ad assestamento (fatto) o vengono identificate come deliri.

Gli autori sottolineano che DEC è conservativo: non altera la semantica fondamentale dei termini RDF o dei predicati ontologici, ma aggiunge un meta-strato di interpretazione. Ciò consente la coesistenza di prospettive concorrenti senza sacrificare la capacità di eseguire l'inferenza standard sui fatti stabiliti. Il lavoro suggerisce che i futuri KG in domini come il patrimonio culturale e la ricerca scientifica devono andare oltre la provenienza neutrale per supportare la modellazione esplicita delle posizioni epistemiche.