Deterministic AI Framework for Public Services

A kritikus infrastruktúra és a közszféra használati esete.

Hogyan illeszkednek egymásba a rétegek, az alaptól a felszínig.

A bizonyítógép és a visszajátszási formátumok a tanúsítványok mögött.

A keretrendszer a Core, a Loom és a Kera platformon fut, minden döntéshez AION-stílusú bizonyítéktanúsítvány tartozik. Olvasd el az alaptechnológiát, a bizonyítógépet és a visszajátszási formátumokat, vagy beszélj velünk egy konkrét szolgáltatásról.

Olvasd el a bizonyítékréteget elejétől a végéig.

Ha egy közintézmény számítógépet használ az ügyed eldöntéséhez, kérheted az indoklást egyszerű szavakkal, és egy személynek vállalnia kell érte. Ez nem szívesség, hanem így kell működnie.

A keretrendszerhez fázisos ütemterv, irányítási modell és referenciasémák tartoznak. Beszélj velünk egy konkrét szolgáltatásra való alkalmazásáról, vagy olvasd el, hogyan működik az alatta lévő platform.

CPU-első a generatív GPU-veremmel szemben.

Forró útvonalú hipervektor-keresés, amely kiváltja a lekérdezési körutat.

2900+ művelet, 76 kategória, 25 numerikus formátum, 12 háttérrendszer.

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.

Proaktív átláthatóság a Wet open overheid alapján, és az arányosság, amelyet a 2020-as SyRI-ítélet megkövetel, architektúrával kikényszerítve.

Magas kockázatú magyarázhatósági és felügyeleti kötelezettségek, plusz a GDPR 22. cikke szerinti emberi ellenőrzés minden joghatással járó döntés előtt.

Az RDF és az OWL modellezi a domént, a PROV-O rögzíti az eredetét mezőnként, a SHACL kódolja a szabályokat. Minden publikált, semmi sem védett.

Itt semmi sem privát formátum. Az alaptechnológia nyílt W3C-szabványokra épül: RDF és OWL az ontológiához, PROV-O az eredetiséghez, SHACL a kényszerekhez, a szabályozási felület pedig nevesített jogszabályokra: az EU AI Actre, a GDPR 22. cikkére, a Wet open overheidre és a Hágai Törvényszék 2020-as SyRI-ítéletére. Minden horgony egy konkrét artefaktumhoz tartozik, amelyet a tanúsítvány hordoz.

Egy SHA3-256 láncszegmens, Ed25519 aláírással, bitazonosan visszajátszva.

A GDPR 22. cikke kapuként érvényesül minden joghatással járó döntés előtt.

Egy tanúsítvány offline ellenőrizhető lineáris időben, megoldó nélkül.

A kiváltott kényszerek sorrendben, naplózva a válasz felépítése közben.

A következtetés kényszerkielégítéssel fut, és bizonyítéktanúsítványt bocsát ki, amelyet bármely ellenőrző offline, lineáris időben ellenőrizhet, anélkül hogy a megoldót kérdezné. A tanúsítvány megnevezi az ontológia alanyát, a PROV-O származási láncot, a kiváltott SHACL alakzatot, a joghatás előtt megkövetelt emberi kaput és a visszajátszási pecsétet. Egy gördülékeny, de hibás válasz megbukik az ellenőrzésen.

egy tanúsítvány, amelyet ellenőrizhetsz.

A bizonyított következtetést a nyomvonalával együtt a Loom kapja, hogy egyszerű szavakba öntse.

Az illeszkedő alakzatok kényszerkielégítést táplálnak a Core-on, amely ellenőrizhető tanúsítványt bocsát ki.

A gráfentitásokat a dátum szerint hatályos SHACL alakzathoz illesztjük.

A PROV-O származással ellátott típusos mezők entitásokká és relációkká válnak a tudásgráfban.

Kövess egyetlen közszolgálati lekérdezést, ahogy az öt rétegen keresztülhalad. Típusos mezőkként lép be származással ellátva, az RDF és OWL ontológiához kötődik, a dátum szerint hatályos SHACL alakzatot váltja ki, kényszerkielégítéssel eredményt származtat bizonyítéktanúsítvánnyal, és csak ezután fogalmazza meg a Loom, a bizonyítás után. Minden ugrás naplózva van, így a teljes út bitazonosan visszajátszható.

A Core 12 háttérrendszeren keresztül kényszerkielégítéssel származtat, és géppel ellenőrizhető tanúsítványt bocsát ki, amely bitazonosan visszajátszható.

A SHACL alakzatok politikát és jogszabályokat kódolnak, és folyamatosan érvényesítenek. Egy érték végrehajtható kényszerré válik, nem megjegyzéssé.

Az RDF és az OWL a tartományt lekérdezhető, visszafejthető tudásgráfként modellezi. A Lattice 1,36 ns alatt szolgálja ki a gyors kereséseket.

Egy lekérdezés öt rétegen keresztül ereszkedik le, mindegyik cserélhető, mindegyik naplózott. A tartomány explicit RDF és OWL ontológia, nem tanult súlyok; a származás mezőnként PROV-O; a szabályok folyamatosan érvényesített SHACL alakzatok; a származtatás kényszerkielégítéssel fut a Core-on; és a Loom a bizonyítás után fogalmazza meg a bizonyított következtetést.

Kérdezz kétszer, és ugyanaz az indok jön vissza.

