Deterministic AI Framework for Public Services

O caso de utilização em infraestruturas críticas e no setor público.

Como as camadas se encaixam, da base à superfície.

A máquina de prova e os formatos de replay por trás dos certificados.

A estrutura funciona sobre Core, Loom e Kera, com um certificado de prova ao estilo AION em cada decisão. Leia o substrato, a máquina de prova e os formatos de replay, ou fale connosco sobre um serviço específico.

Leia a camada de prova de ponta a ponta.

Se um organismo público usar um computador para ajudar a decidir o seu caso, pode pedir o motivo em linguagem simples, e uma pessoa tem de o assumir. Isso não é um favor, é assim que tem de funcionar.

A estrutura inclui um roteiro faseado, um modelo de governação e esquemas de referência. Fale connosco sobre a aplicação a um serviço específico, ou leia como funciona a plataforma subjacente.

CPU em primeiro lugar contra uma pilha generativa de GPU.

Pesquisa de hipervetores no caminho crítico em substituição de uma ida e volta de recuperação.

Mais de 2.900 operações, 76 categorias, 25 formatos numéricos, 12 backends.

4 a 8 ativos por consulta, a jusante da prova.

A estrutura funciona na mesma plataforma que o resto da Dweve. A Loom contribui com 528 especialistas de domínio, com 4 a 8 ativos por consulta, a Core abrange cerca de 408 mil implementações em 12 backends, a Lattice serve pesquisas de 1,36 ns no caminho crítico, a BitWeave mantém 1.000 de recall a cerca de 35 mil QPS em 10 mil documentos, e toda a pilha funciona com CPU em primeiro lugar, com menos 96% de energia do que uma pilha generativa.

Transparência proativa ao abrigo da Wet open overheid e a proporcionalidade exigida pelo acórdão SyRI de 2020, impostas pela arquitetura.

Obrigações de explicabilidade e supervisão de alto risco, além de uma barreira humana ao abrigo do artigo 22.º do RGPD antes de qualquer decisão com efeitos legais.

RDF e OWL modelam o domínio, PROV-O regista a linhagem por campo, SHACL codifica as regras. Tudo publicado, nada proprietário.

Nada aqui é um formato privado. O substrato assenta em normas abertas do W3C, RDF e OWL para a ontologia, PROV-O para a proveniência, SHACL para as restrições, e a superfície regulamentar assenta em legislação nomeada, a Lei da IA da UE, o artigo 22.º do RGPD, a Wet open overheid e o acórdão SyRI de 2020 do Tribunal Distrital de Haia. Cada âncora corresponde a um artefacto concreto que o certificado transporta.

Um segmento de cadeia SHA3-256, assinado Ed25519, reproduzido bit a bit idêntico.

Artigo 22.º do RGPD aplicado como portão antes de qualquer decisão com efeito legal.

Um certificado verificado offline em tempo linear, sem necessidade de solver.

As restrições que dispararam, por ordem, registadas à medida que a resposta é construída.

O raciocínio decorre por satisfação de restrições e emite um certificado de prova que qualquer verificador confere offline, em tempo linear, sem consultar o solver. O certificado nomeia o sujeito da ontologia, a linhagem PROV-O, a forma SHACL que disparou, o portão humano exigido antes do efeito legal e o selo de reprodução. Uma resposta fluente mas errada falha a verificação.

A conclusão provada, com o seu rasto, é entregue ao Loom para a traduzir em palavras simples.

As formas correspondentes alimentam a satisfação de restrições no Core, que emite um certificado verificável.

As entidades do grafo são comparadas com a forma SHACL em vigor na data.

Campos tipados com linhagem PROV-O tornam-se entidades e relações no grafo de conhecimento.

Siga uma única consulta de serviço público enquanto é reduzida através das cinco camadas. Entra como campos tipados com proveniência anexada, liga-se à ontologia RDF e OWL, dispara a forma SHACL em vigor na data, deriva um resultado por satisfação de restrições com um certificado de prova, e só então é expressa pelo Loom, a jusante da prova. Cada salto é registado, pelo que todo o caminho se reproduz bit a bit idêntico.

O Core deriva por satisfação de restrições em 12 backends e emite um certificado verificável por máquina, reproduzido bit a bit idêntico.

As formas SHACL codificam políticas e regras legais e validam continuamente. Um valor torna-se uma restrição executável, não um comentário.

RDF e OWL modelam o domínio como um grafo de conhecimento consultável e reversível. O Lattice serve consultas de caminho rápido a 1,36 ns.

