Deterministic AI Framework for Public Services

Kritiskās infrastruktūras un publiskā sektora lietošanas gadījums.

Kā slāņi sader kopā, no pamatnes līdz virsmai.

Pierādījumu mašīna un atskaņošanas formāti aiz sertifikātiem.

Ietvars darbojas uz Core, Loom un Kera ar AION stila pierādījumu sertifikātu katram lēmumam. Lasiet par pamatni, pierādījumu mašīnu un atskaņošanas formātiem, vai sazinieties ar mums par konkrētu pakalpojumu.

Izlasiet pierādījumu slāni no gala līdz galam.

Ja publiska iestāde izmanto datoru, lai palīdzētu izlemt jūsu lietu, varat prasīt pamatojumu vienkāršiem vārdiem, un cilvēkam tas ir jāapstiprina. Tā nav labvēlība, tā tam ir jābūt.

Ietvars nāk ar pakāpenisku ceļvedi, pārvaldības modeli un atsauces shēmām. Sazinieties ar mums par tā piemērošanu konkrētam pakalpojumam vai lasiet, kā darbojas platforma, uz kuras tas balstās.

Padariet publiskā sektora mākslīgo intelektu aizstāvamu.

Karstā ceļa hipervektoru meklēšana, kas aizstāj izguves turp un atpakaļ.

2,900+ operācijas, 76 kategorijas, 25 ciparu formāti, 12 aizmugures.

4 līdz 8 aktīvi uz vaicājumu, lejpus pierādījumam.

Ietvars darbojas uz tās pašas platformas kā pārējais Dweve. Loom sniedz 528 domēna speciālistus ar 4 līdz 8 aktīviem uz vaicājumu, Core aptver aptuveni 408K implementācijas 12 aizmugurēs, Lattice apkalpo 1.36 ns karstā ceļa meklējumus, BitWeave saglabā 1.000 atsaukšanu pie aptuveni 35K QPS uz 10K dokumentiem, un visa kaudze darbojas CPU-pirmā ar 96% mazāk enerģijas nekā ģeneratīvā kaudze.

Proaktīva pārredzamība saskaņā ar Wet open overheid un proporcionalitāte, ko prasa 2020. gada SyRI spriedums, ko nodrošina arhitektūra.

Augsta riska izskaidrojamības un uzraudzības pienākumi, plus GDPR 22. panta cilvēka vārti pirms jebkāda lēmuma ar juridisku ietekmi.

RDF un OWL modelē domēnu, PROV-O reģistrē izcelsmi katram laukam, SHACL kodē noteikumus. Viss publicēts, nekas nav patentēts.

Nekas šeit nav privāts formāts. Pamatne balstās uz atvērtiem W3C standartiem, RDF un OWL ontoloģijai, PROV-O izcelsmei, SHACL ierobežojumiem, un regulatīvā virsma balstās uz nosauktiem likumiem, ES AI aktu, GDPR 22. pantu, Wet open overheid un 2020. gada SyRI spriedumu Hāgas apgabaltiesā. Katrs enkurs atbilst konkrētam artefaktam, ko sertifikāts nes.

SHA3-256 ķēdes segments, Ed25519 parakstīts, atkārtoti atskaņots bitu identiski.

VDAR 22. pants īstenots kā vārti pirms jebkura lēmuma ar juridisku iedarbību.

Sertifikāts, kas verificēts bezsaistē lineārā laikā, bez risinātāja.

Ierobežojumi, kas aktivizējās, secībā, reģistrēti, kamēr tiek veidota atbilde.

Pamatošana darbojas ar ierobežojumu apmierināšanu un izstaro pierādījuma sertifikātu, ko jebkurš verificētājs pārbauda bezsaistē, lineārā laikā, neprasot risinātājam. Sertifikāts nosauc ontoloģijas subjektu, PROV-O ciltsrakstu, SHACL formu, kas aktivizējās, cilvēka vārtus, kas nepieciešami pirms juridiskas iedarbības, un atkārtošanas zīmogu. Tekoša, bet nepareiza atbilde neiztur pārbaudi.

Pierādītais secinājums ar tā izsekošanu tiek nodots Loom, lai to izteiktu vienkāršos vārdos.

