Deterministic AI Framework for Public Services

Przypadek użycia w infrastrukturze krytycznej i sektorze publicznym.

Jak warstwy układają się od fundamentów po powierzchnię.

Maszyna dowodowa i formaty odtwarzania stojące za certyfikatami.

Ramy działają na Core, Loom i Kera z certyfikatem dowodu w stylu AION przy każdej decyzji. Przeczytaj o podłożu, maszynie dowodowej i formatach odtwarzania, albo porozmawiaj z nami o konkretnej usłudze.

Przeczytaj warstwę dowodową od początku do końca.

Jeśli organ publiczny używa komputera do pomocy w rozstrzygnięciu Twojej sprawy, możesz poprosić o uzasadnienie w prostych słowach, a za decyzją musi stać człowiek. To nie przysługa, tak to musi działać.

Ramy obejmują etapowy plan działania, model zarządzania i schematy referencyjne. Porozmawiaj z nami o zastosowaniu ich do konkretnej usługi albo przeczytaj, jak działa platforma pod spodem.

Spraw, by sztuczna inteligencja w sektorze publicznym była obronna.

CPU-first wobec generatywnego stosu GPU.

Wyszukiwanie hiperwektorowe na ścieżce krytycznej zastępujące rundę odpytywania.

Ponad 2900 operacji, 76 kategorii, 25 formatów liczbowych, 12 backendów.

Od 4 do 8 aktywnych na zapytanie, poniżej warstwy dowodu.

Ramy działają na tej samej platformie co reszta Dweve. Loom wnosi 528 specjalistów domenowych, z czego od 4 do 8 aktywnych na zapytanie, Core obejmuje około 408 tys. implementacji w 12 backendach, Lattice obsługuje wyszukiwania na ścieżce krytycznej w 1,36 ns, BitWeave utrzymuje trafność 1,000 przy około 35 tys. zapytań na sekundę na 10 tys. dokumentów, a cały stos działa CPU-first przy 96% mniejszym zużyciu energii niż stos generatywny.

Proaktywna transparentność zgodnie z Wet open overheid oraz proporcjonalność wymagana wyrokiem SyRI z 2020 r., egzekwowane przez architekturę.

Wymogi dotyczące wyjaśnialności i nadzoru wysokiego ryzyka, a także ludzka brama z art. 22 RODO przed każdą decyzją wywołującą skutki prawne.

RDF i OWL modelują domenę, PROV-O rejestruje pochodzenie każdego pola, SHACL koduje reguły. Wszystko opublikowane, nic zastrzeżonego.

Nic tutaj nie jest prywatnym formatem. Podłoże opiera się na otwartych standardach W3C: RDF i OWL dla ontologii, PROV-O dla pochodzenia, SHACL dla ograniczeń, a powierzchnia regulacyjna opiera się na wymienionych przepisach: Akcie o sztucznej inteligencji UE, art. 22 RODO, Wet open overheid i wyroku SyRI z 2020 r. Sądu Okręgowego w Hadze. Każda kotwica odpowiada konkretnemu artefaktowi, który niesie certyfikat.

Segment łańcucha SHA3-256, podpisany Ed25519, odtworzony bitowo identycznie.

Artykuł 22 RODO egzekwowany jako brama przed każdą decyzją o skutkach prawnych.

Certyfikat weryfikowany offline w czasie liniowym, bez solvera.

Ograniczenia, które zadziałały, w kolejności, rejestrowane podczas budowania odpowiedzi.

Rozumowanie przebiega przez spełnianie ograniczeń i emituje certyfikat dowodu, który każdy weryfikator sprawdza offline, w czasie liniowym, bez pytania solvera. Certyfikat wymienia podmiot ontologii, linię PROV-O, kształt SHACL, który zadziałał, bramę ludzką wymaganą przed skutkiem prawnym oraz pieczęć odtworzenia. Płynna, ale błędna odpowiedź nie przechodzi weryfikacji.

Udowodniony wniosek wraz ze śladem trafia do Loom, aby ująć go w prostych słowach.

Dopasowane kształty zasilają spełnianie ograniczeń na Core, które emituje weryfikowalny certyfikat.

Encje grafu są dopasowywane do kształtu SHACL obowiązującego w danej dacie.

Typowane pola z linią PROV-O stają się encjami i relacjami w grafie wiedzy.

Śledź pojedyncze zapytanie usługi publicznej, gdy jest opuszczane przez pięć warstw. Wchodzi jako typowane pola z dołączonym pochodzeniem, wiąże się z ontologią RDF i OWL, uruchamia kształt SHACL obowiązujący w danej dacie, wyprowadza wynik przez spełnianie ograniczeń z certyfikatem dowodu i dopiero wtedy jest formułowane przez Loom, poniżej dowodu. Każdy skok jest rejestrowany, więc cała ścieżka odtwarza się bitowo identycznie.

Core wyprowadza przez spełnianie ograniczeń na 12 backendach i emituje maszynowo weryfikowalny certyfikat, odtwarzany bitowo identycznie.

Kształty SHACL kodują politykę i reguły prawne oraz walidują w sposób ciągły. Wartość staje się wykonywalnym ograniczeniem, a nie komentarzem.

RDF i OWL modelują dziedzinę jako przeszukiwalny, odwracalny graf wiedzy. Lattice obsługuje wyszukiwania na ścieżce gorącej w 1,36 ns.

Zapytanie jest opuszczane przez pięć warstw, każdą wymienną, każdą rejestrowaną. Dziedzina jest jawną ontologią RDF i OWL, a nie wyuczonymi wagami, pochodzenie jest dołączane jako PROV-O do każdego pola, reguły to kształty SHACL walidowane w sposób ciągły, wyprowadzenie działa przez spełnianie ograniczeń na Core, a Loom ujmuje udowodniony wniosek w słowa poniżej dowodu.

