Strabo: Declarative Specification and Implementation of Agentic Interaction Protocols
Este artículo presenta Strabo, un marco de trabajo que demuestra la relevancia práctica de los protocolos de interacción declarativos para la IA Agéntica de la industria mediante el modelado del proceso de pago del Universal Commerce Protocol (UCP) de Google utilizando la especificación Langshaw y la implementación Peach, verificando con éxito la interoperabilidad con los agentes de Google para permitir la adopción incremental de métodos formales en entornos convencionales.
Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo
El panorama general: Enseñando a los robots a comprar juntos
Imagina un futuro donde tu asistente personal de IA (llamémosla "Alice") va de compras por ti. Ella necesita hablar con el asistente de IA de una tienda (llamémoslo "Bob") para comprar una camisa, pagarla y recibir la entrega.
Para que esto funcione, Alice y Bob deben hablar el mismo idioma y seguir las mismas reglas. Si Alice dice: "Quiero comprar esto", Bob debe saber exactamente qué significa eso, qué información necesita después y qué es lo que aún no puede hacer.
Actualmente, las grandes empresas tecnológicas (como Google) están intentando establecer estas reglas. Crearon un conjunto de instrucciones llamado UCP (Universal Commerce Protocol). Piensa en el UCP como un manual de instrucciones muy largo y desordenado escrito en inglés natural y código JSON. Le dice a los desarrolladores cómo construir bots de compras. Sin embargo, debido a que está escrito de forma informal, deja mucho margen para la confusión. Los desarrolladores tienen que adivinar las reglas, lo que a menudo provoca errores o bots que no pueden comunicarse adecuadamente entre sí.
El problema: El mundo "académico" ha estado construyendo libros de reglas matemáticos muy precisos para robots durante años (llamados Langshaw). Pero nadie pensó que estos sofisticados libros de reglas pudieran funcionar realmente con los protocolos desordenados del mundo real utilizados por empresas como Google.
La solución (Strabo): Los autores construyeron una herramienta llamada Strabo. Su trabajo es actuar como traductor y puente. Toma las instrucciones desordenadas de Google, las convierte en un libro de reglas matemáticas precisas y luego construye un "puente" que permite que un robot que habla el lenguaje preciso hable con un robot que habla el lenguaje desordenado.
Los tres personajes principales
Para entender cómo funciona esto, veamos las tres herramientas clave que utilizaron los autores:
1. Langshaw: El arquitecto estricto
Imagina que estás construyendo una casa.
- El modo Google (UCP): Tienes un boceto en una servilleta que dice: "Pon una puerta aquí, tal vez una ventana allá". Tienes que adivinar dónde va la puerta. Si adivinas mal, la casa podría colapsar.
- El modo Langshaw: Este es un plano arquitectónico estricto. Dice: "La puerta debe estar aquí. La ventana no puede estar allá. No puedes pintar la pared de azul hasta que la puerta esté instalada".
- Por qué importa: Langshaw te obliga a ser preciso. Evita que los robots hagan cosas fuera de orden o falten pasos importantes.
2. Peach: El constructor inteligente
Una vez que tienes el plano estricto (Langshaw), necesitas un constructor que lo siga.
- Peach es el constructor. No necesita que un humano le diga cada uno de los pasos. En su lugar, mira el plano y dice: "Bien, basado en las reglas, lo único que se me permite hacer en este momento es colgar la puerta".
- Se encarga de toda la matemática aburrida y compleja de "¿Está permitido este paso? ¿Nos saltamos algún paso?", para que el humano (o el cerebro de la IA) pueda simplemente concentrarse en la parte creativa: "Colgar la puerta".
3. Strabo: El traductor diplomático
Este es el protagonista.
- El problema: Los bots de Google (UCP) hablan "Boceto en Servilleta". Los bots de Peach hablan "Plano Estricto". No pueden entenderse.
- La solución: Strabo construye un puente. Se sitúa en medio.
- Cuando el bot de Peach quiere "Crear una sesión de pago" (lenguaje de Plano Estricto), Strabo traduce eso a una solicitud HTTP específica (lenguaje de Boceto en Servilleta) que el bot de Google entiende.
- Cuando el bot de Google responde, Strabo traduce la respuesta desordenada de vuelta a una señal limpia de "Creado" para el bot de Peach.
- El resultado: El bot de Peach piensa que está hablando con otro bot de Peach. El bot de Google piensa que está hablando con otro bot de Google. Nunca saben que están hablando idiomas diferentes.
¿Qué hicieron realmente?
Los autores decidieron probar esto en el proceso de Checkout (compra).
- Modelaron las reglas desordenadas de Google: Tomaron las instrucciones de "Checkout" de Google UCP y las reescribieron como un plano perfecto y estricto de Langshaw.
- Construyeron los bots: Crearon un bot de "Plataforma" (el comprador) usando el constructor Peach.
- Construyeron el puente: Crearon un "Proxy" (el traductor Strabo) que conecta al bot de Peach con el servidor real de Google.
- La prueba: Dejaron que el bot de Peach intentara comprar cosas en el servidor de Google.
El resultado: ¡Funcionó! El bot de Peach completó transacciones con éxito con el servidor de Google. Esto demostró que puedes usar reglas académicas estrictas para controlar sistemas industriales reales y desordenados sin romperlos.
¿Por qué es esto importante? (Los momentos de revelación)
El artículo destaca algunas cosas sorprendentes que descubrieron mientras traducían las reglas:
- Suposiciones ocultas: Las instrucciones de Google no decían explícitamente: "Debes esperar una respuesta antes de enviar el siguiente mensaje". Simplemente asumían que todo el mundo lo sabía. El estricto plano de Langshaw los obligó a escribir esa regla de forma explícita. Esto evita errores donde dos bots hablan al mismo tiempo.
- ¿Quién es el dueño de qué?: En las reglas desordenadas de Google, no siempre estaba claro quién tenía permitido cambiar un dato (como el precio). Las reglas estrictas lo dejaron claro: "El Comprador puede establecer los artículos, pero la Tienda establece el precio total".
- Menos código, más lógica: Los autores demostraron que escribir un bot usando su método estricto (Peach) requería mucho menos código que escribir un bot directamente contra las reglas desordenadas de Google. El "puente" se encargó de todo el trabajo pesado de conectarse a Internet y formatear los datos. El desarrollador solo tuvo que escribir la lógica de qué comprar, no cómo enviar el mensaje.
La conclusión
El artículo argumenta que no tenemos que elegir entre "estándares industriales desordenados del mundo real" y "reglas académicas precisas de seguridad".
Strabo demuestra que puedes tener ambos. Puedes tomar un protocolo del mundo real (como el UCP de Google), envolverlo en una capa estricta y libre de errores (Langshaw/Peach), y usar un traductor (Strabo) para hacer que funcionen juntos. Esto significa que podemos introducir agentes de IA más seguros e inteligentes en nuestros sistemas actuales sin tener que reconstruir todo el internet desde cero.
En resumen: Construyeron un adaptador universal que permite que un robot que sigue un libro de reglas estricto estreche la mano de un robot que sigue un boceto en una servilleta, demostrando que la precisión y la practicidad pueden coexistir.
¿Ahogado en artículos de tu campo?
Recibe resúmenes diarios de los artículos más novedosos que coincidan con tus palabras clave de investigación — con resúmenes técnicos, en tu idioma.