Deterministic AI Framework for Public Services

Kritinės infrastruktūros ir viešojo sektoriaus naudojimo atvejis.

Kaip sluoksniai dera tarpusavyje, nuo pagrindo iki paviršiaus.

Įrodymų mašina ir atkūrimo formatai, kuriais remiasi sertifikatai.

Sistema veikia su Core, Loom ir Kera, o kiekvienas sprendimas turi AION stiliaus įrodymų sertifikatą. Skaitykite apie pagrindą, įrodymų mašiną ir atkūrimo formatus arba susisiekite su mumis dėl konkrečios paslaugos.

Skaitykite apie įrodymų sluoksnį nuo pradžios iki pabaigos.

Jei viešoji įstaiga naudoja kompiuterį sprendimui dėl jūsų bylos priimti, galite reikalauti paaiškinimo paprastais žodžiais, o už jį turi atsakyti žmogus. Tai ne paslauga, o privaloma tvarka.

Sistema apima etapais išdėstytą veiksmų planą, valdymo modelį ir orientacines schemas. Susisiekite su mumis dėl taikymo konkrečiai paslaugai arba skaitykite, kaip veikia ją pagrindžianti platforma.

Padarykite viešojo sektoriaus dirbtinį intelektą pagrįstą.

CPU pirmiausia, palyginti su generatyvine GPU technologijų krūva.

Greitosios kreipties hipervektorių paieška, pakeičianti atkūrimo užklausos ciklą.

2 900+ operacijų, 76 kategorijos, 25 skaitiniai formatai, 12 pagrindinių sistemų.

4 to 8 active per query, downstream of the proof.

The framework runs on the same platform as the rest of Dweve. Loom contributes 528 domain specialists with 4 to 8 active per query, Core spans roughly 408K implementations across 12 backends, Lattice serves 1.36 ns hot-path lookups, BitWeave holds 1.000 recall at about 35K QPS on 10K documents, and the whole stack runs CPU-first at 96% less energy than a generative stack.

Aktyvus skaidrumas pagal Wet open overheid ir proporcingumas, kurio reikalauja 2020 m. SyRI sprendimas, užtikrinamas architektūra.

Didelės rizikos paaiškinamumo ir priežiūros pareigos, taip pat BDAR 22 straipsnio žmogiškoji kontrolė prieš bet kokį teisinių pasekmių turintį sprendimą.

RDF ir OWL modeliuoja sritį, PROV-O fiksuoja kilmę pagal lauką, SHACL koduoja taisykles. Viskas paskelbta, nieko nuosavybinio.

Čia niekas nėra privatus formatas. Pagrindas remiasi atvirais W3C standartais, RDF ir OWL ontologijai, PROV-O kilmei, SHACL apribojimams, o reguliavimo paviršius remiasi įvardytais įstatymais, ES AI aktu, BDAR 22 straipsniu, Wet open overheid ir 2020 m. Hagos apygardos teismo sprendimu byloje SyRI. Kiekvienas inkaras susietas su konkrečiu artefaktu, kurį nešioja sertifikatas.

SHA3-256 grandinės segmentas, pasirašytas Ed25519, atkartojamas bitų lygmeniu identiškai.

BDAR 22 straipsnis įgyvendinamas kaip vartai prieš bet kokį sprendimą, turintį teisinį poveikį.

Sertifikatas, patikrinamas neprisijungus tiesiniu laiku, be sprendiklio.

Suveikę apribojimai, eilės tvarka, užregistruojami kuriant atsakymą.

Samprotavimas vyksta tenkinant apribojimus ir išduoda įrodymo sertifikatą, kurį bet kuris tikrintojas patikrina neprisijungus, tiesiniu laiku, neklausdamas sprendiklio. Sertifikatas įvardija ontologijos subjektą, PROV-O kilmę, suveikusią SHACL formą, žmogaus vartus, reikalingus prieš teisinį poveikį, ir atkartojimo antspaudą. Sklandus, bet neteisingas atsakymas nepraeina patikros.

Įrodyta išvada su jos pėdsaku perduodama Loom, kad ją išreikštų paprastais žodžiais.