Saskaņotās formas baro ierobežojumu apmierināšanu uz Core, kas izstaro verificējamu sertifikātu.

Grafa entītijas tiek saskaņotas ar SHACL formu, kas bija spēkā attiecīgajā datumā.

Tipizēti lauki ar PROV-O ciltsrakstu kļūst par entītijām un attiecībām zināšanu grafā.

Sekojiet vienam publiskā dienesta vaicājumam, kad tas tiek nolaists caur pieciem slāņiem. Tas ienāk kā tipizēti lauki ar pievienotu izcelsmi, saistās ar RDF un OWL ontoloģiju, aktivizē SHACL formu, kas ir spēkā attiecīgajā datumā, atvasina rezultātu ar ierobežojumu apmierināšanu un pierādījuma sertifikātu, un tikai tad to formulē Loom, pēc pierādījuma. Katrs lēciens tiek reģistrēts, tāpēc viss ceļš atkārtojas bitu identiski.

Core atvasina ar ierobežojumu apmierināšanu pāri 12 aizmugursistēmām un izstaro mašīnverificējamu sertifikātu, atkārtoti atskaņotu bitu identiski.

SHACL formas kodē politiku un juridiskos noteikumus un validē nepārtraukti. Vērtība kļūst par izpildāmu ierobežojumu, nevis komentāru.

RDF un OWL modelē domēnu kā vaicājamu, atgriezenisku zināšanu grafu. Lattice apkalpo ātrās piekļuves uzmeklēšanu 1,36 ns laikā.

Vaicājums tiek nolaists caur pieciem slāņiem, katrs nomaināms, katrs reģistrēts. Domēns ir skaidra RDF un OWL ontoloģija, nevis apgūti svari, izcelsme ir PROV-O, pievienota katram laukam, noteikumi ir SHACL formas, validētas nepārtraukti, atvasināšana darbojas ar ierobežojumu apmierināšanu uz Core, un Loom izsaka pierādīto secinājumu vārdos pēc pierādījuma.

Jautājiet divreiz, un nāk atpakaļ tieši tas pats pamatojums.

Jūsu dati paliek iestādē, Eiropas Savienībā.

Viens skaidrs veids, kā likt cilvēkam to paskatīties vēlreiz.

Iemesls, ko vari izlasīt, nosaucot noteikumu un tavu situāciju.

Kad publiska iestāde izmanto datoru, lai palīdzētu pieņemt lēmumu tavā lietā, Eiropas tiesības ir tavā pusē. Tev pienākas iemesls, ko vari izlasīt, cilvēks, kurš atbild par lēmumu, iespēja jautāt vēlreiz, ja kaut kas šķiet nepareizs, un pārliecība, ka tava informācija paliek tuvu mājām. Neviens no šiem nemaksā papildus. Tas vienkārši ir tas, kā tam ir jābūt.

Ja kaut kas šķiet nepareizs, palūdz cilvēkam paskatīties vēlreiz. Iemesls tev tika saglabāts.

Iemeslā ir norādīts lietvedis, kurš ar to piekrita. Ne tikai mašīna viena.

Atgriežas izmantotais noteikums un tas, kā tava situācija tika pārbaudīta pret to.

Zvani, raksti vai nāc klāt. Saki skaidri: lūdzu, pastāstiet man šī lēmuma iemeslu.

Tev nav nepieciešama veidlapa, jurists vai neviens datora vārds. Tu zvani vai raksti iestādei un jautā, vienkāršiem vārdiem, iemeslu lēmumam. Viņiem tas ir jāsniedz, nosaucot noteikumu un personu, kas parakstījusi. Lūk, kā tas notiek, un kas tev pienākas.

Tie paliek iestādē, šeit Eiropā. Tie netiek nosūtīti, lai apmācītu kāda cita sistēmu.

Tā vienmēr ir. Tu vari lūgt cilvēkam paskatīties vēlreiz, un pilns iemesls tiek saglabāts lietā.

Tu saņem vārdus. Izmantoto noteikumu un to, kā tava lieta tika pārbaudīta pret to.

Tā nekad nenotiek. Nosaukts cilvēks pieņem galīgo lēmumu par visu, kas ietekmē tavu dzīvi.

