Deterministic AI Framework for Public Services

Il caso d'uso per le infrastrutture critiche e il settore pubblico.

Come si compongono i livelli, dalle fondamenta alla superficie.

La macchina di prova e i formati di replay dietro i certificati.

Il framework gira su Core, Loom e Kera con un certificato di prova in stile AION su ogni decisione. Leggi il substrato, la macchina di prova e i formati di replay, oppure parlaci di un servizio specifico.

Leggi il livello di prova dall'inizio alla fine.

Se un ente pubblico usa un computer per aiutarsi a decidere il tuo caso, puoi chiedere la motivazione in parole semplici, e una persona deve farsene carico. Non è un favore, è così che deve funzionare.

Il framework include una roadmap a fasi, un modello di governance e schemi di riferimento. Parlaci della sua applicazione a un servizio specifico, oppure leggi come funziona la piattaforma sottostante.

Rendi difendibile l'IA nel settore pubblico.

CPU-first contro uno stack GPU generativo.

Ricerca ipervettoriale sul percorso critico che sostituisce un round trip di recupero.

2.900+ operazioni, 76 categorie, 25 formati numerici, 12 backend.

Da 4 a 8 attive per query, a valle della prova.

Il framework gira sulla stessa piattaforma del resto di Dweve. Loom contribuisce con 528 specialisti di dominio, con da 4 a 8 attivi per query, Core copre circa 408K implementazioni su 12 backend, Lattice offre ricerche sul percorso critico a 1,36 ns, BitWeave mantiene un recall di 1.000 a circa 35K QPS su 10K documenti, e l'intero stack gira CPU-first con il 96% di energia in meno rispetto a uno stack generativo.

Trasparenza proattiva ai sensi della Wet open overheid e la proporzionalità richiesta dalla sentenza SyRI del 2020, garantite dall'architettura.

Obblighi di spiegabilità e supervisione ad alto rischio, più un gate umano ai sensi dell'Articolo 22 del GDPR prima di qualsiasi decisione con effetti giuridici.

RDF e OWL modellano il dominio, PROV-O registra la provenienza per campo, SHACL codifica le regole. Tutto pubblicato, nulla di proprietario.

Qui non c'è alcun formato privato. Il substrato si fonda su standard aperti W3C, RDF e OWL per l'ontologia, PROV-O per la provenienza, SHACL per i vincoli, e la superficie normativa si fonda su leggi specifiche, l'AI Act UE, l'Articolo 22 del GDPR, la Wet open overheid e la sentenza SyRI del 2020 del Tribunale dell'Aia. Ogni anchor mappa a un artefatto concreto che il certificato trasporta.

Un segmento di catena SHA3-256, firmato Ed25519, riprodotto bit-identico.

Articolo 22 GDPR applicato come gate prima di qualsiasi decisione con effetto legale.

Un certificato verificato offline in tempo lineare, senza bisogno di solver.

I vincoli attivati, in ordine, registrati mentre la risposta viene costruita.

Il ragionamento procede per soddisfacimento di vincoli ed emette un certificato di prova che qualsiasi verificatore controlla offline, in tempo lineare, senza interrogare il solver. Il certificato nomina il soggetto dell'ontologia, la discendenza PROV-O, la forma SHACL attivata, il gate umano richiesto prima dell'effetto legale e il sigillo di riproduzione. Una risposta fluente ma errata fallisce il controllo.

La conclusione provata, con la sua traccia, viene consegnata a Loom per essere espressa in parole semplici.

Le forme corrispondenti alimentano il soddisfacimento di vincoli su Core, che emette un certificato verificabile.

Le entità del grafo vengono confrontate con la forma SHACL in vigore alla data.

I campi tipizzati con discendenza PROV-O diventano entità e relazioni nel grafo di conoscenza.

Segui una singola query di servizio pubblico mentre viene abbassata attraverso i cinque livelli. Entra come campi tipizzati con provenienza allegata, si lega all'ontologia RDF e OWL, attiva la forma SHACL in vigore alla data, deriva un esito per soddisfacimento di vincoli con un certificato di prova, e solo allora viene formulata da Loom, a valle della prova. Ogni passaggio è registrato, quindi l'intero percorso si riproduce bit-identico.

Core deriva per soddisfacimento di vincoli su 12 backend ed emette un certificato verificabile a macchina, riprodotto bit-identico.

Le forme SHACL codificano policy e regole legali e validano continuamente. Un valore diventa un vincolo eseguibile, non un commento.

RDF e OWL modellano il dominio come un grafo di conoscenza interrogabile e reversibile. Lattice serve le ricerche hot-path a 1,36 ns.

