Deterministic AI Framework for Public Services

L-algoritmi jiggruppaw skont it-tip ta' data

Matriċi ta' kapaċitajiet li tista' tiskrollja

Il-każ tal-użu fl-infrastruttura kritika u fis-settur pubbliku.

Kif is-saffi jitwaħħlu flimkien, mill-pedament sal-wiċċ.

Il-magna tal-prova u l-formati tar-replay wara ċ-ċertifikati.

Il-qafas jaħdem fuq Core, Loom, u Kera b'ċertifikat ta' prova stil AION fuq kull deċiżjoni. Aqra s-substrat, il-magna tal-prova, u l-formati tar-replay, jew kellimna dwar servizz speċifiku.

Aqra s-saff tal-prova kollu minn tarf sa tarf.

Jekk korp pubbliku juża kompjuter biex jgħin jiddeċiedi l-każ tiegħek, tista' titlob ir-raġuni fi kliem sempliċi, u persuna trid tieħu r-responsabbiltà għaliha. Dik mhix favur, hekk irid jaħdem.

Il-qafas jiġi b'pjan direzzjonali f'fażijiet, mudell ta' governanza, u skemi ta' referenza. Kellimna dwar kif tapplikah għal servizz speċifiku, jew aqra kif jaħdem il-pjattaforma taħtu.

Agħmel l-AI tas-settur pubbliku difendibbli.

L-ewwel CPU kontra stack GPU ġenerattiv.

Tiftix ta' hypervector fil-hot path li jissostitwixxi vjaġġ ta' retrieval.

2,900+ operazzjonijiet, 76 kategoriji, 25 format numeriċi, 12 backends.

4 sa 8 attivi għal kull query, wara l-prova.

Il-qafas jaħdem fuq l-istess pjattaforma bħall-bqija ta' Dweve. Loom jikkontribwixxi 528 speċjalist fid-dominju b'4 sa 8 attivi għal kull query, Core ikopri madwar 408K implimentazzjonijiet fuq 12 backend, Lattice jaqdi 1.36 ns ta' tiftix fil-hot path, BitWeave iżomm 1.000 recall f'madwar 35K QPS fuq 10K dokumenti, u l-istack kollu jaħdem l-ewwel CPU b'96% inqas enerġija minn stack ġenerattiv.

Trasparenza proattiva taħt il-Wet open overheid, u l-proporzjonalità li teħtieġ is-sentenza SyRI tal-2020, infurzata mill-arkitettura.

Obbligi ta' spjegabbiltà u sorveljanza ta' riskju għoli, flimkien ma' gate uman tal-Artikolu 22 tal-GDPR qabel kull deċiżjoni b'effett legali.

RDF u OWL jimmudellaw id-dominju, PROV-O jirreġistra l-oriġini għal kull qasam, SHACL jikkodifika r-regoli. Kollha ppubblikati, l-ebda wieħed proprjetarju.

Xejn hawnhekk mhu format privat. Is-substrat jibbaża ruħu fuq standards miftuħa tal-W3C, RDF u OWL għall-ontoloġija, PROV-O għall-provenjenza, SHACL għall-kostrizzjonijiet, u l-wiċċ regolatorju jibbaża ruħu fuq liġijiet imsemmija, l-EU AI Act, l-Artikolu 22 tal-GDPR, il-Wet open overheid, u s-sentenza SyRI tal-2020 tal-Qorti Distrettwali ta' The Hague. Kull ankra timmappa għal artifatt konkret li ċ-ċertifikat iġorr.

Segment ta' katina SHA3-256, iffirmat b'Ed25519, riprodott bit-identiku.

L-Artikolu 22 tal-GDPR infurzat bħala gate qabel kwalunkwe deċiżjoni b'effett legali.

Ċertifikat verifikat offline fi żmien lineari, mingħajr solver meħtieġ.

Il-kostrizzjonijiet li attivaw, fl-ordni, reġistrati hekk kif tinbena t-tweġiba.

Ir-raġunament jaħdem permezz ta' sodisfazzjon ta' kostrizzjonijiet u jemitti ċertifikat ta' prova li kwalunkwe verifikatur jiċċekkja offline, fi żmien lineari, mingħajr ma jistaqsi lis-solver. Iċ-ċertifikat isemmi s-suġġett tal-ontoloġija, il-linja PROV-O, il-forma SHACL li attivat, il-gate uman meħtieġ qabel effett legali, u s-siġill tar-riproduzzjoni. Tweġiba fluwenti imma żbaljata ma tgħaddix mill-kontroll.

