From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance

Het Grote Plaatje: Het "Recept" versus de "Chef"

Stel je voor dat je een zeer strenge, officiële Receptenboek hebt voor het maken van een specifiek type taart. Dit boek heet RoSO (Robotic Service Ontology).

• Wat het doet: Het lijst precies op welke ingrediënten je nodig hebt (meel, suiker), welke hulpmiddelen je moet gebruiken (mixer, oven) en de regels voor hoe ze moeten worden gelabeld. Het zorgt ervoor dat als je "meel" in de ene winkel koopt en "meel" in de andere, het eigenlijk hetzelfde is.
• Het Probleem: Het artikel betoogt dat een perfect Receptenboek niet genoeg is. Wat gebeurt er als je halverwege de eieren op zijn? Of als je de taart in een andere keuken met een andere oven moet bakken? Of als je de mixer wilt vervangen door een handgarde omdat de stroom uitvalt?
• Het Risico: Als je zomaar willekeurig dingen verwisselt, eindig je misschien met een pannenkoek in plaats van een taart, of een taart die niet veilig is om te eten. Het Receptenboek vertelt je wat de ingrediënten zijn, maar het vertelt je niet of je wijzigingen nog steeds een geldige versie zijn van de oorspronkelijke taart.

Dit artikel introduceert een nieuw systeem genaamd SMGI (Structural Model of General Intelligence). Denk aan SMGI als de Meesterchef die naast je staat.

• Wat het doet: De Meesterchef schrijft het recept niet; hij kijkt toe terwijl jij het recept aanpast. Hij vraagt: "Als je de oven vervangt door een magnetron, is het dan nog steeds een taart? Is het veilig? Heb je de 'taart-achtigheid' verloren?"
• Het Doel: Het artikel betoogt dat je zowel het Receptenboek (RoSO) als de Meesterchef (SMGI) nodig hebt om ervoor te zorgen dat je robot zijn plannen onderweg kan aanpassen zonder de regels te breken of iets te worden wat hij niet zou moeten zijn.

---

Het Kernargument: Van "Goed Gevormd" naar "Toelaatbaar"

Het artikel maakt een onderscheid tussen twee soorten regels:

1. Goed Gevormd (De Grammaticacontrole):

   • Analogie: Je schrijft een zin. "De kat zat op het tapijt." Het volgt de regels van de grammatica. Het is "goed geformeerd".
   • In het artikel: Een robotservice is "goed geformeerd" als het de juiste woorden uit het RoSO-woordenboek gebruikt. Als een robot zegt: "Ik zal medicijnen bezorgen", en "medicijnen" is een geldig woord in het woordenboek, dan is de zin correct.

2. Toelaatbaar (De Veiligheids- en Identiteitscontrole):

   • Analogie: Stel je nu voor dat je in een bibliotheek bent. Je zegt: "De kat zat op het tapijt." Grammaticaal is het perfect. Maar in een bibliotheek mag je geen kat hebben. De zin is "goed geformeerd" maar niet "toelaatbaar" voor die specifieke plek.
   • In het artikel: Alleen omdat het nieuwe plan van een robot de juiste woorden gebruikt, betekent niet dat het een veilig of geldig plan is. Het artikel betoogt dat wanneer een robot zijn plan aanpast (herconfigureert), het een strengere test moet doorstaan die Toelaatbaarheid heet. Het moet bewijzen dat de wijziging veilig, stabiel is en nog steeds als dezelfde service telt.

Hoe SMGI Werkt: De Vier Regels van de Meesterchef

Het artikel zegt dat SMGI werkt als een Meesterchef die vier specifieke regels afdwingt wanneer de robot zijn plan wil aanpassen:

1. Sluiting (Binnen de Keuken Blijven):

   • Analogie: Je kunt niet zomaar besluiten om een taart te bakken met een motoren van een auto. Je moet binnen het domein van "keukengerei" blijven.
   • De Regel: Elke wijziging die de robot maakt, moet nog steeds beschrijfbaar zijn met het officiële vocabulaire. Je kunt geen nieuw, niet-gedefinieerd onderdeel uitvinden.

2. Stabiliteit (Maak Geen Rotzooi):

   • Analogie: Als je je oven vervangt door een broodrooster, kan de taart misschien 10 minuten in plaats van 40 minuten duren. Dat is een grote verandering. Maar als je hem vervangt door een iets andere oven die 42 minuten nodig heeft, is dat een kleine, stabiele verandering.
   • De Regel: De wijziging mag niet leiden tot het crashen van de service, een te sterke verslechtering of onvoorspelbaarheid. De "drijfk" moet klein en gecontroleerd zijn.