Una query viene abbassata attraverso cinque livelli, ciascuno sostituibile, ciascuno registrato. Il dominio è un'ontologia esplicita RDF e OWL piuttosto che pesi appresi, la provenienza è PROV-O allegata per campo, le regole sono forme SHACL validate continuamente, la derivazione procede per soddisfacimento di vincoli su Core, e Loom esprime la conclusione provata a valle della prova.

Chiedi due volte e torna esattamente la stessa ragione.

I tuoi dati restano presso l'ufficio, in Europa.

Un modo semplice per far sì che una persona lo guardi ancora una volta.

Un motivo leggibile, che indica la regola e la tua situazione.

Quando un ente pubblico usa un computer per aiutarsi a decidere il tuo caso, la legge europea è dalla tua parte. Hai diritto a un motivo leggibile, a una persona che risponde della decisione, a un modo per chiedere di nuovo se qualcosa sembra sbagliato, e alla certezza che i tuoi dati restino vicino a casa. Nessuno di questi ha costi extra. Funziona semplicemente così.

Se qualcosa sembra sbagliato, chiedi a una persona di guardare ancora una volta. Il motivo è stato conservato per te.

Il motivo riporta il nome dell'operatore che lo ha approvato. Non solo una macchina.

Torna la regola usata e come la tua situazione è stata verificata rispetto ad essa.

Telefona, scrivi o passa di persona. Dì semplicemente: per favore, comunicami il motivo di questa decisione.

Non servono moduli, avvocati o una sola parola informatica. Telefoni o scrivi all'ufficio e chiedi, con parole semplici, il motivo della decisione. Devono dartelo, indicando la regola e la persona che ha firmato. Ecco esattamente come funziona e cosa ti spetta in cambio.

Restano presso l'ufficio, qui in Europa. Non vengono inviati per addestrare il sistema di qualcun altro.

C'è sempre. Puoi chiedere a una persona di guardare di nuovo, e il motivo completo è conservato nel fascicolo.

Ricevi parole invece. La regola usata e come il tuo caso è stato verificato rispetto ad essa.

Non lo fa mai. Una persona nominata ha l'ultima parola su qualsiasi cosa che influisca sulla tua vita.

È naturale sentirsi a disagio quando un computer è coinvolto in una decisione sulla tua prestazione, sul tuo permesso o sul tuo caso. Quindi ecco ogni preoccupazione comune accanto a ciò che accade davvero. Una persona decide sempre. Ricevi sempre un motivo in parole semplici. E se qualcosa sembra sbagliato, puoi sempre chiedere di nuovo.

Salvato in parole semplici. Chiedi di nuovo più tardi e arriva la stessa risposta.

Un operatore nominato è d'accordo con il risultato. Il computer aiuta, la persona decide.

La tua situazione reale viene confrontata con quella regola, punto per punto, non valutata con un numero.

Come il listino prezzi al muro. Uguale per tutti, scritto prima che tu entri.

Non devi capire i computer per vedere che è giusto. L'ufficio scrive prima la regola, controlla la tua situazione reale, una persona la firma e conserva il motivo così puoi richiederlo in seguito. Stesso caso in ingresso, stessa risposta in uscita.

Trasparenza totale e proporzionalità garantite dall'architettura.

Log leggibili da macchina ed esportazione del registro nazionale degli algoritmi.

Controllo umano nel ciclo prima di qualsiasi decisione con effetti legali.

Certificato di prova del ragionamento, traccia linguistica, schema di metadati SHACL.

Il framework non tratta la conformità come una lista di controllo aggiunta alla fine. Ogni obbligo legale corrisponde a un componente tecnico specifico e a un artefatto di audit specifico, valutati continuamente.

Core esegue la pipeline su un motore binario multi-backend con replay bit-identico. Kera riduce un grafo a ogni destinazione.

Loom, con 528 specialisti di dominio e da 4 a 8 attivi per query, si trova a valle. Mette in parole una conclusione provata, con la traccia allegata.

Deriva tramite soddisfacimento di vincoli ed emette un certificato di prova verificabile da macchina. Una risposta fluente ma sbagliata fallisce la prova.

Una query diventa una risposta passando attraverso cinque livelli. Ogni livello può essere sostituito in modo indipendente, ogni transizione di stato è registrata e interrogabile, e qualsiasi decisione può essere annullata e derivata di nuovo dai primi principi.

Un sistema integrato che sia affidabile, legale e fondato.

Senza metadati non ha soggetto. Cosa sta valutando?

Senza conformità è legalmente inerte. Soddisfa le regole?

Senza provenienza non ci si può fidare. Da dove viene?

Il framework non tratta questi tre elementi come sistemi separati, ma come tre facce della stessa cosa. I metadati senza provenienza non sono affidabili. La provenienza senza conformità è giuridicamente inerte. La conformità senza metadati non ha un soggetto. Un sistema integrato unico deve gestire tutti e tre contemporaneamente.