Agentengesteuerte Laufzeit-Normensynthese

Um die Zweckmäßigkeit zu erhalten, muss sich das Normenset, das ein Multi-Agenten-System (MAS) regelt, typischerweise weiterentwickeln, um den sich ändernden Bedürfnissen sowohl der Teilnehmer als auch der Umwelt gerecht zu werden. Wir schlagen einen konzeptionellen Rahmen vor, um dieses Problem zu adressieren, bestehend aus dynamischen Institutionen (Normensätzen), die von der Formulierung neuer Normen und der Überarbeitung bestehender Normen abhängen, informiert durch die Erfahrungen der im MAS teilnehmenden Agenten. Ziel ist es, den teilnehmenden Agenten zu erlauben, die Überarbeitung der Normen, die das MAS regeln, zu beeinflussen und damit einen ersten Schritt hin zu einer anpassungsfähigen Selbstverwaltung soziotechnischer Systeme durch explizite Normen zu machen. Dieses Papier schlägt einen neuartigen Rahmen vor, um die Normen einer formal spezifizierten Institution zur Laufzeit zu überarbeiten, gesteuert durch die Agenten im MAS. Der Rahmen nutzt speziell entwickelte Syntheseagenten mit partieller Beobachtbarkeit des Zustands des MAS, um neue Normen zu formulieren oder bestehende Normen zu überarbeiten, als Reaktion auf Anfragen von Agenten zu Änderungen der Institution. Zur Demonstration der Machbarkeit fassen wir einen Satz von Normen mit der institutionellen Spezifikationssprache InstAL zusammen und überarbeiten diese Normen mithilfe des symbolischen maschinellen Lernsystems XHAIL. Aufbauend auf Sergots Raum-Szenario als Fallstudie zeigen wir, wie Normen synthetisiert werden können, die Laufzeit-institutionelle Konflikte lösen, und damit die Lebensfähigkeit einer Methode für dezentralisierte agentengesteuerte laufzeitliche (Online-)Revision expliziter Normen etablieren.