Uma consulta é reduzida através de cinco camadas, cada uma substituível, cada uma registada. O domínio é uma ontologia explícita RDF e OWL em vez de pesos aprendidos, a proveniência é PROV-O anexada por campo, as regras são formas SHACL validadas continuamente, a derivação decorre por satisfação de restrições no Core, e o Loom traduz a conclusão provada em palavras a jusante da prova.

Pergunte duas vezes e a mesma razão volta.

Os seus dados ficam no serviço, dentro da Europa.

Uma forma clara de uma pessoa voltar a olhar para o assunto.

Uma razão que pode ler, indicando a regra e a sua situação.

Quando um organismo público utiliza um computador para ajudar a decidir o seu caso, a lei europeia está do seu lado. Tem direito a uma razão que possa ler, a uma pessoa que responda pela decisão, a uma forma de voltar a perguntar se algo parecer errado, e à garantia de que os seus dados ficam perto de casa. Nada disto custa mais. É simplesmente assim que tem de funcionar.

Se parecer errado, peça a uma pessoa que volte a olhar. A razão foi guardada para si.

A razão inclui o nome do técnico que concordou com ela. Não é apenas uma máquina.

Recebe de volta a regra que foi utilizada e como a sua situação foi verificada em relação a ela.

Telefone, escreva ou vá ao balcão. Diga claramente: por favor, diga-me a razão desta decisão.

Não precisa de formulário, advogado ou de uma única palavra técnica. Telefona ou escreve ao serviço e pergunta, em palavras simples, a razão da decisão. Têm de a dar, indicando a regra e a pessoa que assinou. Eis exatamente como funciona e o que lhe é devido.

Ficam no serviço, aqui na Europa. Não são enviados para treinar o sistema de outra pessoa.

Há sempre. Pode pedir a uma pessoa que volte a olhar, e a razão completa fica guardada no processo.

Recebe palavras em vez disso. A regra que foi utilizada e como o seu caso foi verificado em relação a ela.

Nunca acontece. Uma pessoa identificada tem a palavra final em tudo o que afeta a sua vida.

É natural sentir-se inquieto quando um computador está envolvido numa decisão sobre o seu subsídio, a sua licença ou o seu caso. Por isso, aqui está cada preocupação comum ao lado do que realmente acontece. Uma pessoa decide sempre. Recebe sempre uma razão em palavras simples. E se parecer errado, pode sempre perguntar novamente.

Guardado em palavras simples. Pergunte novamente mais tarde e a mesma resposta volta.

Um técnico identificado concorda com o resultado. O computador ajuda, a pessoa decide.

A sua situação real é comparada com essa regra, ponto por ponto, e não é pontuada com um número.

Como a lista de preços na parede. Igual para todos, escrita antes de entrar.

Não precisa de perceber de computadores para ver que isto é justo. O serviço escreve a regra primeiro, verifica a sua situação real contra ela, uma pessoa assina, e guarda o motivo para que possa pedi-lo mais tarde. O mesmo caso entra, a mesma resposta sai.

Transparência total e proporcionalidade impostas pela arquitetura.

Registos legíveis por máquina e exportação do registo nacional de algoritmos.

Portão humano no circuito antes de qualquer decisão com efeito legal.

Certificado de prova de raciocínio, rastreio linguístico, esquema de metadados SHACL.

A estrutura não trata a conformidade como uma lista de verificação acrescentada no fim. Cada dever legal corresponde a um componente técnico específico e a um artefacto de auditoria específico, avaliados continuamente.

O Core executa o pipeline num motor binário multi-backend com reprodução bit a bit idêntica. O Kera reduz um grafo para cada destino.

O Loom, com 528 especialistas de domínio e 4 a 8 ativos por consulta, fica a jusante. Coloca uma conclusão comprovada em palavras, com o rastreio anexado.

Deriva por satisfação de restrições e emite um certificado de prova verificável por máquina. Uma resposta fluente mas errada falha a prova.

Uma consulta torna-se uma resposta ao passar por cinco camadas. Cada camada pode ser substituída de forma independente, cada transição de estado é registada e consultável, e qualquer decisão pode ser desfeita e rederivada a partir dos primeiros princípios.

Um sistema integrado que é fiável, legal e fundamentado.

Sem metadados, não tem assunto. O que está sequer a avaliar?

Sem conformidade, é legalmente inerte. Satisfaz as regras?

Sem proveniência, não pode ser confiável. De onde veio?

O framework trata estes três elementos não como sistemas separados, mas como três faces da mesma coisa. Metadados sem proveniência não podem ser confiáveis. Proveniência sem conformidade é legalmente inerte. Conformidade sem metadados não tem sujeito. Um sistema integrado único tem de suportar os três ao mesmo tempo.

Ontologia, epistemologia e axiologia, todas fundamentadas