Ir tikai dabiski justies nemierīgi, kad dators ir iesaistīts lēmumā par tavu pabalstu, atļauju vai lietu. Tāpēc šeit ir katra parastā baža blakus tam, kas patiešām notiek. Cilvēks vienmēr lemj. Tu vienmēr saņem iemeslu vienkāršos vārdos. Un, ja kaut kas šķiet nepareizs, tu vienmēr vari jautāt vēlreiz.

Saglabāts vienkāršos vārdos. Jautā vēlreiz vēlāk, un nāk tā pati atbilde.

Nosaukts lietvedis piekrīt rezultātam. Dators palīdz, cilvēks lemj.

Jūsu reālā situācija tiek salīdzināta ar šo noteikumu, punkts pa punktam, nevis novērtēta ar skaitli.

Kā cenu saraksts uz sienas. Vienāds visiem, pierakstīts pirms jūs ienākat.

Jums nav jāsaprot datori, lai redzētu, ka tas ir godīgi. Birojs vispirms pieraksta noteikumu, pārbauda jūsu reālo situāciju pret to, cilvēks to paraksta, un iemesls tiek saglabāts, lai jūs vēlāk varētu to pieprasīt. Tas pats gadījums iekšā, tā pati atbilde ārā.

Pilnīga pārredzamība un proporcionalitāte, ko nodrošina arhitektūra.

Mašīnlasāmi žurnāli un nacionālā algoritmu reģistra eksports.

Cilvēka iesaistes vārti pirms jebkura lēmuma ar juridisku spēku.

Pamatojuma pierādījuma sertifikāts, valodas izsekojamība, SHACL metadatu shēma.

Ietvars neuztver atbilstību kā kontrolsarakstu, kas pievienots beigās. Katrs juridiskais pienākums tiek kartēts uz konkrētu tehnisko komponenti un konkrētu audita artefaktu, un tiek novērtēts nepārtraukti.

Core palaiž cauruļvadu uz vairāku pamatu binārā dzinēja ar bitiem identisku atkārtošanu. Kera samazina vienu grafu uz katru mērķi.

Loom, 528 nozares speciālisti un 4 līdz 8 aktīvi katrā vaicājumā, atrodas lejup pa straumi. Tas ietver pierādītu secinājumu vārdos ar pievienotu izsekojamību.

Atvasina ar ierobežojumu apmierināšanu un izdod mašīnverificējamu pierādījuma sertifikātu. Teoši pareiza, bet nepareiza atbilde neiztur pierādījumu.

Vaicājums kļūst par atbildi, iziet cauri pieciem slāņiem. Katru slāni var aizstāt neatkarīgi, katra stāvokļa pāreja tiek reģistrēta un ir vaicājama, un jebkuru lēmumu var atritināt un atvasināt no pirmajiem principiem.

Viena integrēta sistēma, kas ir uzticama, likumīga un pamatota.

Bez metadatiem tai nav subjekta. Ko tā vispār novērtē?

Bez atbilstības tā ir juridiski inerta. Vai tā atbilst noteikumiem?

Bez izcelsmes tai nevar uzticēties. No kurienes tā nāk?

Šis ietvars šos trīs neuztver kā atsevišķas sistēmas, bet kā vienas lietas trīs šķautnes. Bez izcelsmes metadatiem nevar uzticēties. Bez atbilstības izcelsme juridiski ir neefektīva. Bez metadatiem atbilstībai nav subjekta. Vienai integrētai sistēmai viss jānes vienlaikus.

Ontoloģija, epistemoloģija un aksioloģija, visas pamatotas

Mašīnai izpildāmas formas nepārtrauktai validācijai

W3C ciltsrakstu kodējums katrai datu transformācijai

OWL domēna modelēšanai, izteikts kā zināšanu grafs

Tehniskie risinājumi atbildībai neizdodas, ja tie izlaiž pamatjautājumus: kas pastāv, kā mēs to zinām un kuru vērtības sistēma kalpo. Ietvars katru no tiem pamato klasiskā balstā, kas tieši atbilst tehniskajam slānim un pārvaldības pienākumam.

Pēc pabalstu skandāla necaurredzama riska novērtēšana rada nopietnu institucionālu un juridisku risku.