Deterministic AI Framework for Public Services

Användningsfallet för kritisk infrastruktur och offentlig sektor.

Hur lagren passar ihop, från grunden till ytan.

Bevismaskinen och uppspelningsformaten bakom certifikaten.

Ramverket körs på Core, Loom och Kera med ett AION-liknande beviscertifikat för varje beslut. Läs om substratet, bevismaskinen och uppspelningsformaten, eller prata med oss om en specifik tjänst.

Om en offentlig myndighet använder en dator för att hjälpa till att besluta i ditt ärende kan du begära att få skälen i klartext, och en person måste stå bakom beslutet. Det är ingen tjänst, det är så det måste fungera.

Ramverket levereras med en fasad färdplan, en styrningsmodell och referensscheman. Prata med oss om att tillämpa det på en specifik tjänst, eller läs om hur plattformen under det fungerar.

Hypervektoruppslagning i snabbvägen som ersätter en hämtningsrunda.

2 900+ operationer, 76 kategorier, 25 numeriska format, 12 backendar.

4 till 8 aktiva per fråga, nedströms från beviset.

Ramverket körs på samma plattform som resten av Dweve. Loom bidrar med 528 domänexperter med 4 till 8 aktiva per fråga, Core omfattar cirka 408 000 implementeringar över 12 backendar, Lattice levererar 1,36 ns uppslagningar i snabbvägen, BitWeave håller 1 000 träffsäkerhet vid cirka 35 000 frågor per sekund på 10 000 dokument, och hela stacken körs CPU-först med 96 % mindre energi än en generativ stack.

Proaktiv transparens enligt Wet open overheid och proportionaliteten som 2020 års SyRI-dom kräver, säkerställd genom arkitekturen.

Förklarings- och tillsynsskyldigheter för hög risk, plus en mänsklig grind enligt GDPR artikel 22 före varje beslut med rättslig verkan.

RDF och OWL modellerar domänen, PROV-O registrerar härkomst per fält, SHACL kodar reglerna. Allt publicerat, inget proprietärt.

Inget här är ett privat format. Substratet förankras i öppna W3C-standarder, RDF och OWL för ontologin, PROV-O för härkomst, SHACL för begränsningar, och den regulatoriska ytan förankras i namngiven lagstiftning, EU:s AI-förordning, GDPR artikel 22, Wet open overheid och 2020 års SyRI-dom från tingsrätten i Haag. Varje ankare motsvarar en konkret artefakt som certifikatet bär.

En SHA3-256-kedjesegment, Ed25519-signerad, uppspelad bitidentiskt.

GDPR artikel 22 tillämpas som en grind innan något beslut med rättslig verkan.

Ett certifikat verifierat offline i linjär tid, ingen lösare krävs.

De begränsningar som utlöstes, i ordning, loggas när svaret byggs.

Resonemanget körs genom begränsningsuppfyllelse och emitterar ett beviscertifikat som vilken verifierare som helst kontrollerar offline, i linjär tid, utan att fråga lösaren. Certifikatet namnger ontologins subjekt, PROV-O-härkomsten, den SHACL-form som utlöstes, den mänskliga grind som krävs före rättslig verkan och uppspelningsförseglingen. Ett flytande men felaktigt svar klarar inte kontrollen.

Den bevisade slutsatsen, med sin spårning, överlämnas till Loom för att formuleras i klartext.

Matchade former matar begränsningsuppfyllelse på Core, som emitterar ett verifierbart certifikat.

Grafenheter matchas mot den SHACL-form som gällde på datumet.

Typade fält med PROV-O-härkomst blir enheter och relationer i kunskapsgrafen.

Följ en enskild offentlig tjänstefråga när den sänks genom de fem lagren. Den kommer in som typade fält med bifogad härkomst, binds till RDF- och OWL-ontologin, utlöser den SHACL-form som gäller på datumet, härleder ett utfall genom begränsningsuppfyllelse med ett beviscertifikat, och först därefter formuleras den av Loom, nedströms från beviset. Varje hopp loggas, så hela vägen spelas upp bitidentiskt.

Core härleder genom begränsningsuppfyllelse över 12 backendar och emitterar ett maskinverifierbart certifikat, uppspelat bitidentiskt.

SHACL-former kodar policy och juridiska regler och validerar kontinuerligt. Ett värde blir en exekverbar begränsning, inte en kommentar.

RDF och OWL modellerar domänen som en sökbar, reversibel kunskapsgraf. Lattice serverar snabba uppslagningar på 1,36 ns.

En fråga sänks genom fem lager, varje utbytbart, varje loggat. Domänen är en explicit RDF- och OWL-ontologi snarare än inlärda vikter, härkomst är PROV-O bifogad per fält, regler är SHACL-former som valideras kontinuerligt, härledning körs genom begränsningsuppfyllelse på Core, och Loom formulerar den bevisade slutsatsen nedströms från beviset.

Fråga två gånger och exakt samma svar kommer tillbaka.

Dina uppgifter stannar hos myndigheten, inom Europa.

