Deterministic AI Framework for Public Services

Skupine algoritmov glede na vrsto podatkov

Primer uporabe za kritično infrastrukturo in javni sektor.

Kako se plasti povezujejo, od temeljev do površine.

Dokazni stroj in formati za ponovno predvajanje za potrdili.

Okvir deluje na Core, Loom in Kera z dokaznim potrdilom v slogu AION za vsako odločitev. Preberite o podlagi, dokaznem stroju in formatih za ponovno predvajanje ali nam pišite o določeni storitvi.

Preberite dokazno plast od začetka do konca.

Če javni organ uporablja računalnik za pomoč pri odločanju o vašem primeru, lahko zahtevate razlago v preprostih besedah in za njo mora stati oseba. To ni usluga, ampak tako mora biti.

Okvir vključuje fazni načrt, model upravljanja in referenčne sheme. Pišite nam o uporabi za določeno storitev ali preberite, kako deluje platforma pod njim.

Naredite umetno inteligenco v javnem sektorju obrambno sposobno.

CPU-prvi proti generativnemu GPU skladu.

Vročopotni hipervektorski iskalnik, ki nadomešča povratni klic iskanja.

2.900+ operacij, 76 kategorij, 25 številskih formatov, 12 zaledij.

4 do 8 aktivnih na poizvedbo, za dokazom.

Okvir deluje na isti platformi kot preostali Dweve. Loom prispeva 528 domenskih strokovnjakov s 4 do 8 aktivnimi na poizvedbo, Core obsega približno 408K implementacij v 12 zaledjih, Lattice služi 1,36 ns vročopotne iskalnike, BitWeave ohranja 1.000 priklic pri približno 35K QPS na 10K dokumentih, celoten sklad pa deluje CPU-prvi s 96 % manj energije kot generativni sklad.

Proaktivna transparentnost po Wet open overheid in sorazmernost, ki jo zahteva sodba SyRI iz leta 2020, uveljavljena z arhitekturo.

Obveznosti razložljivosti in nadzora za visoko tveganje ter človeška vrata po 22. členu GDPR pred vsako odločitvijo s pravnim učinkom.

RDF in OWL modelirata domeno, PROV-O beleži izvor po poljih, SHACL kodira pravila. Vse objavljeno, nič lastniškega.

Nič tukaj ni zasebni format. Podlaga se naslanja na odprte standarde W3C, RDF in OWL za ontologijo, PROV-O za izvor, SHACL za omejitve, regulativna površina pa se naslanja na imenovano zakonodajo, EU AI Act, 22. člen GDPR, Wet open overheid in sodbo SyRI iz leta 2020 Okrožnega sodišča v Haagu. Vsaka sidrna točka se preslika v konkreten artefakt, ki ga nosi potrdilo.

Segment verige SHA3-256, podpisan z Ed25519, predvajan bitno enako.

Člen 22 GDPR se izvaja kot vrata pred vsako odločitvijo s pravnim učinkom.

Potrdilo, preverjeno brez povezave v linearnem času, brez potrebe po reševalcu.

Omejitve, ki so se sprožile, po vrstnem redu, zabeležene med gradnjo odgovora.

Sklepanje poteka z izpolnjevanjem omejitev in oddaja dokazno potrdilo, ki ga vsak preverjevalec preveri brez povezave, v linearnem času, brez vprašanja reševalca. Potrdilo imenuje subjekt ontologije, rodovnik PROV-O, obliko SHACL, ki se je sprožila, človeška vrata, potrebna pred pravnim učinkom, in pečat za predvajanje. Tečen, a napačen odgovor ne prestane preverjanja.

Dokazani sklep s sledjo se preda orodju Loom, da ga prevede v preproste besede.

Ujemanje oblik napaja izpolnjevanje omejitev na jedru Core, ki oddaja preverljivo potrdilo.

Entitete grafa se ujemajo z obliko SHACL, ki je veljala na ta datum.

Tipizirana polja z rodovnikom PROV-O postanejo entitete in relacije v grafu znanja.

Spremljajte eno samo poizvedbo javne storitve, ko se spušča skozi pet plasti. Vstopi kot tipizirana polja s priloženim izvorom, se veže na ontologijo RDF in OWL, sproži obliko SHACL, ki velja na ta datum, izpelje izid z izpolnjevanjem omejitev z dokaznim potrdilom in šele nato jo orodje Loom oblikuje v besedilo, po dokazu. Vsak preskok je zabeležen, zato se celotna pot predvaja bitno enako.

Jedro Core izpeljuje z izpolnjevanjem omejitev prek 12 zaledij in oddaja strojno preverljivo potrdilo, predvajano bitno enako.

Oblike SHACL kodirajo politike in pravna pravila ter se nenehno preverjajo. Vrednost postane izvedljiva omejitev, ne komentar.

RDF in OWL modelirata domeno kot poizvedljiv, povraten graf znanja. Lattice streže poizvedbe na hitri poti pri 1,36 ns.

Poizvedba se spusti skozi pet plasti, vsaka zamenljiva, vsaka zabeležena. Domena je eksplicitna ontologija RDF in OWL namesto naučenih uteži, izvor je PROV-O, priložen vsakemu polju, pravila so oblike SHACL, ki se nenehno preverjajo, izpeljava poteka z izpolnjevanjem omejitev na jedru Core, orodje Loom pa postavi dokazani sklep v besede po dokazu.

Vprašajte dvakrat in vrne se povsem isti razlog.

Vaši podatki ostanejo pri uradu, znotraj Evrope.

En jasen način, da človek to še enkrat pogleda.

Razlog, ki ga lahko preberete, z navedbo pravila in vaše situacije.