Il-konklużjoni ppruvata, bit-traċċa tagħha, tingħata lil Loom biex jpoġġiha fi kliem sempliċi.

Il-forom imqabbla jitimgħu s-sodisfazzjon ta' kostrizzjonijiet fuq Core, li jemetti ċertifikat verifikabbli.

L-entitajiet tal-graff jitqabblu mal-forma SHACL li kienet fis-seħħ fid-data.

Oqsma ttajpjati bil-linja PROV-O isiru entitajiet u relazzjonijiet fil-graff tal-għarfien.

Segwi mistoqsija waħda ta' servizz pubbliku hekk kif titniżżel permezz tal-ħames saffi. Tidħol bħala oqsma ttajpjati bi provenjenza mehmuża, tintrabat mal-ontoloġija RDF u OWL, tattiva l-forma SHACL fis-seħħ fid-data, tiddeduċi riżultat permezz ta' sodisfazzjon ta' kostrizzjonijiet b'ċertifikat ta' prova, u biss imbagħad tiġi fformulata minn Loom, wara l-prova. Kull hop huwa reġistrat, għalhekk it-triq kollha tirriproduċi bit-identiku.

Core jiddeduċi permezz ta' sodisfazzjon ta' kostrizzjonijiet fuq 12-il backend u jemetti ċertifikat verifikabbli bil-magna, riprodott bit-identiku.

Il-forom SHACL jikkodifikaw politika u regoli legali u jivvalidaw kontinwament. Valur isir kostrizzjoni eżekutibbli, mhux kumment.

RDF u OWL jimudellaw id-dominju bħala graff tal-għarfien li jista' jintalab u jitreġġa' lura. Lattice jaqdi tfittxijiet ta' hot-path f'1.36 ns.

Mistoqsija titniżżel permezz ta' ħames saffi, kull wieħed sostitwibbli, kull wieħed reġistrat. Id-dominju huwa ontoloġija espliċita RDF u OWL aktar milli piżijiet mgħallma, il-provenjenza hija PROV-O mehmuża ma' kull qasam, ir-regoli huma forom SHACL ivvalidati kontinwament, id-derivazzjoni taħdem permezz ta' sodisfazzjon ta' kostrizzjonijiet fuq Core, u Loom ipoġġi l-konklużjoni ppruvata fi kliem wara l-prova.

Staqsi darbtejn u l-istess raġuni eżatta terġa' lura.

Id-dettalji tiegħek jibqgħu mal-uffiċċju, ġewwa l-Ewropa.

Mod wieħed ċar biex persuna terġa' tħares lejh.

Raġuni li tista' taqra, li ssemmi r-regola u s-sitwazzjoni tiegħek.

Meta korp pubbliku juża kompjuter biex jgħin jiddeċiedi l-każ tiegħek, il-liġi Ewropea hija min-naħa tiegħek. Għandek id-dritt għal raġuni li tista' taqra, persuna li tieħu r-responsabbiltà tad-deċiżjoni, mod kif terġa' tistaqsi jekk tidher ħażina, u l-kumdità li d-dettalji tiegħek jibqgħu qrib id-dar. L-ebda waħda minn dawn ma tiswa aktar flus. Huma sempliċiment kif irid ikun.

Jekk jidher ħażin, staqsi persuna biex terġa' tħares. Ir-raġuni nżammet għalik.

Ir-raġuni ġġorr l-isem tal-uffiċjal li qabel magħha. Mhux magna waħedha.

Lura tiġi r-regola li ntużat u kif is-sitwazzjoni tiegħek ġiet iċċekkjata magħha.

Ċempel, ikteb, jew ġej personalment. Għid b'mod ċar: jekk jogħġbok għidli r-raġuni għal din id-deċiżjoni.

M'għandekx bżonn formola, avukat, jew kelma waħda tal-kompjuter. Iċempel jew tikteb lill-uffiċċju u tistaqsi, bil-kliem sempliċi, għar-raġuni wara d-deċiżjoni. Huma jridu jagħtuhielek, billi jsemmu r-regola u l-persuna li ffirmat. Hawnhekk eżatt kif tmur, u x'għandek id-dritt tirċievi lura.