Zapytaj dwa razy, a otrzymasz dokładnie ten sam powód.

Twoje dane pozostają w urzędzie, w Europie.

Jeden jasny sposób, aby osoba spojrzała na to jeszcze raz.

Powód, który możesz przeczytać, podający zasadę i Twoją sytuację.

Gdy organ publiczny używa komputera do pomocy w podjęciu decyzji w Twojej sprawie, prawo europejskie jest po Twojej stronie. Należy Ci się powód, który możesz przeczytać, osoba, która stoi za decyzją, możliwość ponownego zapytania, jeśli coś wygląda nie tak, oraz pewność, że Twoje dane pozostają blisko domu. Żadne z tych nie kosztuje dodatkowo. To po prostu tak musi działać.

Jeśli coś wygląda nie tak, poproś osobę, aby spojrzała na to jeszcze raz. Powód został dla Ciebie zachowany.

Powód zawiera nazwisko pracownika, który się z nim zgodził. Nie sama maszyna.

Wraca zasada, która została użyta, i sposób, w jaki Twoja sytuacja została z nią porównana.

Zadzwoń, napisz lub przyjdź. Powiedz wprost: proszę podać mi powód tej decyzji.

Nie potrzebujesz formularza, prawnika ani ani jednego komputerowego słowa. Dzwonisz lub piszesz do urzędu i pytasz, zwykłymi słowami, o powód decyzji. Muszą Ci go podać, wymieniając zasadę i osobę, która podpisała. Oto dokładnie, jak to przebiega i co Ci się należy.

Zostają w urzędzie, tutaj w Europie. Nie są wysyłane, aby trenować czyjś system.

Zawsze jest. Możesz poprosić osobę o ponowne spojrzenie, a pełny powód jest zachowany w aktach.

Otrzymujesz słowa zamiast tego. Zasada, która została użyta, i sposób, w jaki Twoja sprawa została z nią porównana.

Nigdy tak nie jest. Wymieniona osoba ma ostatnie słowo we wszystkim, co wpływa na Twoje życie.

To naturalne, że czujesz niepokój, gdy komputer bierze udział w decyzji dotyczącej Twojego świadczenia, pozwolenia lub sprawy. Oto każda częsta obawa zestawiona z tym, co naprawdę się dzieje. Osoba zawsze decyduje. Zawsze otrzymujesz powód w prostych słowach. A jeśli coś wygląda nie tak, zawsze możesz zapytać ponownie.

Zapisane w prostych słowach. Zapytaj ponownie później, a ta sama odpowiedź wróci.

Wymieniony pracownik zgadza się z wynikiem. Komputer pomaga, osoba decyduje.

Twoja rzeczywista sytuacja jest porównywana z tą regułą punkt po punkcie, a nie oceniana liczbą.

Jak cennik na ścianie. Taki sam dla wszystkich, spisany zanim wejdziesz.

Nie musisz rozumieć komputerów, aby zobaczyć, że to jest sprawiedliwe. Biuro najpierw spisuje regułę, sprawdza twoją rzeczywistą sytuację zgodnie z nią, osoba to podpisuje, a powód jest przechowywany, abyś mógł o niego zapytać później. Ta sama sprawa na wejściu, ta sama odpowiedź na wyjściu.

Pełna przejrzystość i proporcjonalność wymuszona przez architekturę.

Logi czytelne maszynowo i eksport do krajowego rejestru algorytmów.

Bramka z udziałem człowieka przed jakąkolwiek decyzją o skutkach prawnych.

Certyfikat dowodu uzasadnienia, ślad językowy, schemat metadanych SHACL.

Ramy nie traktują zgodności jako listy kontrolnej dołączonej na końcu. Każdy obowiązek prawny jest mapowany na konkretny komponent techniczny i konkretny artefakt audytowy, oceniany w sposób ciągły.

Core uruchamia potok na wielobackendowym silniku binarnym z bitowo identycznym odtworzeniem. Kera sprowadza jeden graf do każdego celu.

Loom, 528 specjalistów dziedzinowych i od 4 do 8 aktywnych na zapytanie, znajduje się dalej. Przekształca sprawdzony wniosek w słowa, z dołączonym śladem.

Wyprowadza przez rozwiązywanie ograniczeń i emituje weryfikowalny maszynowo certyfikat dowodu. Płynna, ale błędna odpowiedź nie przechodzi dowodu.

Zapytanie staje się odpowiedzią, przechodząc przez pięć warstw. Każda warstwa może być niezależnie wymieniona, każda zmiana stanu jest logowana i dostępna do zapytań, a każda decyzja może być cofnięta i wyprowadzona ponownie z pierwszych zasad.

Jeden zintegrowany system, który jest godny zaufania, legalny i ugruntowany.

Bez metadanych nie ma podmiotu. Co to w ogóle ocenia?

Bez zgodności jest prawnie bezwładny. Czy spełnia zasady?

Bez pochodzenia nie można mu ufać. Skąd się wziął?

Framework traktuje te trzy elementy nie jako osobne systemy, lecz jako trzy oblicza tej samej rzeczy. Metadane bez proweniencji nie mogą być zaufane. Proweniencja bez zgodności jest prawnie bezskuteczna. Zgodność bez metadanych nie ma podmiotu. Jeden zintegrowany system musi przenosić wszystkie trzy naraz.

Ontologia, epistemologia i aksjologia, wszystkie ugruntowane

Kształty wykonywalne maszynowo do ciągłej walidacji

Kodowanie rodowodu W3C dla każdej transformacji danych