← Últimos artigos
💻 computer science

Separating AI-assisted authoring from governed execution through specification-driven composition A design framework and industrial experience report for explainable automation in regulated data transformation

Este artigo propõe uma estrutura de composiçãoção baseada em especificações que possibilita o uso seguro de IA em fluxos de trabalho de dados regulamentados ao separar a autoria assistida por IA da execução governada, garantindo que apenas artefatos validados, versionados e totalmente rastreáveis sejam compostos e executados.

Autores originais: Rostislav Markov

Publicado 2026-09-25
📖 7 min de leitura🧠 Leitura aprofundada

Autores originais: Rostislav Markov

Artigo original sob licença CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

No mundo das indústrias regulamentadas, como a medicina e as finanças, os dados não simplesmente fluem de um lugar para outro; eles devem ser transformados com absoluta precisão. Quando uma empresa farmacêutica prepara dados para uma revisão governamental, cada número, data e categoria deve seguir regras estritas. Se um programa de computador cometer um erro nesse processo, as consequências podem ser graves, variando de rejeições de candidaturas a riscos de segurança. Por décadas, engenheiros construíram esses programas escrevendo código linha por linha, garantindo que cada etapa fosse verificada, testada e aprovada antes mesmo de ser executada. Esse processo é lento, mas confiável porque os humanos permanecem no controle de cada decisão.

Hoje, a inteligência artificial oferece uma nova maneira de escrever esses programas. Esses sistemas podem ler uma descrição de uma tarefa e gerar o código necessário em segundos. Essa velocidade é incrivelmente útil para explorar ideias ou elaborar versões iniciais de um programa. No entanto, em ambientes de alto risco, a velocidade não pode vir à custa da segurança. Um computador não pode simplesmente adivinhar a resposta certa e executá-la imediatamente. O desafio central para os engenheiros modernos é como usar a velocidade da inteligência artificial sem perder a capacidade de explicar, verificar e controlar o resultado final. Eles precisam de uma maneira de permitir que a máquina elabore o trabalho, mantendo um humano no ciclo para verificar se o trabalho é seguro, correto e segue as regras antes que ele seja permitido executar.

Este é o problema que Rostislav Markov, um pesquisador da Amazon Web Services, aborda em seu trabalho recente sobre transformação de dados regulamentados. Ele propõe uma nova forma de trabalhar que separa o ato de escrever ou elaborar o código do ato de executá-lo. Em vez de deixar um modelo de inteligência artificial gerar um programa e depois torcer para que funcione, o novo framework força a IA a produzir um plano detalhado primeiro. Esse plano, chamado de especificação, descreve exatamente o que precisa ser feito, quais dados serão usados e quais regras devem ser seguidas. O plano em si não é o programa; é um conjunto de instruções para um sistema separado e estritamente controlado chamado compositor.

O compositor atua como um porteiro. Ele analisa o plano criado pela IA e o verifica contra uma biblioteca de blocos de construção pré-aprovados, testados e verificados. Esses blocos são funções específicas que os engenheiros já validaram para funcionar corretamente. O compositor não inventa nova lógica ou adivinha como resolver um problema. Ele simplesmente associa as etapas do plano aos blocos aprovados na biblioteca. Se o plano solicitar uma etapa que não possui um bloco aprovado correspondente, ou se os tipos de dados não coincidirem com as regras, o compositor interrompe e rejeita o plano. Ele não executará o código até que cada peça tenha sido verificada contra a biblioteca e as regras. Isso garante que, mesmo que a inteligência artificial cometa um erro em seu rascunho, esse erro seja detectado antes que qualquer dado real seja tocado.

