GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI

Der digitale Marktplatz: Eine neue Art, wie Computer miteinander sprechen

Stellen Sie sich das Internet wie eine riesige, belebte Stadt vor. Im Moment wird diese Stadt von zwei sehr unterschiedlichen Arten von Bürgermeisternen verwaltet. Auf der einen Seite haben Sie die „Autokraten“, wie Facebook, wo ein einziger riesiger Konzern den Marktplatz besitzt, entscheidet, wer sprechen darf, und alle Ressourcen kontrolliert. Auf der anderen Seite haben Sie die „Plutokraten“, wie Bitcoin, wo die Stadt von den reichsten Menschen mit den leistungsstärksten Computern verwaltet wird, was ein System schafft, in dem Reichtum über Macht entscheidet. Aber was wäre, wenn es einen dritten Weg gäbe? Was wäre, wenn die Stadt allen gleichermaßen gehören würde, wo jeder Mensch sein eigenes kleines Viertel gründen könnte und diese Viertel wachsen und zu einer massiven Stadt verschmelzen könnten, ohne dass jemand einen zentralen Chef oder eine reiche Elite zur Verwaltung benötigt? Dies ist der Traum eines „Grassroots-Plattform“-Modells.

Um diesen Traum Wirklichkeit werden zu lassen, brauchen wir eine neue Sprache, in der Computer miteinander sprechen können. Die meisten heutigen Computersprachen sind wie strikte Anweisungen an einen einzelnen Arbeiter: „Tu dies, dann tue jenes.“ Aber eine Grassroots-Stadt braucht Millionen von Arbeitern (oder Agenten), die gleichzeitig miteinander kommunizieren, Geheimnisse teilen und Dinge gemeinsam aufbauen, ohne einen zentralen Chef. Hier kommt die „konkurrente Logikprogrammierung“ ins Spiel. Stellen Sie es sich wie ein Stille-Post-Spiel vor, bei dem man statt nur eine Nachricht weiterzugeben, ein Versprechen weitergibt. Man sagt: „Ich werde dir diesen Wert später geben“, und die andere Person sagt: „Ich warte auf diesen Wert, um meinen Teil zu erledigen.“ Wenn alle nach diesen Regeln spielen, kann das gesamte System reibungslos laufen, selbst wenn die Spieler über den ganzen Globus verstreut sind. Die große Frage war bisher immer: Können wir diese mächtige, komplexe Denkweise einfach genug machen, damit normale Menschen (und ihre KI-Helfer) sie nutzen können?

Die Grassroots-Sprache: GLP

In dieser Arbeit stellt Ehud Shapiro ein neues Werkzeug namens GLP (Grassroots Logic Programs) vor. Betrachten Sie GLP als einen speziellen Satz von Regeln für ein riesiges, globales „Verbinde-die-Punkte“-Spiel, das von Tausenden von unabhängigen Computern (oder Smartphones) gespielt wird. Das Ziel ist es, eine digitale Welt aufzubauen, in der jeder eine kleine Gruppe gründen kann und diese Gruppen natürlich zu einer einzigen, globalen Gemeinschaft wachsen können, ohne einen zentralen Server oder einen reichen Besitzer zu benötigen, der die Schlüssel hält.

Die Arbeit präsentiert GLP als eine Sprache, die speziell für diesen „Grassroots“-Lebensstil entwickelt wurde. In den alten Tagen der Informatik waren Sprachen, die viele Dinge gleichzeitig geschehen ließen, zu schwer für normale Programmierer zu verstehen. Sie waren wie eine Sinfonie, bei der jeder Musiker gleichzeitig eine andere Partitur lesen musste, und wenn eine Person den Takt verpasste, stürzte das Gante ab. GLP vereinfacht dies durch einen cleveren Trick: Paar-Variablen (Paired Variables).

Stellen Sie sich vor, Sie und ein Freund bauen einen Turm. Sie haben einen Block (einen „Schreiber“) und Ihr Freund hat eine passende Öffnung (einen „Leser“). Sie können den Block nicht in die Öffnung setzen, bis Sie den Block tatsächlich haben, und Ihr Freund kann nicht auf die Öffnung warten, bis er den Block bereit hat. In GLP ist jeder „Schreiber“ mit einem „Leser“ gepaart. Wenn Sie einem Schreiber einen Wert zuweisen, gelangt dieser sofort zum Leser, wie ein magischer Lieferdienst. Dies stellt sicher, dass nicht zwei Personen versuchen, denselben Block gleichzeitig zuzuweisen (was zu einem Absturz führen würde), und es ermöglicht dem System, komplexe, multidirektionale Gespräche mühelos zu bewältigen. Die Arbeit beweist mathematisch, dass dieses System perfekt funktioniert: Wenn zwei Gruppen von Menschen getrennt spielen, können sie später beginnen, zusammen zu spielen, ohne die Regeln zu brechen, und sie können neue Verbindungen schaffen, die keine der beiden Gruppen allein hätte machen können.

