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

Das große Ganze: Das „Rezept" versus der „Koch"

Stellen Sie sich vor, Sie haben ein sehr strenges, offizielles Rezeptbuch für die Herstellung einer bestimmten Art von Kuchen. Dieses Buch heißt RoSO (Robotic Service Ontology).

• Was es tut: Es listet genau auf, welche Zutaten Sie benötigen (Mehl, Zucker), welche Werkzeuge zu verwenden sind (Rührmaschine, Ofen) und welche Regeln für die Beschriftung gelten. Es stellt sicher, dass „Mehl", das Sie in einem Geschäft kaufen, dasselbe ist wie „Mehl", das Sie in einem anderen Geschäft kaufen.
• Das Problem: Das Papier argumentiert, dass ein perfektes Rezeptbuch allein nicht ausreicht. Was passiert, wenn Sie mitten im Prozess die Eier ausgehen? Oder wenn Sie den Kuchen in einer anderen Küche mit einem anderen Ofen backen müssen? Oder wenn Sie die Rührmaschine gegen einen Handrührbesen austauschen wollen, weil der Strom ausgefallen ist?
• Das Risiko: Wenn Sie Dinge einfach willkürlich austauschen, landen Sie vielleicht bei einem Pfannkuchen statt bei einem Kuchen oder bei einem Kuchen, der nicht sicher zu essen ist. Das Rezeptbuch sagt Ihnen, was die Zutaten sind, aber es sagt Ihnen nicht, ob Ihre Änderungen immer noch eine gültige Version des ursprünglichen Kuchens darstellen.

Dieses Papier stellt ein neues System namens SMGI (Structural Model of General Intelligence) vor. Denken Sie an SMGI als den Meisterkoch, der neben Ihnen steht.

• Was er tut: Der Meisterkoch schreibt das Rezept nicht; er beobachtet, wie Sie das Rezept ändern. Er fragt: „Wenn Sie den Ofen gegen eine Mikrowelle austauschen, ist es immer noch ein Kuchen? Ist es sicher? Haben Sie die 'Kuchen-Eigenschaft' verloren?"
• Das Ziel: Das Papier argumentiert, dass Sie sowohl das Rezeptbuch (RoSO) als auch den Meisterkoch (SMGI) benötigen, um sicherzustellen, dass Ihr Roboter seine Pläne im laufenden Betrieb ändern kann, ohne gegen die Regeln zu verstoßen oder zu etwas zu werden, das er nicht sein soll.

---

Das Kernargument: Von „wohlgeformt" zu „zulässig"

Das Papier unterscheidet zwischen zwei Arten von Regeln:

1. Wohlgeformt (Der Grammatik-Check):

   • Analogie: Sie schreiben einen Satz. „Die Katze saß auf der Matte." Er folgt den Regeln der Grammatik. Er ist „wohlgeformt".
   • Im Papier: Ein Roboterdienst ist „wohlgeformt", wenn er die richtigen Wörter aus dem RoSO-Wörterbuch verwendet. Wenn ein Roboter sagt: „Ich werde Medizin liefern", und „Medizin" ein gültiges Wort im Wörterbuch ist, ist der Satz korrekt.

2. Zulässig (Der Sicherheits- und Identitäts-Check):

   • Analogie: Stellen Sie sich nun vor, Sie sind in einer Bibliothek. Sie sagen: „Die Katze saß auf der Matte." Grammatikalisch ist es perfekt. Aber in einer Bibliothek dürfen Sie keine Katze haben. Der Satz ist „wohlgeformt", aber für diesen spezifischen Ort nicht „zulässig".
   • Im Papier: Nur weil der neue Plan eines Roboters die richtigen Wörter verwendet, bedeutet das nicht, dass es ein sicherer oder gültiger Plan ist. Das Papier argumentiert, dass ein Roboter, wenn er seinen Plan ändert (rekonfiguriert), einen strengeren Test bestehen muss, der Zulässigkeit genannt wird. Er muss beweisen, dass die Änderung sicher, stabil ist und immer noch als derselbe Dienst zählt.

Wie SMGI funktioniert: Die vier Regeln des Meisterkochs

Das Papier besagt, dass SMGI wie ein Meisterkoch agiert, der vier spezifische Regeln durchsetzt, wann immer der Roboter seinen Plan ändern möchte:

1. Abschluss (Im Küchenbereich bleiben):

   • Analogie: Sie können nicht plötzlich beschließen, einen Kuchen mit einem Automotor zu backen. Sie müssen im Bereich der „Küchengeräte" bleiben.
   • Die Regel: Jede Änderung, die der Roboter vornimmt, muss weiterhin mit dem offiziellen Wortschatz beschreibbar sein. Sie dürfen keinen neuen, undefinierten Teil erfinden.

2. Stabilität (Kein Chaos anrichten):

   • Analogie: Wenn Sie Ihren Ofen gegen einen Toaster austauschen, dauert der Kuchen vielleicht 10 Minuten statt 40. Das ist eine große Änderung. Aber wenn Sie ihn gegen einen etwas anderen Ofen austauschen, der 42 Minuten braucht, ist das eine kleine, stabile Änderung.
   • Die Regel: Die Änderung sollte nicht dazu führen, dass der Dienst abstürzt, zu stark verschlechtert oder unvorhersehbar wird. Die „Drift" muss klein und kontrolliert sein.

