Deterministic AI Framework for Public Services

Algoritmide rühmitamine andmetüübi järgi

Kriitilise taristu ja avaliku sektori kasutusjuhtum.

Kuidas kihid kokku sobivad, alusest pinnani.

Tõestusmasin ja taasesitusvormingud sertifikaatide taga.

Raamistik töötab Core, Loom ja Kera peal, kusjuures iga otsus on varustatud AION-stiilis tõestussertifikaadiga. Loe aluskihti, tõestusmasinat ja taasesitusvorminguid või räägi meiega konkreetsest teenusest.

Kui avalik asutus kasutab sinu asja otsustamisel arvutit, võid küsida põhjust lihtsas sõnastuses ja inimene peab selle eest vastutama. See ei ole soosing, vaid nii see peab olema.

Raamistik sisaldab faaside kaupa tegevuskava, haldusmudelit ja referentsskeeme. Räägi meiega selle rakendamisest konkreetsele teenusele või loe, kuidas selle aluseks olev platvorm töötab.

Tee avaliku sektori tehisintellekt kaitstavaks.

CPU-esiplaanil generatiivse GPU-virna vastu.

Kuumal teel olev hüpervektori otsing, mis asendab otsingu edasi-tagasi käigu.

2 900+ operatsiooni, 76 kategooriat, 25 numbriformaati, 12 taustsüsteemi.

4 kuni 8 aktiivset päringu kohta, tõestusest allavoolu.

Raamistik töötab samal platvormil kui ülejäänud Dweve. Loom panustab 528 domeenieksperti, kusjuures päringu kohta on aktiivne 4 kuni 8, Core hõlmab umbes 408 000 rakendust 12 taustsüsteemis, Lattice teenindab 1.36 ns kuumal teel olevaid otsinguid, BitWeave hoiab 1.000 täpsust umbes 35 000 päringut sekundis 10 000 dokumendi puhul ja kogu virn töötab CPU-esiplaanil, kasutades 96% vähem energiat kui generatiivne virn.

Ennetav läbipaistvus Wet open overheid alusel ja proportsionaalsus, mida nõuab 2020. aasta SyRI kohtuotsus, jõustatud arhitektuuri kaudu.

Kõrge riskiga selgitus- ja järelevalvekohustused, lisaks GDPR-i artikli 22 kohane inimvärav enne õigusliku mõjuga otsust.

RDF ja OWL modelleerivad domeeni, PROV-O salvestab päritolu välja kaupa, SHACL kodeerib reeglid. Kõik avaldatud, mitte ükski patenteeritud.

Siin pole midagi privaatset vormingut. Aluskiht toetub avatud W3C standarditele, RDF ja OWL ontoloogiale, PROV-O päritolule, SHACL piirangutele, ja regulatiivne pind toetub nimetatud seadustele, ELi AI-määrusele, GDPR-i artiklile 22, Wet open overheid ja 2020. aasta SyRI kohtuotsusele Haagi ringkonnakohtult. Iga ankur vastab konkreetsele artefaktile, mida sertifikaat kannab.

SHA3-256 ahela segment, Ed25519 allkirjastatud, taasesitatav biti-täpselt.

GDPR-i artikkel 22 rakendatud väravana enne igat õigusliku mõjuga otsust.

Sertifikaat, mida kontrollitakse võrguühenduseta lineaarses ajas, ilma lahendajat kasutamata.

Piirangud, mis käivitusid, järjekorras, logitud vastuse koostamise ajal.

Põhjendus töötab piirangute rahuldamise kaudu ja väljastab tõestussertifikaadi, mida iga kontrollija saab võrguühenduseta lineaarses ajas kontrollida, ilma lahendajalt küsita. Sertifikaat nimetab ontoloogia subjekti, PROV-O päritolu, käivitunud SHACL-kuju, enne õiguslikku mõju nõutava inimvärava ja taasesituspitseri. Sujuv, kuid vale vastus ei läbi kontrolli.