Jibqgħu mal-uffiċċju, hawn fl-Ewropa. Mhumiex mibgħuta biex iħarrġu s-sistema ta' ħaddieħor.

Dejjem hemm. Tista' tistaqsi persuna biex terġa' tħares, u r-raġuni sħiħa tinżamm f'reġistru.

Tikseb kliem minflok. Ir-regola li ntużat, u kif il-każ tiegħek ġie ċċekkjat magħha.

Qatt ma jagħmel. Persuna msemmija għandha l-aħħar kelma fuq kwalunkwe ħaġa li taffettwa ħajtek.

Huwa naturali biss li tħossok skomdu meta kompjuter ikun involut f'deċiżjoni dwar il-benefiċċju tiegħek, il-permess tiegħek, jew il-każ tiegħek. Allura hawnhekk kull tħassib komuni mqabbel ma' dak li fil-fatt jiġri. Persuna dejjem tiddeċiedi. Dejjem tikseb raġuni bil-kliem ċar. U jekk jidher ħażin, dejjem tista' terġa' tistaqsi.

Maħżuna bil-kliem ċar. Staqsi aktar tard u l-istess tweġiba terġa' tiġi.

Uffiċjal imsemmi jaqbel mar-riżultat. Il-kompjuter jgħin, il-persuna tiddeċiedi.

Is-sitwazzjoni reali tiegħek titqabbel ma' dik ir-regola, punt b'punt, mhux mogħtija punteġġ bħala numru.

Bħal-lista tal-prezzijiet mal-ħajt. L-istess għal kulħadd, miktuba qabel ma tidħol.

M'għandekx għalfejn tifhem il-kompjuters biex tara li dan huwa ġust. L-uffiċċju jikteb ir-regola l-ewwel, jiċċekkja s-sitwazzjoni reali tiegħek kontriha, ikollu persuna li tiffirmaha, u jżomm ir-raġuni biex tkun tista' titlobha aktar tard. L-istess każ jidħol, l-istess tweġiba toħroġ.

Trasparenza sħiħa u proporzjonalità infurzati mill-arkitettura.

Logs li jinqraw mill-magni u esportazzjoni tar-reġistru nazzjonali tal-algoritmi.

Bieb ta' kontroll uman qabel kwalunkwe deċiżjoni b'effett legali.

Ċertifikat ta' prova tar-raġunament, traċċa tal-lingwa, skema ta' metadejta SHACL.

Il-qafas ma jittrattax il-konformità bħala lista ta' kontroll imwaħħla fl-aħħar. Kull dmir legali jimmappa għal komponent tekniku speċifiku u artefatt ta' awditu speċifiku, evalwat kontinwament.

Core imexxi l-pipeline fuq magna binarja b'ħafna backends b'riproduzzjoni identika bit b'bit. Kera jbaxxi grafika waħda għal kull mira.

Loom, 528 speċjalisti fil-qasam u 4 sa 8 attivi għal kull mistoqsija, jinsab downstream. Iqiegħed konklużjoni ppruvata fi kliem, bit-traċċa mehmuża.

Jinkiseb permezz ta' sodisfazzjon ta' restrizzjonijiet u joħroġ ċertifikat ta' prova verifikabbli mill-magna. Tweġiba fluwenti iżda żbaljata ma tgħaddix mill-prova.

Mistoqsija ssir tweġiba billi tgħaddi minn ħames saffi. Kull saff jista' jiġi sostitwit b'mod indipendenti, kull tranżizzjoni ta' stat tiġi rreġistrata u tista' tiġi mistoqsija, u kwalunkwe deċiżjoni tista' tiġi ddawwar lura u derivata mill-ġdid mill-ewwel prinċipji.

Sistema integrata waħda li hija affidabbli, legali, u bbażata.

Mingħajr metadejta m'għandha l-ebda suġġett. X'inhi qed tevalwa?

Mingħajr konformità hija legalment inerta. Jissodisfa r-regoli?

Mingħajr provenjenza ma tistax tiġi fdata. Minn fejn ġiet?

Il-qafas jittratta dawn it-tlieta mhux bħala sistemi separati iżda bħala tliet aspetti tal-istess ħaġa. Il-metadata mingħajr provenanza ma tistax tiġi fdata. Il-provenanza mingħajr konformità hija legalment inerta. Il-konformità mingħajr metadata m'għandhiex suġġett. Sistema integrata waħda trid iġġorr it-tlieta flimkien.