Ko javni organ uporabi računalnik pri odločanju o vašem primeru, je evropsko pravo na vaši strani. Dolžni so vam razlog, ki ga lahko preberete, osebo, ki stoji za odločitvijo, možnost, da vprašate znova, če se zdi kaj narobe, in zagotovilo, da vaši podatki ostanejo blizu doma. Nič od tega ne stane dodatno. To preprosto mora tako delovati.

Če se zdi narobe, prosite osebo, naj še enkrat pogleda. Razlog so shranili za vas.

Razlog nosi ime referenta, ki se je z njim strinjal. Ne samo stroj.

Vrne se pravilo, ki je bilo uporabljeno, in kako so vašo situacijo preverili glede nanj.

Pokličite, pišite ali se oglasite. Povejte preprosto: prosim, povejte mi razlog za to odločitev.

Ne potrebujete obrazca, odvetnika niti ene same računalniške besede. Pokličete ali pišete uradu in v preprostih besedah vprašate za razlog za odločitev. Dati vam ga morajo, z navedbo pravila in osebe, ki je podpisala. Tukaj je natančno, kako to poteka, in kaj vam pripada.

Ostanejo pri uradu, tukaj v Evropi. Ne pošljejo jih stran, da bi urili sistem nekoga drugega.

Vedno obstaja. Osebo lahko prosite, naj pogleda znova, in celoten razlog je shranjen v spisu.

Namesto tega dobite besede. Pravilo, ki je bilo uporabljeno, in kako so vaš primer preverili glede nanj.

Nikoli. Imenovana oseba ima zadnjo besedo pri vsem, kar vpliva na vaše življenje.

Povsem naravno je, da vam je nelagodno, ko je pri odločanju o vašem prejemku, dovoljenju ali primeru vpleten računalnik. Zato je tukaj vsaka pogosta skrb poleg tega, kaj se v resnici zgodi. Vedno odloča človek. Vedno dobite razlog v preprostih besedah. In če se zdi kaj narobe, lahko vedno vprašate znova.

Shranjeno v preprostih besedah. Vprašajte znova pozneje in dobili boste enak odgovor.

Imenovani referent se strinja z rezultatom. Računalnik pomaga, človek odloča.

Vaš dejanski položaj se primerja s tem pravilom, točko za točko, in se ne ocenjuje s številko.

Kot cenik na steni. Enak za vse, zapisan, preden vstopite.

Za razumevanje, da je to pošteno, vam ni treba poznati računalnikov. Pisarna najprej zapiše pravilo, preveri vaš dejanski položaj glede na to pravilo, oseba to podpiše in razlog se shrani, da ga lahko pozneje znova zahtevate. Enak primer noter, enak odgovor ven.

Polna preglednost in sorazmernost, ki ju zagotavlja arhitektura.

Strojno berljivi dnevniki in izvoz iz nacionalnega registra algoritmov.

Vstopna točka človeka v zanki pred vsako odločitvijo s pravnim učinkom.

Potrdilo o dokazu sklepanja, sled jezika, shema metapodatkov SHACL.

Ogrodje ne obravnava skladnosti kot kontrolnega seznama, ki se doda na koncu. Vsaka pravna dolžnost se preslika v določeno tehnično komponento in določen revizijski artefakt ter se nenehno ocenjuje.

Core poganja cevovod na večozadnjem binarnem pogonu z bitno enakim ponovnim predvajanjem. Kera zniža en graf na vsako tarčo.

Loom, 528 domenskih strokovnjakov in 4 do 8 aktivnih na poizvedbo, je nameščen nižje v toku. Zapisal verodostojen sklep z besedami, s priloženo sledjo.

Izpelje se z izpolnjevanjem omejitev in izda strojno preverljivo potrdilo o dokazu. Tečen, a napačen odgovor ne prestane dokaza.

Poizvedba postane odgovor tako, da gre skozi pet plasti. Vsako plast je mogoče neodvisno zamenjati, vsak prehod stanja se beleži in je mogoče poizvedovati po njem, vsako odločitev pa je mogoče razveljaviti in znova izpeljati iz prvih načel.

En povezan sistem, ki je zaupanja vreden, zakonit in utemeljen.

Brez metapodatkov nima predmeta. Kaj sploh ocenjuje?

Brez skladnosti je pravno nedejaven. Ali izpolnjuje pravila?

Brez izvora mu ni mogoče zaupati. Od kod prihaja?

Okvir teh treh ne obravnava kot ločene sisteme, temveč kot tri plati iste stvari. Metapodatkom brez izvora ni mogoče zaupati. Izvor brez skladnosti je pravno nemočen. Skladnost brez metapodatkov nima predmeta. En sam integriran sistem mora nositi vse tri hkrati.

Ontologija, epistemologija in aksiologija, vse utemeljene

Strojno izvedljive oblike za neprekinjeno validacijo

W3C zapis rodovnika za vsako preoblikovanje podatkov

OWL za modeliranje domene, izražen kot graf znanja

Tehnične rešitve za odgovornost odpovejo, ko preskočijo temeljna vprašanja: kaj obstaja, kako to vemo in čigave vrednote sistem služi. Okvir vsako od teh utemelji v klasičnem stebru, ki se neposredno preslika v tehnično plast in upravljavsko dolžnost.

Po škandalu z dodatki netransparentno ocenjevanje tveganja prinaša resno institucionalno in pravno tveganje.

Zakon o odprtem dostopu do javnih podatkov (Wet open overheid) nalaga proaktivno transparentnost; GDPR, člen 22, omejuje popolnoma avtomatizirane odločitve. Skupaj pomenita pravico do pojasnila.