Tõestatud järeldus koos jäljega antakse Loomile, et see sõnadesse panna.

Sobivad kujud toidavad piirangute rahuldamist Core'is, mis väljastab kontrollitava sertifikaadi.

Graafi üksused vastendatakse SHACL-kujuga, mis oli kuupäeval kehtiv.

Tüübitud väljad PROV-O päritoluga muutuvad teadmiste graafi üksusteks ja seosteks.

Jälgige ühte avaliku teenuse päringut, kui see lastakse läbi viie kihi. See siseneb tüübitud väljadena koos päritoluga, seondub RDF-i ja OWL-i ontoloogiaga, käivitab kuupäeval kehtiva SHACL-kuju, tuletab tulemuse piirangute rahuldamise teel koos tõestussertifikaadiga ja alles seejärel sõnastab selle Loom, pärast tõestust. Iga hüpe on logitud, nii et kogu tee taasesitub biti-täpselt.

Core tuletab piirangute rahuldamise teel 12 taustsüsteemi vahel ja väljastab masinaga kontrollitava sertifikaadi, mis taasesitub biti-täpselt.

SHACL-kujud kodeerivad poliitikat ja õigusnorme ning valideerivad pidevalt. Väärtus muutub käivitatavaks piiranguks, mitte kommentaariks.

RDF ja OWL modelleerivad valdkonna päringuna kasutatava, pöörduva teadmiste graafina. Lattice teenindab kiirteepäringuid 1,36 ns juures.

Päring lastakse läbi viie kihi, millest igaüks on asendatav ja logitud. Valdkond on selgesõnaline RDF-i ja OWL-i ontoloogia, mitte õpitud kaalud; päritolu on PROV-O, kinnitatud iga välja külge; reeglid on SHACL-kujud, mida valideeritakse pidevalt; tuletamine toimub piirangute rahuldamise teel Core'is; ja Loom paneb tõestatud järelduse sõnadesse pärast tõestust.

Küsige kaks korda ja tuleb tagasi täpselt sama põhjus.

Teie andmed jäävad büroosse, Euroopa sees.

Üks selge viis, kuidas lasta inimesel seda veel kord vaadata.

Loetav põhjus, mis nimetab reegli ja sinu olukorra.

Kui avalik asutus kasutab sinu asja otsustamisel arvutit, on Euroopa õigus sinu poolel. Sul on õigus loetavale põhjusele, inimesele, kes seisab otsuse taga, võimalusele küsida uuesti, kui see tundub vale, ja teadmisele, et sinu andmed jäävad koju lähedale. Ükski neist ei maksa lisaraha. Nii see lihtsalt peab olema.

Kui see tundub vale, palu inimesel veel kord vaadata. Põhjus on sinu jaoks alles hoitud.

Põhjus kannab selle töötaja nime, kes sellega nõustus. Mitte ainult masin.

Tagasi tuleb reegel, mida kasutati, ja kuidas sinu olukorda selle vastu kontrolliti.

Helista, kirjuta või tule kohale. Ütle selgelt: palun öelge mulle selle otsuse põhjus.

Sul pole vaja vormi, juristi ega ainsatki arvutisõna. Helistad või kirjutad ametile ja küsid lihtsate sõnadega otsuse põhjust. Nad peavad selle sulle andma, nimetades reegli ja allkirjastanud isiku. Siin on täpselt, kuidas see käib, ja mida sul on õigus saada.

Need jäävad ametisse, siin Euroopas. Neid ei saadeta kuhugi, et treenida kellegi teise süsteemi.

Alati on. Võid paluda inimesel uuesti vaadata ja täielik põhjus on failis alles.

Selle asemel saad sõnad. Reegel, mida kasutati, ja kuidas sinu asja selle vastu kontrolliti.

Ei kunagi. Nimetatud inimene otsustab lõplikult kõige üle, mis sinu elu mõjutab.

