Forschung
Forschung zu Architektur, KI und verifizierbaren Systemen
AnyLAI ist die unabhängige Umgebung, in der ich diese Forschung entwickle und veröffentliche. Es ist ein nicht kommerzielles Forschungs- und Entwicklungsprojekt, kein Unternehmen.
AnyLAI umfasst vier Forschungslinien und eine Reihe angewandter Forschungssysteme.
Textbeschreibung des Diagramms
AnyLAI ist das F&E-Projekt. Es umfasst COADF, ein veröffentlichtes Framework; ERQYO, eine Laufzeitarchitektur mit Referenzimplementierung; die Trust Architecture, eine umgesetzte Plattformarchitektur; die Open Template Library, ein Pilotkatalog; und angewandte Forschungssysteme, die auf der Seite „Projekte“ beschrieben sind.
Zwei Websites, zwei Zwecke
Diese Website handelt von mir: von meinem beruflichen Weg, meiner Arbeitsweise und einem Überblick über die Forschung und darüber, wie ihre Teile zusammenhängen.
anylai.eu ist das Labor: die Frameworks in voller Länge, die Demonstrationen, die Texte zur Regulierung und die Nachweise hinter jeder Aussage. Wenn Sie Details suchen, verweist Sie diese Website dorthin.
AnyLAI
Unabhängiges F&E-Projekt“Wie lassen sich KI-Systeme so bauen, dass ihre Entscheidungen kontrolliert, belegt und überprüfbar bleiben?”
Das unabhängige F&E-Projekt, das die Forschung, ihre Demonstrationen und ihre Veröffentlichungen bündelt.
AnyLAICOADF
Veröffentlichtes Framework“Was braucht es, damit KI-Governance in der Architektur trägt und nicht nur in einer Richtlinie?”
Ein veröffentlichtes Framework, um KI-gestützte Software unter expliziter Governance zu bauen: acht Prinzipien, ein Kontrollmanifest und Fences, die in der CI erzwungen werden.
COADFERQYO
Referenzimplementierung · nicht produktiv betrieben“Wie kann ein System lernen, wann es handeln sollte, ohne je zu lernen, dass es handeln darf?”
Eine Laufzeitarchitektur, in der gelernter Rhythmus einen Vorschlag prägen darf, während maßgebliche Randbedingungen über die Ausführung entscheiden.
ERQYOTrust Architecture
Umgesetzte Plattformarchitektur“Was muss mit den Daten mitreisen, damit Vertrauen eine Übergabe zwischen Organisationen übersteht?”
Provenienz, Nachweise, Konfidenz, Befugnis und Audit, so angeordnet, dass sich Vertrauen an jeder Grenze prüfen lässt.
Trust ArchitectureOpen Template Library
Pilotkatalog · Prototyp“Kann eine semantische Quelle in maschinenlesbarer, KI-lesbarer und menschenlesbarer Form konsistent bleiben?”
Ein Pilotkatalog von Umsetzungsvorlagen, jede einmal als Quelle geschrieben und daraus für Maschinen, KI-Werkzeuge und Menschen erzeugt. Fünf sind veröffentlicht.
Open Template Library
Angewandte Forschungssysteme
Erprobt wird die Forschung in angewandten Systemen: einer Umgebung für digitale Produktpässe, einem Demonstrator für Audit-Nachweise, einer früheren angewandten Implementierung und sechs Prototypen auf einem gemeinsamen Kernel.