Wie es funktioniert: Die Magie der „Cold Calls“

Die Arbeit beschreibt, wie GLP mit dem schwierigen Geschäft der Verbindung von Fremden umgeht. In einer normalen App benötigen Sie ein zentrales Verzeichnis, um einen Freund zu finden. In GLP können Agenten (die digitalen Personen) „Cold Calls“ (Kaltakquise-Anrufe) tätigen. Dies ist wie das Anklopfen an eine Tür in einem Viertel, das man noch nie besucht hat. Man sendet eine Nachricht: „Hallo, ich bin Alice und ich habe einen speziellen Schlüssel (eine Variable) für dich.“ Wenn die Person am anderen Ende (Bob) annimmt, teilen sie nun diesen Schlüssel. Plötzlich sind Alice und Bob miteinander verbunden, und sie können direkt miteinander kommunizieren, ohne dass jemand anderes davon wissen muss.

Die Arbeit zeigt, dass dieses System „Grassroots“ ist, weil es zwei strengen Kriterien entspricht:

1. Unabhängigkeit: Alice und Bob können in separaten, nicht verbundenen Teilen des Netzwerks leben und dennoch ihre eigenen Programme perfekt ausführen. Sie benötigen keinen globalen Server, der ihnen sagt, was sie tun sollen.
2. Koaleszenz (Zusammenwachsen): Wenn sie beschließen, sich zu verbinden, können sie ihre Welten nahtlos verschmelzen. Sie können einander Charlie vorstellen und so eine Vertrauenskette schaffen, die natürlich wächst.

Die Autoren demonstrieren dies, indem sie einen „Social Graph“ (eine Karte der Freundschaften) mit GLP aufbauen. In diesem System können Sie eine Freundschaft beginnen, indem Sie einen Cold Call senden, oder ein gemeinsamer Freund kann zwei Fremde einführen, indem er ihnen einen gemeinsamen Kanal übermittelt. Sobald sie verbunden sind, können sie direkt Textnachrichten senden. Die Arbeit enthält Code-Beispiele, die zeigen, wie diese Interaktionen ablaufen, und beweist, dass das System sicher und zuverlässig ist.

Die KI-Revolution: Warum das jetzt wichtig ist

Dies ist der aufregendste Teil der Arbeit. Seit vierzig Jahren sind diese mächtigen „konkurrenten Logiksprachen“ zu schwierig für den Durchschnittsmenschen gewesen. Sie erforderten ein Maß an geistiger Akrobatik, das nur wenige Experten bewältigen konnten. Aber die Arbeit argumentiert, dass Künstliche Intelligenz (KI) das Spiel verändert hat.

Die Autoren beschreiben einen neuen Arbeitsablauf, bei dem Menschen und KI als Team zusammenarbeiten. Der Mensch liefert die hochrangige Idee (die „Spezifikation“), wie zum Beispiel: „Ich möchte ein soziales Netzwerk, in dem Freunde einander vorstellen können.“ Die KI nimmt dann diese Idee und schreibt den komplexen GLP-Code, prüft ihn auf Fehler und behebt sogar Bugs. Die Arbeit zeigt, dass die KI unglaublich gut darin ist. Sie kann eine mathematische Spezifikation in funktionierenden Code für Smartphones und Computer übersetzen. Tatsächlich erwähnen die Autoren, dass die KI bereits geholfen hat, Implementierungen von sozialen Graphen, Währungen und sicheren Wiederherstellungssystemen auf Basis dieser Ideen zu bauen.

Die Arbeit legt nahe, dass mit KI als „Hyper-Programmierer“ die Eintrittsbarriere für diese mächtigen Sprachen verschwindet. Wir können endlich die abstrakte, expressive Kraft der konkurrenten Logikprogrammierung nutzen, um eine wahrhaft demokratische, Grassroots-digitale Welt zu erschaffen. Die Arbeit behauptet nicht, alle Probleme der Welt gelöst zu haben, aber sie liefert den mathematischen Beweis und die funktionierenden Werkzeuge, um zu zeigen, dass eine faire, dezentrale und skalierbare digitale Zukunft möglich ist – und dass die KI der Schlüssel ist, um sie zu erschließen.