On täiesti loomulik tunda end ebamugavalt, kui arvuti on seotud otsusega sinu hüvitise, loa või asja kohta. Nii et siin on iga levinud mure kõrvuti sellega, mis tegelikult juhtub. Inimene otsustab alati. Saad alati põhjuse lihtsate sõnadega. Ja kui see tundub vale, võid alati uuesti küsida.

Salvestatud lihtsate sõnadega. Küsi hiljem uuesti ja sama vastus tuleb tagasi.

Nimetatud töötaja nõustub tulemusega. Arvuti aitab, inimene otsustab.

Sinu tegelikku olukorda võrreldakse selle reegliga punkt-punktilt, mitte ei hinnata numbriga.

Nagu hinnakiri seinal. Kõigile sama, kirja pandud enne, kui sisse astud.

Sa ei pea arvutitest aru saama, et näha, et see on õiglane. Kontor paneb reegli kõigepealt kirja, kontrollib sinu tegelikku olukorda selle vastu, laseb inimesel selle heaks kiita ja säilitab põhjuse, et saaksid seda hiljem uuesti küsida. Sama juhtum sisse, sama vastus välja.

Täielik läbipaistvus ja proportsionaalsus, mida arhitektuur tagab.

Masinloetavad logid ja riikliku algoritmiregistri eksport.

Inimene lülis enne õigusliku mõjuga otsust.

Põhjenduse tõendussertifikaat, keelejälg, SHACL metaandmete skeem.

Raamistik ei käsitle vastavust lõpus külge keeratud kontrollnimekirjana. Iga õiguslik kohustus vastendub konkreetse tehnilise komponendi ja konkreetse auditi artefaktiga, mida hinnatakse pidevalt.

Core käitab torustikku mitme taustaga binaarsel mootoril, millel on bitiidentne taasesitus. Kera viib ühe graafi igale sihtmärgile.

Loom, 528 valdkonnaspetsialisti ja 4 kuni 8 aktiivset päringu kohta, asub allavoolu. See paneb tõestatud järelduse sõnadesse, koos jäljega.

Tuletab piirangute rahuldamise teel ja väljastab masinverifitseeritava tõendussertifikaadi. Sujuv, kuid vale vastus ei läbi tõendust.

Päringust saab vastus, läbides viis kihti. Iga kihti saab iseseisvalt asendada, iga olekuüleminek on logitud ja päritav ning iga otsust saab lahti kerida ja esimestest põhimõtetest uuesti tuletada.

Üks integreeritud süsteem, mis on usaldusväärne, seaduslik ja põhjendatud.

Ilma metaandmeteta pole sellel subjekti. Mida see üldse hindab?

Ilma vastavuseta on see õiguslikult inertne. Kas see vastab reeglitele?

Ilma päritoluta ei saa seda usaldada. Kust see tuli?

Raamistik ei käsitle neid kolme eraldi süsteemidena, vaid sama asja kolme küljena. Metaandmeid ilma päritoluta ei saa usaldada. Päritolu ilma vastavuseta on õiguslikult jõuetu. Vastavus ilma metaandmeteta on ilma subjektita. Üks integreeritud süsteem peab kandma kõiki kolme korraga.

Ontoloogia, epistemoloogia ja aksioloogia, kõik põhjendatud

Masinloetavad kujud pidevaks valideerimiseks

W3C päritolu kodeering iga andmete teisenduse jaoks

OWL domeeni modelleerimiseks, väljendatud teadmusgraafina

Tehnilised lahendused vastutusele ei õnnestu, kui nad jätavad vahele alusküsimused: mis eksisteerib, kuidas me seda teame ja kelle väärtusi süsteem teenib. Raamistik põhjendab igaüht neist klassikalise sambaga, mis kaardistub otse tehnilise kihiga ja halduskohustusega.

Pärast hüvitiste skandaali kujutab läbipaistmatu riskihindamine endast tõsist institutsioonilist ja õiguslikku riski.

Wet open overheid kohustab ennetavale läbipaistvusele; GDPR-i artikkel 22 piirab täielikult automatiseeritud otsuseid. Koos tähendavad need õigust selgitusele.