Strabo: Declarative Specification and Implementation of Agentic Interaction Protocols
Dit artikel introduceert Strabo, een framework dat de praktische relevantie van declaratieve interactieprotocollen voor de industriële Agentic AI aantoont door het Google Universal Commerce Protocol (UCP) afrekenproces te modelleren met de Langshaw-specificatie en Peach-implementatie, waarbij succesvol interoperabiliteit met Google's agents wordt geverifieerd om de incrementele adoptie van formele methoden in conventionele omgevingen mogelijk te maken.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Het Grote Plaatje: Robots Leren Samen Winkelen
Stel je een toekomst voor waarin jouw persoonlijke AI-assistent (laten we haar "Alice" noemen) voor jou gaat winkelen. Zij moet praten met de AI-assistent van een winkel (laten we hem "Bob" noemen) om een shirt te kopen, ervoor te betalen en de levering te regelen.
Om dit te laten werken, moeten Alice en Bob dezelfde taal spreken en zich aan dezelfde regels houden. Als Alice zegt: "Ik wil dit kopen," moet Bob precies weten wat dat betekent, welke informatie hij daarna nodig heeft en wat hij nog niet kan doen.
Momenteel proberen grote technologiebedrijven (zoals Google) deze regels vast te leggen. Ze hebben een set instructies gemaakt genaamd UCP (Universal Commerce Protocol). Zie UCP als een zeer lange, rommelige handleiding die in gewone mensentaal en JSON-code is geschreven. Het vertelt ontwikkelaars hoe ze winkelbots moeten bouwen. Omdat het echter informeel is geschreven, laat het veel ruimte voor verwarring. Ontwikkelaars moeten de regels raden, wat vaak leidt tot fouten of bots die niet goed met elkaar kunnen communiceren.
Het Probleem: De "academische" wereld bouwt al jaren zeer precieze, wiskundige regelboeken voor robots (genaamd Langshaw). Maar niemand dacht dat deze chique regelboeken ook echt zouden kunnen werken met de rommelige, echte protocollen die bedrijven zoals Google gebruiken.
De Oplossing (Strabo): De auteurs hebben een tool gebouwd genaamd Strabo. Haar taak is om als vertaler en brug te fungeren. Ze neemt de rommelige Google-instructies, verandert ze in een precies wiskundig regelboek, en bouwt vervolgens een "brug" waardoor een robot die de precieze taal spreekt, kan praten met een robot die de rommelige taal spreekt.
De Drie Hoofdrolspelers
Om te begrijpen hoe dit werkt, kijken we naar de drie belangrijkste tools die de auteurs hebben gebruikt:
1. Langshaw: De Strikte Architect
Stel je voor dat je een huis bouwt.
- De Google-manier (UCP): Je hebt een schets op een servetje waarop staat: "Zet hier een deur, misschien een raam daar." Je moet raden waar de deur komt. Als je het fout raadt, kan het huis instorten.
- De Langshaw-manier: Dit is een strikte architectonische blauwdruk. Het zegt: "De deur moet hier zijn. Het raam kan niet daar zijn. Je mag de muur niet blauw schilderen totdat de deur is geplaatst."
- Waarom het ertoe doet: Langshaw dwingt je om precies te zijn. Het voorkomt dat robots dingen in de verkeerde volgorde doen of belangrijke stappen overslaan.
2. Peach: De Slimme Bouwer
Zodra je de strikte blauwdruk (Langshaw) hebt, heb je een bouwer nodig om deze te volgen.
- Peach is de bouwer. Hij hoeft niet door een mens voor elke stap te worden verteld. In plaats daarvan kijkt hij naar de blauwdruk en zegt: "Oké, op basis van de regels is het enige dat ik op dit moment mag doen, de deur ophangen."
- Het handelt al het saaie, complexe rekenwerk af over "Is deze stap toegestaan? Hebben we een stap overgeslagen?" zodat de mens (of de hersenen van de AI) zich alleen kan concentrenen op het creatieve deel: "De deur ophangen."
3. Strabo: De Diplomatieke Vertaler
Dit is de ster van de show.
- Het Problek: De Google-bots (UCP) spreken "Servet-schets". De Peach-bots spreken "Strikte Blauwdruk". Ze begrijpen elkaar niet.
- De Oplossing: Strabo bouwt een brug. Het zit in het midden.
- Wanneer de Peach-bot een "Checkout Session aanmaken" wil (in de taal van de Strikte Blauwdruk), vertaalt Strabo dat naar een specifieke HTTP-aanvraag (in de taal van de Servet-schets) die de Google-bot begrijpt.
- Wanneer de Google-bot antwoordt, vertaalt Strabo het rommelige antwoord terug naar een schoon "Gemaakt"-signaal voor de Peach-bot.
- Het Resultaat: De Peach-bot denkt dat hij met een andere Peach-bot praat. De Google-bot denkt dat hij met een andere Google-bot praat. Ze weten nooit dat ze een andere taal spreken.
Wat Hebben Ze Eigenlijk Gedaan?
De auteurs besloten dit te testen op het Checkout-proces (iets kopen).
- Ze modelleerden de rommelige regels van Google: Ze namen de Google UCP "Checkout"-instructies en schreven deze opnieuw als een perfecte, strikte Langshaw-blauwdruk.
- Ze bouwden de bots: Ze creëerden een "Platform"-bot (de shopper) met behulp van de Peach-bouwer.
- Ze bouwden de brug: Ze creëerden een "Proxy" (de Strabo-vertaler) die de Peach-bot verbindt met de werkelijke Google-server.
- De Test: Ze lieten de Peach-bot proberen producten te kopen van de Google-server.
Het Resultaat: Het werkte! De Peach-bot voltooide succesvol transacties met de Google-server. Dit bewees dat je strikte, academische regels kunt gebruiken om echte, rommelige industriële systemen te besturen zonder ze te breken.
Waarom Is Dit Een Groot Ding? (De "Aha!" Momenten)
Het paper belicht een paar verrassende dingen die ze ontdekten tijdens het vertalen van de regels:
- Verborgen Aannames: De instructies van Google zeiden niet expliciet: "Je moet wachten op een antwoord voordat je de volgende boodschap stuurt." Ze gingen er gewoon vanuit dat iedereen dat wist. De strikte Langshaw-blauwdruk dwong hen om die regel expliciet op te schrijven. Dit voorkomt bugs waarbij twee bots door elkaar heen praten.
- Wie Bezit Wat? In de rommelige Google-regels was het niet altijd duidelijk wie gerechtigd was om een stukje data (zoals de prijs) te wijzigen. De strikte regels maakten het duidelijk: "De Shopper kan de items instellen, maar de Store bepaalt de totale prijs."
- Minder Code, Meer Logica: De auteurs lieten zien dat het schrijven van een bot met hun strikte methode (Peach) veel minder code vereiste dan het direct schrijven van een bot tegen de rommelige Google-regels. De "brug" deed al het zware werk van het verbinden met het internet en het formatteren van de data. De ontwikkelaar hoefde alleen de logica te schrijven voor wat er gekocht moest worden, niet hoe de boodschap verzonden moest worden.
De Kernboodschap
Het paper betoogt dat we niet hoeven te kiezen tussen "rommelige, echte industriestandaarden" en "precieze, academische veiligheidsregels."
Strabo laat zien dat je beide kunt hebben. Je kunt een echt wereldprotocol (zoals Google's UCP) nemen, er een strikte, foutbestendige laag omheen wikkelen (Langshaw/Peach), en een vertaler (Strabo) gebruiken om ze samen te laten werken. Dit betekent dat we langzaam veiligere, slimmere AI-agents kunnen introduceren in onze huidige systemen zonder dat we het hele internet opnieuw hoeven op te bouwen.
Kortom: Ze hebben een universele adapter gebouwd waarmee een robot die een strikt regelboek volgt, de hand kan schudden met een robot die een schets op een servetje volgt, wat bewijst dat precisie en praktische bruikbaarheid naast elkaar kunnen bestaan.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.