Consistency Is Not Coherence: Orientation Search for Certified Alignments Between 4D Defence Upper Ontologies

Nel mondo ad alto rischio della difesa nazionale e dell'intelligence, i dati sono la valuta della sicurezza. I governi e le alleanze militari si affidano a massicci sistemi digitali per tracciare persone, eventi e luoghi, garantendo che un soldato sul campo e un stratega in un centro di comando parlino la stessa lingua. Per far sì che questi sistemi comunichino tra loro, gli esperti costruiscono dizionari digitali chiamati "ontologie". Pensate a un'ontologia non come a un semplice elenco di parole, ma come a una mappa rigorosa di come una specifica comunità intende la realtà. Essa definisce cos'è una "persona", cos'è un "evento" e come queste cose si relazionano tra loro. Quando due diverse organizzazioni, come le forze di difesa del Regno Unito e un'ampia alleanza internazionale, cercano di condividere informazioni, devono allineare le loro mappe. Se una mappa dice che una "persona" è un oggetto fisico che esiste attraverso il tempo e l'altra dice che una "persona" è una serie di momenti nel tempo, i computer che cercano di fondere queste mappe andranno in crash o, peggio, produrranno errori silenziosi che portano a decisioni errate. L'obiettivo di questo lavoro è garantire che, quando queste mappe digitali vengono unite, l'immagine risultante sia non solo coerente, ma che abbia effettivamente senso.

I ricercatori in questo studio hanno affrontato un problema difficile che coinvolge tre mappe digitali specifiche utilizzate nella difesa: l'Information Exchange Standard, che il Regno Unito usa per condividere l'intelligence; l'Higher Quality Data Model, che sostiene il gemello digitale della nazione per l'ambiente costruito; e la Basic Formal Ontology, uno standard utilizzato dalla NATO e dagli Stati Uniti. Prima di questo lavoro, nessuno era riuscito a creare un ponte leggibile dalle macchine tra l'Information Exchange Standard del Regno Unito e l'Higher Quality Data Model. Il team ha preso un elenco curato a mano di diciassette connessioni, create da esperti umani che ritenevano che i due sistemi fossero correlati, e ha testato cosa sarebbe successo se un computer avesse trattato quelle connessioni come fatti logici assoluti. Il risultato è stata una scoperta sorprendente: controllare semplicemente se i dati combinati fossero "consistenti" non era sufficiente.

Quando i ricercatori hanno fuso le due mappe utilizzando le connessioni degli esperti, il computer ha superato il controllo standard di consistenza. Ha trovato un modello in cui tutto poteva teoricamente esistere. Tuttavia, un'ispezione più approfondita ha rivelato che il sistema fuso era rotto in un modo che il controllo standard aveva mancato. La combinazione ha creato cento nuove categorie di dati che erano logicamente impossibili da esistere. Per esempio, il sistema fuso dichiarava che certe categorie operative del mondo reale, come "persona arrestata" o "testimone", erano insiemi vuoti — concetti che non avrebbero mai potuto avere una singola istanza. Ciò accadeva perché la mappa di destinazione, l'Higher Quality Data Model, conteneva già trentanove categorie rotte prima ancora che iniziasse la fusione. Queste categorie rotte erano invisibili ai controlli standard, nascoste in profondità nella struttura della mappa. Quando i ricercatori hanno mappato i dati del Regno Unito su queste categorie rotte, stavano essenzialmente cercando di versare acqua in una tazza con un buco sul fondo; la connessione era tecnicamente "vera" perché nulla avrebbe mai potuto riempire lo spazio vuoto, ma era inutile per qualsiasi applicazione del mondo reale.