Ett tydligt sätt att få en person att titta på det en gång till.

En anledning du kan läsa, som anger regeln och din situation.

När en offentlig myndighet använder en dator för att hjälpa till att besluta i ditt ärende, är europeisk lag på din sida. Du har rätt till en anledning du kan läsa, en person som står bakom beslutet, ett sätt att fråga igen om det verkar fel, och tryggheten att dina uppgifter stannar nära hemmet. Inget av detta kostar extra. Det är helt enkelt så det måste fungera.

Om det verkar fel, be en person att titta en gång till. Anledningen sparades åt dig.

Anledningen bär namnet på den handläggare som godkände den. Inte en maskin ensam.

Tillbaka kommer regeln som användes och hur din situation kontrollerades mot den.

Ring, skriv eller kom in. Säg tydligt: berätta för mig anledningen till detta beslut.

Du behöver ingen blankett, ingen advokat och inga datorord. Du ringer eller skriver till kontoret och frågar, med vanliga ord, efter anledningen till beslutet. De måste ge dig den, med regeln och personen som skrev under. Här är exakt hur det går till, och vad du har rätt att få tillbaka.

De stannar hos kontoret, här i Europa. De skickas inte iväg för att träna någon annans system.

Det finns alltid. Du kan be en person att titta igen, och hela anledningen finns sparad i akten.

Du får ord i stället. Regeln som användes, och hur ditt ärende kontrollerades mot den.

Det gör den aldrig. En namngiven person har sista ordet i allt som påverkar ditt liv.

Det är bara naturligt att känna sig obekväm när en dator är inblandad i ett beslut om ditt bidrag, ditt tillstånd eller ditt ärende. Så här är varje vanlig oro ställd bredvid vad som faktiskt händer. En människa beslutar alltid. Du får alltid en anledning i vanliga ord. Och om det verkar fel kan du alltid fråga igen.

Sparat i vanliga ord. Fråga igen senare och samma svar kommer tillbaka.

En namngiven handläggare godkänner resultatet. Datorn hjälper, människan beslutar.

Din faktiska situation jämförs med regeln punkt för punkt, inte bedöms med ett nummer.

Som prislistan på väggen. Samma för alla, nedskriven innan du kliver in.

Du behöver inte förstå datorer för att se att detta är rättvist. Kontoret skriver ner regeln först, kontrollerar din faktiska situation mot den, låter en person signera den och sparar anledningen så att du kan fråga om den igen senare. Samma fall in, samma svar ut.

Full transparens och proportionalitet säkerställs genom arkitekturen.

Maskinläsbara loggar och export till nationellt algoritmregister.

Människa i loopen-grind innan något beslut med rättslig verkan.

Bevis på resonemang, språkspårning, SHACL-metadataschema.

Ramverket behandlar inte regelefterlevnad som en checklista som bultas på i slutet. Varje juridisk skyldighet mappas till en specifik teknisk komponent och en specifik granskningsartefakt, som utvärderas kontinuerligt.

Core kör pipelinen på en multi-backend-binärmotor med bitidentisk uppspelning. Kera sänker en graf till varje mål.

Loom, 528 domänexperter och 4 till 8 aktiva per fråga, ligger nedströms. Den sätter en bevisad slutsats i ord, med spårningen bifogad.

Härleds genom begränsningsuppfyllelse och avger ett maskinverifierbart bevis. Ett flytande men felaktigt svar klarar inte beviset.

En fråga blir ett svar genom att passera fem lager. Varje lager kan ersättas oberoende, varje tillståndsövergång loggas och är sökbar, och varje beslut kan rullas tillbaka och härledas på nytt från första principer.

Ett integrerat system som är pålitligt, lagligt och förankrat.

Utan metadata har det inget ämne. Vad utvärderar det ens?

Utan regelefterlevnad är det juridiskt overksamt. Uppfyller det reglerna?

Utan ursprung kan det inte litas på. Var kom det ifrån?

Ramverket behandlar dessa tre inte som separata system utan som tre sidor av samma sak. Metadata utan härkomst kan inte litas på. Härkomst utan regelefterlevnad är juridiskt verkningslös. Regelefterlevnad utan metadata har inget subjekt. Ett enda integrerat system måste bära alla tre samtidigt.

Ontologi, epistemologi och axiologi, alla grundade

Maskinutförbara former för kontinuerlig validering

W3C-härkomstkodning för varje dataomvandling

OWL för domänmodellering, uttryckt som en kunskapsgraf

Tekniska lösningar på ansvarsutkrävande misslyckas när de hoppar över de underliggande frågorna: vad som finns, hur vi vet det och vems värderingar systemet tjänar. Ramverket förankrar var och en av dessa i en klassisk pelare som direkt mappar till ett tekniskt lager och en styrningsskyldighet.

Efter bidragsskandalen innebär ogenomskinlig riskscoring en allvarlig institutionell och juridisk risk.

Wet open overheid kräver proaktiv transparens; GDPR artikel 22 begränsar helt automatiserade beslut. Tillsammans innebär de en rätt till förklaring.