Az adataid a hivatalnál maradnak, Európán belül.

Egy egyértelmű módja annak, hogy egy személy újra ránézzen.

Egy olvasható indok, amely megnevezi a szabályt és a helyzetedet.

Amikor egy közintézmény számítógépet használ az ügyed eldöntéséhez, az európai jog a te oldaladon áll. Jár neked egy olvasható indok, egy személy, aki mögötte áll a döntésnek, egy mód arra, hogy újra kérdezz, ha hibásnak tűnik, és a megnyugvás, hogy az adataid közel maradnak. Egyik sem kerül többletköltségbe. Egyszerűen így kell működnie.

Ha hibásnak tűnik, kérj egy személyt, hogy nézzen rá újra. Az indokot megőrizték számodra.

Az indok tartalmazza az ügyintéző nevét, aki egyetértett vele. Nem csak egy gép.

Visszakapod a használt szabályt, és azt, hogyan ellenőrizték a helyzetedet.

Telefonálj, írj, vagy menj be személyesen. Mondd ki egyszerűen: kérem, mondja meg az indokot a döntéshez.

Nincs szükséged űrlapra, ügyvédre, vagy egyetlen számítógépes szóra sem. Telefonálsz vagy írsz a hivatalnak, és egyszerű szavakkal kéred az indokot a döntés mögött. Meg kell adniuk, megnevezve a szabályt és az aláíró személyt. Így megy ez pontosan, és ez jár neked vissza.

A hivatalnál maradnak, itt Európában. Nem küldik el őket más rendszer betanítására.

Mindig van. Kérhetsz egy személyt, hogy nézzen újra, és a teljes indokot nyilvántartásban tartják.

Szavakat kapsz helyette. A használt szabályt, és azt, hogyan ellenőrizték az ügyedet.

Soha nem. Egy megnevezett személynek van végső szava mindenben, ami az életedre hatással van.

Természetes, hogy kényelmetlenül érzed magad, ha egy számítógép részt vesz a döntésben az ellátásodról, az engedélyedről vagy az ügyedről. Íme minden gyakori aggodalom, mellé állítva, ami valójában történik. Egy ember mindig dönt. Mindig kapsz indokot egyszerű szavakban. És ha hibásnak tűnik, mindig kérdezhetsz újra.

Egyszerű szavakban elmentve. Kérdezz újra később, és ugyanaz a válasz jön vissza.

Egy megnevezett ügyintéző egyetért az eredménnyel. A számítógép segít, az ember dönt.

A tényleges helyzetedet pontról pontra vetik össze a szabállyal, nem pedig számszerűen értékelik.

Mint az árlista a falon. Mindenki számára ugyanaz, még mielőtt belépsz, leírva.

Nem kell értened a számítógépekhez ahhoz, hogy lásd, ez igazságos. Az iroda először leírja a szabályt, ellenőrzi a tényleges helyzetedet, egy személy aláírja, és megőrzi az indoklást, hogy később újra kérhesd. Ugyanaz az eset, ugyanaz a válasz.

Teljes átláthatóság és arányosság, amelyet az architektúra kikényszerít.

Géppel olvasható naplók és nemzeti algoritmusregiszter-export.

Ember a folyamatban kapu minden joghatással járó döntés előtt.

Érvelési bizonyítvány, nyelvi nyomkövetés, SHACL metaadat-séma.

A keretrendszer nem kezeli a megfelelést utólag hozzácsapott ellenőrzőlistaként. Minden jogi kötelezettség egy konkrét technikai összetevőhöz és egy konkrét auditálási artefaktumhoz kapcsolódik, és folyamatosan értékelik.

A Core a csővezetéket egy több háttérrendszerű bináris motoron futtatja, bit-azonos visszajátszással. A Kera egyetlen gráfra redukálja minden célra.

A Loom, 528 domain-szakértővel és lekérdezésenként 4-8 aktívval, lejjebb helyezkedik el. Bizonyított következtetést fogalmaz meg, a nyomkövetéssel együtt.

Megkötés-kielégítéssel származtat, és géppel ellenőrizhető bizonyítékot állít ki. Egy gördülékeny, de hibás válasz megbukik a bizonyításon.

Egy lekérdezés öt rétegen áthaladva válik válasszá. Minden réteg önállóan cserélhető, minden állapotátmenet naplózott és lekérdezhető, és bármely döntés visszatekerhető és első elvekből újra levezethető.

moduláris, auditálható, visszafordítható.

Egy integrált rendszer, amely megbízható, jogszerű és megalapozott.

Metaadatok nélkül nincs tárgya. Mit is értékel?

Megfelelés nélkül jogilag inaktív. Megfelel a szabályoknak?

Származás nélkül nem lehet megbízni benne. Honnan jött?

A keretrendszer ezt a hármat nem külön rendszerekként kezeli, hanem ugyanannak a dolognak három arcaként. A metaadatok származás nélkül nem megbízhatók. A származás megfelelőség nélkül jogilag hatástalan. A megfelelőség metaadatok nélkül tárgy nélküli. Egyetlen integrált rendszernek mindhármat egyszerre kell hordoznia.

Ontológia, episztemológia és axiológia, mind megalapozva

Géppel végrehajtható formák a folyamatos érvényesítéshez

W3C leszármazási kódolás minden adatátalakításhoz

OWL a tartományi modellezéshez, tudásgráfként kifejezve