L'articolo sostiene che il metodo abituale per risolvere questi problemi sia troppo rozzo. Tipicamente, quando un computer trova un conflitto, elimina semplicemente la connessione che ha causato il problema. I ricercatori hanno scoperto che questo approccio scarta informazioni preziose. Invece, hanno sviluppato un nuovo metodo chiamato "ricerca di orientamento" (orientation search). Piuttosto che chiedere "dobbiamo mantenere questa connessione o eliminarla?", il loro metodo chiede "in quale direzione scorre questa connessione?". Tratta la relazione tra due concetti come una variabile che può essere regolata. A volte due cose sono esattamente la stessa cosa; altre volte, una è un tipo dell'altra, ma non viceversa. Lasciando che un ragionatore informatico testi ogni possibile direzione per ogni connessione, il team è stato in grado di riparare il ponte senza eliminare gli originali spunti degli esperti. Hanno scoperto che per la maggior parte delle connessioni, i due sistemi concordavano perfettamente. Ma per le poche in cui discordevano, il computer poteva individuare esattamente il perché. Diceva: "Questi due concetti non possono essere uguali perché, se lo fossero, costringerebbero un particolare evento del mondo reale a essere un tipo di oggetto fisico, il che contraddice le regole del primo sistema". Il computer forniva quindi un controesempio specifico per dimostrare il punto, trasformando un potenziale errore in una documentata differenza nel modo in cui i due standard vedono il mondo.

Lo studio ha anche testato quanto bene i sistemi informatici esistenti potessero risolvere questo problema da soli. Hanno eseguito due programmi di matching stabiliti e un grande modello linguistico, simile alla tecnologia dietro i moderni chatbot, contro gli stessi dati. Tutti hanno fallito nello stesso modo. Sono stati ingannati da un "falso amico" — una coppia di parole che appaiono identiche ma significano cose diverse. Entrambi i sistemi hanno cercato di connettere il concetto di "evento" nel sistema del Regno Unito con un "evento" nell'altro sistema. Nel sistema del Regno Unito, un evento è un accadimento che richiede tempo e coinvolge persone. Nell'altro sistema, un evento è un singolo momento istantaneo senza durata. I computer, facendo affidamento sulla somiglianza dei nomi, hanno forzato queste due idee diverse a essere la stessa cosa, il che ha immediatamente rotto la logica dell'intero sistema. Gli esperti umani avevano avvertito di questa trappola, ma i sistemi automatizzati ci sono caduti dentro. Anche quando i ricercatori hanno dato ai sistemi automatizzati l'elenco delle connessioni degli esperti e hanno chiesto loro di correggere gli errori, i sistemi o hanno eliminato le connessioni corrette o le hanno invertite, perdendo il preciso significato che gli esperti avevano inteso.

Il risultato finale di questo lavoro è un ponte certificato tra i tre principali ontologie della difesa. È un insieme di ventuno regole logiche che collega gli standard di dati del Regno Unito a quelli internazionali senza creare alcuna categoria impossibile o rompere alcuna regola esistente. Fondamentalmente, questo ponte non nasconde i disaccordi. Dove i sistemi concordano, afferma che sono uguali. Dove discordono, afferma la relazione in una sola direzione e attacca una spiegazione generata dalla macchina sul perché non possano essere uguali. Questo approccio assicura che i dati rimangano utilizzabili e che le differenze tra gli standard siano registrate come fatti piuttosto che come errori. I ricercatori hanno anche scoperto che connettere la visione quadridimensionale del mondo del Regno Unito a quella tridimensionale internazionale richiedeva un aggiustamento specifico: una "persona" nel sistema del Regno Unito non è un oggetto fisico nel sistema internazionale, ma piuttosto la storia dell'esistenza di quell'oggetto. Questo sottile spostamento è stato la chiave per far funzionare l'intero sistema.

L'articolo conclude che il modo in cui costruiamo e testiamo questi ponti digitali deve cambiare. Affidarsi a semplici controlli di consistenza è pericoloso perché permette a mappe rotte di superare l'ispezione. Invece, ogni volta che due sistemi vengono uniti, il processo deve includere un controllo di "coerenza", assicurando che nessuna categoria diventi impossibile da riempire. Inoltre, la direzione della connessione conta quanto la connessione stessa. Trattando la direzione come una variabile da testare piuttosto che come un'assunzione fissa, i ricercatori possono preservare la conoscenza degli esperti umani lasciando che i computer trovino il percorso logico preciso. Questo lavoro dimostra che, con gli strumenti giusti, possiamo costruire ponti digitali che non siano solo consistenti, ma veramente coerenti, permettendo ai diversi sistemi di difesa di condividere informazioni con fiducia e chiarezza.