Atitinkančios formos maitina apribojimų tenkinimą Core, kuris išduoda patikrinamą sertifikatą.

Grafo objektai lyginami su SHACL forma, galiojusia tą dieną.

Tipizuoti laukai su PROV-O kilme tampa objektais ir ryšiais žinių grafe.

Sekite vieną viešosios paslaugos užklausą, kai ji nuleidžiama per penkis sluoksnius. Ji įeina kaip tipizuoti laukai su pridėta kilme, susieja su RDF ir OWL ontologija, suveikia SHACL formą, galiojusią tą dieną, išveda rezultatą tenkinant apribojimus su įrodymo sertifikatu, ir tik tada Loom ją išreiškia fraze, po įrodymo. Kiekvienas žingsnis registruojamas, todėl visas kelias atkartojamas bitų lygmeniu identiškai.

Core išveda tenkindamas apribojimus per 12 backendų ir išduoda mašiniškai patikrinamą sertifikatą, atkartojamą bitų lygmeniu identiškai.

SHACL formos koduoja politiką ir teisės taisykles bei nuolat tikrina. Vertė tampa vykdomu apribojimu, ne komentaru.

RDF ir OWL modeliuoja sritį kaip užklausiamą, grįžtamą žinių grafą. Lattice aptarnauja karštosios linijos užklausas per 1,36 ns.

Užklausa nuleidžiama per penkis sluoksnius, kiekvienas pakeičiamas, kiekvienas registruojamas. Sritis yra aiški RDF ir OWL ontologija, o ne išmokti svoriai, kilmė pridedama PROV-O kiekvienam laukui, taisyklės yra SHACL formos, tikrinamos nuolat, išvedimas vyksta tenkinant apribojimus Core, o Loom išreiškia įrodytą išvadą žodžiais po įrodymo.

Paklauskite du kartus ir grįš tas pats pagrindimas.

Jūsų duomenys lieka įstaigoje, Europoje.

Vienas aiškus būdas, kaip žmogus į tai pažiūrėtų dar kartą.

Priežastis, kurią galite perskaityti, nurodanti taisyklę ir jūsų situaciją.

Kai viešoji įstaiga naudoja kompiuterį, kad padėtų priimti sprendimą jūsų byloje, Europos teisė yra jūsų pusėje. Jums priklauso priežastis, kurią galite perskaityti, žmogus, kuris atsako už sprendimą, galimybė paklausti dar kartą, jei atrodo, kad kažkas negerai, ir užtikrinimas, kad jūsų duomenys lieka arti namų. Nė vienas iš šių dalykų nekainuoja papildomai. Taip tiesiog turi veikti.

Jei atrodo, kad kažkas negerai, paprašykite žmogaus pažiūrėti dar kartą. Priežastis buvo išsaugota jums.

Priežastyje nurodomas bylas tvarkiusio darbuotojo vardas, kuris su ja sutiko. Ne vien mašina.

Grįžta naudota taisyklė ir kaip jūsų situacija buvo patikrinta pagal ją.

Paskambinkite, parašykite arba užsukite. Pasakykite tiesiai: prašau pasakyti man šio sprendimo priežastį.

Jums nereikia formos, advokato ar nė vieno kompiuterio žodžio. Paskambinate arba rašote įstaigai ir paprastais žodžiais paklausiate sprendimo priežasties. Jie privalo ją jums suteikti, nurodydami taisyklę ir pasirašiusį asmenį. Štai kaip tiksliai tai vyksta ir ką jūs turite gauti atgal.

Jie lieka įstaigoje, čia, Europoje. Jie nesiunčiami treniruoti kažkieno kito sistemos.

Visada yra. Galite paprašyti žmogaus pažiūrėti dar kartą, o visa priežastis saugoma byloje.

Vietoj to gaunate žodžius. Naudota taisyklė ir kaip jūsų byla buvo patikrinta pagal ją.

Taip niekada nebūna. Paskirtas žmogus turi galutinį žodį dėl visko, kas liečia jūsų gyvenimą.

