Strabo: Declarative Specification and Implementation of Agentic Interaction Protocols
Este artigo apresenta o Strabo, um framework que demonstra a relevância prática de protocolos de interação declarativos para a IA Agêntica da indústria ao modelar o processo de checkout do Universal Commerce Protocol (UCP) do Google usando a especificação Langshaw e a implementação Peach, verificando com sucesso a interoperabilidade com os agentes do Google para permitir a adoção incremental de métodos formais em configurações convencionais.
Artigo original sob licença CC BY 4.0 (http://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
A Visão Geral: Ensinando Robôs a Comprar Juntos
Imagine um futuro onde sua assistente pessoal de IA (vamos chamá-la de "Alice") vai fazer compras para você. Ela precisa conversar com o assistente de IA de uma loja (vamos chamá-lo de "Bob") para comprar uma camisa, pagá-la e recebê-la.
Para que isso funcione, Alice e Bob precisam falar a mesma língua e seguir as mesmas regras. Se Alice disser "Eu quero comprar isto", Bob precisa saber exatamente o que isso significa, quais informações ele precisa em seguida e o que ele ainda não pode fazer.
Atualmente, grandes empresas de tecnologia (como o Google) estão tentando definir essas regras. Elas criaram um conjunto de instruções chamado UCP (Protocolo de Comércio Universal). Pense no UCP como um manual de instruções muito longo e bagunçado, escrito em inglês comum e código JSON. Ele diz aos desenvolvedores como construir bots de compras. No entanto, como é escrito de forma informal, deixa muito espaço para confusão. Os desenvolvedores têm que adivinhar as regras, o que frequentemente leva a erros ou a bots que não conseguem conversar adequadamente entre si.
O Problema: O mundo "acadêmico" vem construindo livros de regras matemáticas muito precisos para robôs há anos (chamados Langshaw). Mas ninguém achava que esses livros de regras sofisticados pudessem realmente funcionar com os protocolos bagunçados do mundo real usados por empresas como o Google.
A Solução (Strabo): Os autores construíram uma ferramenta chamada Strabo. O trabalho dela é agir como um tradutor e uma ponte. Ela pega as instruções bagunçadas do Google, transforma-as em um livro de regras matemático preciso e, então, constrói uma "ponte" que permite que um robô falando a linguagem precisa converse com um robô falando a linguagem bagunçada.
Os Três Personagens Principais
Para entender como isso funciona, vamos olhar para as três ferramentas principais que os autores usaram:
1. Langshaw: O Arquiteto Rigoroso
Imagine que você está construindo uma casa.
- O Jeito Google (UCP): Você tem um esboço em um guardanapo que diz: "Coloque uma porta aqui, talvez uma janela ali". Você tem que adivinhar onde a porta fica. Se você errar o palpite, a casa pode desabar.
- O Jeito Langshaw: Este é um projeto arquitetônico rigoroso. Ele diz: "A porta deve estar aqui. A janela não pode estar lá. Você não pode pintar a parede de azul até que a porta seja instalada".
- Por que importa: O Langshaw força você a ser preciso. Ele evita que os robôs façam coisas fora de ordem ou esqueçam etapas importantes.
2. Peach: O Construtor Inteligente
Uma vez que você tem o projeto rigoroso (Langshaw), você precisa de um construtor para segui-lo.
- Peach é o construtor. Ele não precisa que um humano lhe diga cada passo individualmente. Em vez disso, ele olha para o projeto e diz: "Ok, com base nas regras, a única coisa que eu tenho permissão para fazer agora é pendurar a porta".
- Ele cuida de toda a matemática chata e complexa de "Este passo é permitido? Perdemos algum passo?" para que o humano (ou o cérebro da IA) possa apenas focar na parte criativa: "Pendurar a porta".
3. Strabo: O Tradutor Diplomático
Este é o astro do show.
- O Problema: Os bots do Google (UCP) falam "Esboço de Guardanapo". Os bots do Peach falam "Projeto Rigoroso". Eles não conseguem se entender.
- A Solução: O Strabo constró o uma ponte. Ele se posiciona no meio.
- Quando o bot do Peach quer "Criar uma Sessão de Checkout" (linguagem de Projeto Rigoroso), o Strabo traduz isso para uma requisição HTTP específica (linguagem de Esboço de Guardanapo) que o bot do Google entende.
- Quando o bot do Google responde, o Strabo traduz a resposta bagunçada de volta para um sinal limpo de "Criado" para o bot do Peach.
- O Resultado: O bot do Peach pensa que está falando com outro bot do Peach. O bot do Google pensa que está falando com outro bot do Google. Eles nunca sabem que estão falando línguas diferentes.
O Que Eles Realmente Fizeram?
Os autores decidiram testar isso no processo de Checkout (comprar algo).
- Eles modelaram as regras bagunçadas do Google: Eles pegaram as instruções de "Checkout" do UCP do Google e as reescreveram como um projeto Langshaw perfeito e rigoroso.
- Eles construíram os bots: Criaram um bot de "Plataforma" (o comprador) usando o construtor Peach.
- Eles construíram a ponte: Criaram um "Proxy" (o tradutor Strabo) que conecta o bot do Peach ao servidor real do Google.
- O Teste: Eles deixaram o bot do Peach tentar comprar coisas do servidor do Google.
O Resultado: Funcionou! O bot do Peach completou transações com sucesso com o servidor do Google. Isso provou que você pode usar regras acadêmicas rigorosas para controlar sistemas industriais reais e bagunçados sem quebrá-los.
Por Que Isso é Importante? (Os Momentos "Aha!")
O artigo destaca alguns fatos surpreendentes que eles descobriram ao traduzir as regras:
- Premissas Ocultas: As instruções do Google não diziam explicitamente "Você deve esperar por uma resposta antes de enviar a próxima mensagem". Eles apenas assumiam que todos sabiam disso. O projeto rigoroso do Langshaw os forçou a escrever essa regra explicitamente. Isso evita bugs onde dois bots falam ao mesmo tempo.
- Quem é Dono de Quê? Nas regras bagunçadas do Google, nem sempre estava claro quem tinha permissão para alterar um dado (como o preço). As regras rigorosas deixaram claro: "O Comprador pode definir os itens, mas a Loja define o preço total".
- Menos Código, Mais Lógica: Os autores mostraram que escrever um bot usando o método rigoroso deles (Peach) exigiu muito menos código do que escrever um bot diretamente contra as regras bagunçadas do Google. A "ponte" cuidou de todo o trabalho pesado de conectar-se à internet e formatar os dados. O desenvolvedor só precisou escrever a lógica de o que comprar, não como enviar a mensagem.
A Conclusão
O artigo argumenta que não precisamos escolher entre "padrões industriais reais e bagunçados" e "regras acadêmicas precisas e seguras".
Strabo mostra que você pode ter ambos. Você pode pegar um protocolo do mundo real (como o UCP do Google), envolvê-lo em uma camada rigorosa e à prova de erros (Langshaw/Peach) e usar um tradutor (Strabo) para fazê-los trabalhar juntos. Isso significa que podemos introduzir agentes de IA mais seguros e inteligentes em nossos sistemas atuais sem precisar reconstruir toda a internet do zero.
Em resumo: Eles construíram um adaptador universal que permite que um robô seguindo um livro de regras estrito aperte a mão de um robô seguindo um esboço de guardanapo, provando que a precisão e a praticidade podem coexistir.
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.