3. Beperkte Capaciteit (Niet Te Veel Nadenken):

   • Analogie: Als je probeert om aan elke mogelijke manier te denken om een taart te bakken (met een vulkaan, een laser, een wolk), zul je nooit klaar zijn. Je moet je opties beperken.
   • De Regel: De robot moet niet proberen door oneindige mogelijkheden te zoeken. Hij moet zich houden aan een hanteerbare lijst met opties zodat hij snel een beslissing kan nemen.

4. Evaluatieve Invariantie (Behoud de Ziel van de Taart):

   • Analogie: Of je nu bakt voor een verjaardagsfeestje of voor een snelle snack, de "taart" moet nog steeds een taart zijn. Hij kan niet veranderen in soep alleen omdat de situatie is veranderd.
   • De Regel: Hoe de robot zijn plan ook aanpast (bijvoorbeeld van "snelle levering" naar "veilige levering"), de kernbelofte (bijvoorbeeld "de medicijnen veilig bezorgen") mag nooit worden gebroken.

Het "Adequaatheid"-Argument

Het artikel beweert dat RoSO + SMGI = Een Perfect Systeem.

• RoSO levert het vocabulaire (de woorden en definities).
• SMGI levert de logica (de regels voor het veilig aanpassen van plannen).

De auteurs bewijzen wiskundig dat als je een service neemt die is gedefinieerd door RoSO en deze door de SMGI-regels haalt, je een systeem krijgt dat dynamisch toelaatbaar is. Dit betekent dat de robot zichzelf kan repareren, onderdelen kan verwisselen of naar een nieuwe omgeving kan verplaatsen, en je wiskundig zeker weet dat het nog steeds hetzelfde werk correct uitvoert.

Wereldse Voorbeelden uit het Artikel

Het artikel gebruikt twee voorbeelden om te laten zien waarom dit belangrijk is:

1. De Ziekenhuisbezorgrobot

• Scenario: Een robot bezorgt medicijnen. Zijn batterij raakt leeg, of de gang is geblokkeerd.
• Zonder SMGI: De robot kiest misschien gewoon een nieuw pad of een nieuwe robot om te helpen, maar hij kan per ongeluk de medicijnen laten vallen of vergeten de verpleegster te vertellen. Het is "grammaticaal correct" maar onveilig.
• Met SMGI: Het systeem controleert: "Als we overschakelen naar Robot B, heeft hij dan nog steeds de juiste hulpmiddelen? Zijn de medicijnen nog steeds veilig? Hebben we niet vergeten de verpleegster te vertellen?" Als het antwoord ja is, is de wijziging toelaatbaar.

2. De Winkelpresentatie-robot

• Scenario: Een robot begeleidt een klant in een winkel. Het wordt te luid om de stem van de klant te horen.
• Zonder SMGI: De robot stopt misschien gewoon met praten en doet niets, of schakelt over naar een modus die de klant negeert.
• Met SMGI: Het systeem controleert: "We kunnen niet horen, dus laten we overschakelen naar een scherm. Telt dit nog steeds als 'begeleiden' van de klant? Is de klant nog steeds veilig? Ja." De wijziging is toelaatbaar.

Wat het Artikel NIET Beweert

Het is belangrijk om de grenzen van dit artikel te kennen:

• Het zegt niet dat SMGI de behoefte aan laag-niveau veiligheidscontroles vervangt (zoals "niet tegen een muur rijden").
• Het claimt niet dat elke robot die RoSO gebruikt automatisch veilig is. De robot moet de SMGI-regels daadwerkelijk gebruiken.
• Het belooft niet dat dit in elke mogelijke toekomstige situatie zonder testen perfect zal werken. Het biedt de theorie en de wiskunde om te bewijzen dat het kan werken.

Samenvatting

Denk aan RoSO als het Woordenboek en SMGI als de Grammatica-politie.

• Het Woordenboek vertelt je welke woorden bestaan.
• De Grammatica-politie vertelt je of je die woorden correct gebruikt om te zeggen wat je bedoelt, vooral als je haast hebt of je zinsbouw aan het veranderen bent.

Dit artikel betoogt dat robots om echt slim en veilig te zijn, beide nodig hebben. Ze hebben het woordenboek nodig om de wereld te begrijpen, en de Grammatica-politie om ervoor te zorgen dat hun wijzigingen een nuttige service niet veranderen in een gebroken puinhoop.