Strabo: Declarative Specification and Implementation of Agentic Interaction Protocols
Cet article présente Strabo, un cadre qui démontre la pertinence pratique des protocoles d'interaction déclaratifs pour l'IA agentique industrielle en modélisant le processus de paiement du Universal Commerce Protocol (UCP) de Google à l'aide de la spécification Langshaw et de l'implémentation Peach, vérifiant avec succès l'interopérabilité avec les agents de Google afin de permettre l'adoption progressive des méthodes formelles dans des contextes conventionnels.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
La vue d'ensemble : Apprendre aux robots à faire du shopping ensemble
Imaginez un futur où votre assistant personnel IA (appelons-le « Alice ») part faire des courses pour vous. Elle doit discuter avec l'assistant IA d'un magasin (appelons-le « Bob ») pour acheter une chemise, la payer et la faire livrer.
Pour que cela fonctionne, Alice et Bob doivent parler la même langue et suivre les mêmes règles. Si Alice dit : « Je veux acheter ceci », Bob doit savoir exactement ce que cela signifie, quelle information il lui faut ensuite, et ce qu'il ne peut pas encore faire.
Actuellement, les géants de la technologie (comme Google) essaient d'établir ces règles. Ils ont créé un ensemble d'instructions appelé UCP (Universal Commerce Protocol). Voyez l'UCP comme un manuel d'instructions très long et désordonné, écrit en anglais courant et en code JSON. Il explique aux développeurs comment construire des robots de shopping. Cependant, comme il est écrit de manière informelle, il laisse place à beaucoup de confusion. Les développeurs doivent deviner les règles, ce qui entraîne souvent des erreurs ou des robots incapables de communiquer correctement entre eux.
Le Problème : Le monde « académique » construit des recueils de règles mathématiques très précises pour les robots depuis des années (appelés Langshaw). Mais personne ne pensait que ces recueils de règles sophistiqués pourraient réellement fonctionner avec les protocoles réels et désordonnés utilisés par des entreprises comme Google.
La Solution (Strabo) : Les auteurs ont construit un outil appelé Strabo. Son rôle est de servir de traducteur et de pont. Il prend les instructions désordonnées de Google, les transforme en un manuel de règles mathématiques précises, puis construit un « pont » qui permet à un robot parlant la langue précise de communiquer avec un robot parlant la langue désordonnée.
Les trois personnages principaux
Pour comprendre comment cela fonctionne, regardons les trois outils clés que les auteurs ont utilisés :
1. Langshaw : L'architecte rigoureux
Imaginez que vous construisez une maison.
- La méthode Google (UCP) : Vous avez un croquis sur une serviette qui dit : « Mettez une porte ici, peut-être une fenêtre là ». Vous devez deviner où placer la porte. Si vous vous trompez, la maison pourrait s'effondrer.
- La méthode Langshaw : C'est un plan architectural strict. Il dit : « La porte doit être ici. La fenêtre ne peut pas être là. Vous ne pouvez pas peindre le mur en bleu tant que la porte n'est pas installée ».
- Pourquoi c'est important : Langshaw vous force à être précis. Cela empêche les robots de faire des choses dans le mauvais ordre ou d'oublier des étapes importantes.
2. Peach : Le constructeur intelligent
Une fois que vous avez le plan strict (Langshaw), vous avez besoin d'un constructeur pour le suivre.
- Peach est le constructeur. Il n'a pas besoin qu'un humain lui dicte chaque étape. Au lieu de cela, il regarde le plan et dit : « D'accord, d'après les règles, la seule chose que je suis autorisé à faire en ce moment, c'est d'installer la porte ».
- Il gère toute la partie mathématique ennuyeuse et complexe du type « Est-ce que cette étape est autorisée ? Avons-nous manqué une étape ? » afin que l'humain (ou le cerveau de l'IA) puisse se concentrer uniquement sur la partie créative : « Installer la porte ».
3. Strabo : Le traducteur diplomate
C'est la star du spectacle.
- Le Problème : Les bots de Google (UCP) parlent le langage du « Croquis sur serviette ». Les bots de Peach parlent le langage du « Plan strict ». Ils ne se comprennent pas.
- La Solution : Strabo construit un pont. Il se place au milieu.
- Quand le bot de Peach veut « Créer une session de paiement » (langage du Plan strict), Strabo traduit cela en une requête HTTP spécifique (langage du Croquis sur serviette) que le bot de Google comprendra.
- Lorsque le bot de Google répond, Strabo traduit la réponse désordonnée en un signal clair de « Créé » pour le bot de Peach.
- Le Résultat : Le bot de Peach pense qu'il parle à un autre bot de Peach. Le bot de Google pense qu'il parle à un autre bot de Google. Ils ne savent même pas qu'ils parlent des langues différentes.
Qu'ont-ils réellement fait ?
Les auteurs ont décidé de tester cela sur le processus de Paiement (l'achat de quelque chose).
- Ils ont modélisé les règles désordonnées de Google : Ils ont pris les instructions « Checkout » de l'UCP de Google et les ont réécrites sous la forme d'un plan Langshaw parfait et strict.
- Ils ont construit les bots : Ils ont créé un bot « Plateforme » (l'acheteur) en utilisant le constructeur Peach.
- Ils ont construit le pont : Ils ont créé un « Proxy » (le traducteur Strabo) qui connecte le bot de Peach au serveur réel de Google.
- Le Test : Ils ont laissé le bot de Peach essayer d'acheter des articles auprès du serveur de Google.
Le Résultat : Cela a fonctionné ! Le bot de Peach a réussi à effectuer des transactions avec le serveur de Google. Cela a prouvé que l'on peut utiliser des règles académiques strictes pour contrôler des systèmes industriels réels et désordonnés sans les casser.
Pourquoi est-ce une grande avancée ? (Les moments « Eurêka ! »)
L'article met en évidence quelques points surprenants qu'ils ont découverts lors de la traduction des règles :
- Hypothèses cachées : Les instructions de Google ne disaient pas explicitement : « Vous devez attendre une réponse avant d'envoyer le message suivant ». Ils partaient du principe que tout le monde le savait. Le plan strict de Langshaw les a forcés à écrire cette règle explicitement. Cela évite les bugs où deux bots se parlent en même temps.
- Qui possède quoi ? : Dans les règles désordonnées de Google, il n'était pas toujours clair qui était autorisé à modifier une donnée (comme le prix). Les règles strictes ont clarifié la situation : « L'acheteur peut définir les articles, mais le Magasin fixe le prix total ».
- Moins de code, plus de logique : Les auteurs ont montré que l'écriture d'un bot via leur méthode stricète (Peach) nécessitait beaucoup moins de code que l'écriture d'un bot directement contre les règles désordonnées de Google. Le « pont » gérait toute la partie lourde de la connexion à Internet et du formatage des données. Le développeur n'avait qu'à écrire la logique de ce qu'il faut acheter, et non comment envoyer le message.
En résumé
L'article soutient que nous n'avons pas à choisir entre les « normes industrielles désordonnées du monde réel » et les « règles de sécurité académiques précises ».
Strabo montre que l'on peut avoir les deux. On peut prendre un protocole réel (comme l'UCP de Google), l'envelopper dans une couche stricte et infaillible (Langshaw/Peach), et utiliser un traducteur (Strabo) pour les faire fonctionner ensemble. Cela signifie que nous pouvons introduire progressivement des agents IA plus sûrs et plus intelligents dans nos systèmes actuels sans avoir à reconstruire l'internet entier de zéro.
En bref : Ils ont construit un adaptateur universel qui permet à un robot suivant un carnet de règles strict de serrer la main à un robot suivant un croquis sur une serviette, prouvant que la précision et le pragmatisme peuvent coexister.
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.