Markov testou essa ideia usando um cenário do mundo real envolvendo dados clínicos, onde as informações dos pacientes devem ser organizadas em um formato padrão para submissão governamental. Em seus experimentos, ele pediu a uma inteligência artificial para escrever o código para essas transformações sob diferentes condições. Quando a IA recebia apenas uma descrição de texto simples, frequentemente produzia um código que parecia correto, mas falhava ao se ajustar ao sistema maior ou violava regras ocultas. Quando a IA recebia um plano estruturado com regras claras e referências aos blocos de construção aprovados, os resultados eram muito melhores. A descoberta fundamental não foi que a IA se tornou mais inteligente, mas que o sistema ao redor dela se tornou mais robusto. Os artefatos — os planos, os testes e os blocos aprovados — fizeram o trabalho pesado de garantir a segurança, não o modelo de IA em si.

O framework introduz um conceito chamado "explicável por construção". Em muitas discussões sobre inteligência artificial, as pessoas se preocupam em entender por que um modelo tomou uma decisão específica, muitas vezes tentando olhar dentro da "caixa preta" do algoritmo. Esta abordagem segue um caminho diferente. Ela argumenta que, para o trabalho regulamentado, você não precisa entender os pensamentos internos da IA. Em vez disso, você precisa entender as decisões de engenharia que levaram ao resultado final. Como o sistema só permite o uso de blocos aprovados e mantém um registro completo de cada etapa tomada para construir o programa final, qualquer pessoa pode olhar para o resultado final e rastreá-lo até o plano específico, os blocos de construção específicos e as regras específicas que foram seguidas. A explicação não é um palpite sobre o que a IA estava pensando; é um registro factual do que foi aprovado e de como foi montado.

Para provar que este sistema funciona, o pesquisador construiu uma versão pequena e funcional do framework. Ele mostrou que, se você fornecer ao sistema o mesmo plano e a mesma biblioteca de blocos duas vezes, ele produzirá exatamente o mesmo resultado todas as vezes. Essa consistência é vital para ambientes regulamentados onde a reprodutibilidade é exigida. Ele também demonstrou que, se uma nova versão de um bloco de construção for adicionada à biblioteca, o sistema não a utilizará acidentalmente para um plano antigo; ele se manterá fiel à versão específica que foi aprovada no momento em que o plano foi feito. Isso evita que mudanças no plano de fundo alterem inesperadamente o resultado de um processo. O sistema gera um log detalhado, ou rastreamento, para cada programa que constrói. Este log vincula o programa final de volta ao plano original, à versão específica de cada bloco de construção usado e às verificações de validação que foram passadas.

A pesquisa sugere que essa separação de deveres é essencial para o futuro da inteligência artificial em campos regulamentados. Ela permite que as organizações usem a velocidade da IA para elaborar especificações e escrever código, mas mantém a autoridade para executar nas mãos de um sistema controlado e determinístico. A IA torna-se uma assistente poderosa que ajuda os humanos a escreverem melhores planos, mas não é a autoridade que decide o que será executado. A decisão final de executar um programa repousa na existência de um plano válido, na presença de componentes aprovados e na conclusão bem-sucedida de um processo de verificação. Esta abordagem não elimina a necessidade de supervisão humana; pelo contrário, ela dá aos humanos melhores ferramentas para gerenciar essa supervisão. Ao focar nos artefatos — os planos, as regras e os blocos aprovados — o framework cria uma fronteira onde a inteligência artificial pode ser útil sem se tornar um risco.

No fim, o trabalho demonstra que o caminho para a automação segura não é tornar a inteligência artificial mais explicável, mas sim tornar o processo de construção da automação mais transparente. Quando os passos são claros, as regras são estritas e os componentes são verificados, o resultado é um sistema que pode ser confiado. A experiência do pesquisador mostra que, embora a inteligência artificial possa gerar um código plausível, é a estrutura circundante de especificações, testes e bibliotecas aprovadas que garante que o código seja de fato correto e seguro para uso. Essa mudança de foco, da inteligência do modelo para a governança do processo, oferece um caminho prático para indústrias que não podem se dar ao luxo de errar.

Afogado em artigos na sua área?

Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.

Experimentar Digest →