Visiškai natūralu jaustis neramiai, kai kompiuteris dalyvauja priimant sprendimą dėl jūsų išmokos, leidimo ar bylos. Todėl štai kiekvienas įprastas rūpestis šalia to, kas iš tikrųjų vyksta. Žmogus visada sprendžia. Jūs visada gaunate priežastį paprastais žodžiais. O jei atrodo, kad kažkas negerai, visada galite paklausti dar kartą.

Išsaugota paprastais žodžiais. Paklausite vėliau dar kartą, ir tas pats atsakymas grįžta.

Paskirtas darbuotojas sutinka su rezultatu. Kompiuteris padeda, žmogus sprendžia.

Jūsų reali situacija lyginama su ta taisykle taškas po taško, o ne vertinama skaičiumi.

Kaip kainoraštis ant sienos. Vienodas visiems, užrašytas prieš jums įeinant.

Jums nereikia suprasti kompiuterių, kad pamatytumėte, jog tai sąžininga. Įstaiga pirmiausia užrašo taisyklę, patikrina jūsų realią situaciją pagal ją, paprašo asmens ją patvirtinti ir išsaugo priežastį, kad galėtumėte jos paklausti vėliau. Tas pats atvejis įeina, tas pats atsakymas išeina.

Visiškas skaidrumas ir proporcingumas, užtikrinami architektūra.

Mašininiu būdu skaitomi žurnalai ir nacionalinio algoritmų registro eksportas.

Žmogaus įsikišimo vartai prieš bet kokį sprendimą, turintį teisinį poveikį.

Įrodymų sertifikatas, kalbos pėdsakas, SHACL metaduomenų schema.

Sistema nevertina atitikties kaip kontrolinio sąrašo, pritvirtinto pabaigoje. Kiekviena teisinė pareiga susieta su konkrečiu techniniu komponentu ir konkrečiu audito artefaktu, vertinama nuolat.

Core vykdo vamzdyną kelių pagrindų dvejetainėje sistemoje su bitų identišku atkūrimu. Kera sumažina vieną grafiką į kiekvieną tikslą.

Loom, 528 domain specialists and 4 to 8 active per query, sits downstream. It puts a proven conclusion into words, with the trace attached.

Išvedama apribojimų tenkinimo būdu ir išleidžia mašiniškai patikrinamą įrodymų sertifikatą. Sklandus, bet neteisingas atsakymas nepraeina įrodymo.

Užklausa tampa atsakymu, pereidama per penkis sluoksnius. Kiekvienas sluoksnis gali būti pakeistas nepriklausomai, kiekvienas būsenos perėjimas yra registruojamas ir užklausiamas, ir bet koks sprendimas gali būti atšauktas ir išvestas iš naujo iš pirmųjų principų.

Viena integruota sistema, kuri yra patikima, teisėta ir pagrįsta.

Be metaduomenų ji neturi subjekto. Ką ji iš viso vertina?

Be atitikties ji teisiškai inertiška. Ar ji atitinka taisykles?

Be kilmės ja negalima pasitikėti. Iš kur ji atsirado?

Sistema šiuos tris dalykus traktuoja ne kaip atskiras sistemas, o kaip tris to paties dalyko puses. Metaduomenys be kilmės negali būti patikimi. Kilmė be atitikties teisiškai neveiksni. Atitiktis be metaduomenų neturi subjekto. Viena integruota sistema turi apimti visus tris vienu metu.

Ontologija, epistemologija ir aksiologija, visos pagrįstos

Mašininiu būdu vykdomos formos nuolatiniam patvirtinimui

W3C kilmės kodavimas kiekvienai duomenų transformacijai

OWL domenų modeliavimui, išreikštas žinių grafiku

Techniniai atskaitomybės sprendimai žlunga, kai praleidžiami pagrindiniai klausimai: kas egzistuoja, kaip mes tai žinome ir kieno vertybėms sistema tarnauja. Sistema kiekvieną iš jų grindžia klasikiniu ramščiu, kuris tiesiogiai atitinka technologinį sluoksnį ir valdymo pareigą.