3. Begrenzte Kapazität (Nicht überdenken):

   • Analogie: Wenn Sie versuchen, jeden möglichen Weg zu finden, einen Kuchen zu backen (mit einem Vulkan, einem Laser, einer Wolke), werden Sie niemals fertig. Sie müssen Ihre Optionen begrenzen.
   • Die Regel: Der Roboter sollte nicht versuchen, durch unendliche Möglichkeiten zu suchen. Er muss bei einer überschaubaren Liste von Optionen bleiben, damit er schnell eine Entscheidung treffen kann.

4. Evaluative Invarianz (Die Seele des Kuchens bewahren):

   • Analogie: Egal ob Sie für eine Geburtstagsfeier oder einen schnellen Snack backen, der „Kuchen" muss immer noch ein Kuchen sein. Er darf nicht zu einer Suppe werden, nur weil sich die Situation geändert hat.
   • Die Regel: Egal wie der Roboter seinen Plan ändert (z. B. von „schnelle Lieferung" zu „sichere Lieferung"), das Kernversprechen (z. B. „die Medizin sicher liefern") darf niemals gebrochen werden.

Das Argument der „Angemessenheit"

Das Papier behauptet, dass RoSO + SMGI = Ein perfektes System ist.

• RoSO liefert den Wortschatz (die Wörter und Definitionen).
• SMGI liefert die Logik (die Regeln für das sichere Ändern von Plänen).

Die Autoren beweisen mathematisch, dass Sie, wenn Sie einen durch RoSO definierten Dienst durch die SMGI-Regeln laufen lassen, ein System erhalten, das dynamisch zulässig ist. Das bedeutet, der Roboter kann sich selbst reparieren, Teile austauschen oder in eine neue Umgebung wechseln, und Sie können mathematisch sicher sein, dass er immer noch denselben Job korrekt erledigt.

Reale Beispiele aus dem Papier

Das Papier verwendet zwei Beispiele, um zu zeigen, warum dies wichtig ist:

1. Der Krankenhaus-Lieferroboter

• Szenario: Ein Roboter liefert Medizin. Sein Akku ist leer oder der Flur ist blockiert.
• Ohne SMGI: Der Roboter könnte einfach einen neuen Weg oder einen anderen Roboter zur Hilfe wählen, aber er könnte versehentlich die Medizin fallen lassen oder vergessen, der Krankenschwester Bescheid zu geben. Es ist „grammatikalisch korrekt", aber unsicher.
• Mit SMGI: Das System prüft: „Wenn wir zu Roboter B wechseln, hat er immer noch die richtigen Werkzeuge? Ist die Medizin immer noch sicher? Haben wir daran gedacht, der Krankenschwester Bescheid zu geben?" Wenn die Antwort ja ist, ist die Änderung zulässig.

2. Der Einzelhandels-Führer-Roboter

• Szenario: Ein Roboter führt einen Kunden in einem Geschäft. Es wird zu laut, um die Stimme des Kunden zu hören.
• Ohne SMGI: Der Roboter könnte einfach aufhören zu sprechen und nichts tun oder in einen Modus wechseln, der den Kunden ignoriert.
• Mit SMGI: Das System prüft: „Wir können nicht hören, also wechseln wir auf einen Bildschirm. Zählt das immer noch als 'Führen' des Kunden? Ist der Kunde immer noch sicher? Ja." Die Änderung ist zulässig.

Was das Papier NICHT behauptet

Es ist wichtig, die Grenzen dieses Papiers zu kennen:

• Es sagt nicht, dass SMGI die Notwendigkeit von Sicherheitsprüfungen auf niedriger Ebene ersetzt (wie „nicht gegen eine Wand fahren").
• Es behauptet nicht, dass jeder Roboter, der RoSO verwendet, automatisch sicher ist. Der Roboter muss die SMGI-Regeln tatsächlich anwenden.
• Es verspricht nicht, dass dies in jedem einzelnen zukünftigen Szenario ohne Tests perfekt funktionieren wird. Es liefert die Theorie und die Mathematik, um zu beweisen, dass es funktionieren kann.

Zusammenfassung

Stellen Sie sich RoSO als das Wörterbuch und SMGI als die Grammatik-Polizei vor.

• Das Wörterbuch sagt Ihnen, welche Wörter existieren.
• Die Grammatik-Polizei sagt Ihnen, ob Sie diese Wörter korrekt verwenden, um zu sagen, was Sie meinen, besonders wenn Sie es eilig haben oder Ihre Satzstruktur ändern.

Dieses Papier argumentiert, dass Roboter, um wirklich intelligent und sicher zu sein, beides benötigen. Sie brauchen das Wörterbuch, um die Welt zu verstehen, und die Grammatik-Polizei, um sicherzustellen, dass ihre Änderungen einen hilfreichen Dienst nicht in ein kaputtes Chaos verwandeln.