Formalisierung
Formalisierung heißt, eine Aussage oder Aufgabe aus der Alltagssprache in eine streng eindeutige Schreibweise zu übersetzen, etwa in eine mathematische Formel oder in Regeln, die ein Computer prüfen kann. Sie ist die Voraussetzung dafür, dass Maschinen mit einem Problem überhaupt rechnen können.
Alltagssprache ist ungenau. Der Satz “Große Zahlen sind schwer zu teilen” lässt viele Deutungen zu. Was heißt groß, was heißt schwer? Formalisierung bedeutet, so eine Aussage in eine Form zu bringen, die nur noch eine einzige Deutung erlaubt. Meist ist das eine Formel, eine Gleichung oder eine Liste klarer Regeln. Man verliert dabei etwas Reichtum der Sprache und gewinnt Eindeutigkeit. Genau diese Eindeutigkeit braucht eine Maschine, denn sie kann nicht erraten, was gemeint war.
Warum das wichtig ist
Ein Computer prüft keine Absichten, sondern Zeichen. Solange ein Problem nur in Worten beschrieben ist, kann er nichts damit anfangen. Erst die formale Fassung macht es berechenbar, beweisbar oder überprüfbar.
Das betrifft weit mehr als Mathematik. Ein Gesetz zur Vorratsdatenspeicherung ist in Worten formuliert. Wer es in Software gießt, muss jede unklare Stelle entscheiden. Dabei fallen Widersprüche auf, die vorher niemand gesehen hat. Formalisierung ist deshalb auch ein Werkzeug zum Nachdenken, nicht nur zum Programmieren.
Gleichzeitig liegt hier eine typische Fehlerquelle. Wenn die formale Fassung das ursprüngliche Anliegen verfehlt, rechnet das System korrekt am falschen Problem. Der Fehler steckt dann nicht im Code, sondern in der Übersetzung davor.
Wie es funktioniert
Der erste Schritt ist die Festlegung der Begriffe. Man benennt die Dinge, um die es geht, und die Eigenschaften, die zählen. Bei einem Stundenplan wären das Klassen, Räume, Lehrkräfte und Zeitfenster.
Der zweite Schritt sind die Bedingungen. Was muss gelten, was ist verboten? Ein Raum darf nicht doppelt belegt sein, jede Klasse braucht genau eine Mathematikstunde am Tag. Solche Sätze schreibt man als präzise Regeln, oft mit Symbolen für “und”, “oder”, “für alle” und “es gibt”.
Der dritte Schritt ist das Ziel. Was soll möglichst gut werden? Wenige Freistunden zum Beispiel. Erst wenn Begriffe, Bedingungen und Ziel feststehen, kann ein Programm systematisch nach Lösungen suchen.
Ein Vergleich hilft: Formalisierung ist wie eine Bauzeichnung aus einem Gespräch mit dem Bauherrn. Das Gespräch enthält Wünsche und Andeutungen. Die Zeichnung enthält Maße in Millimetern. Nur mit der Zeichnung kann jemand bauen, der beim Gespräch nicht dabei war.
Wo man dem Begriff begegnet
In KI-Nachrichten fällt das Wort häufig bei Modellen, die Mathematik können sollen. Systeme wie AlphaProof arbeiten mit formalen Beweissprachen, etwa Lean. Dort ist jeder Schritt maschinell nachprüfbar. Die eigentliche Hürde ist oft, eine Wettbewerbsaufgabe überhaupt in diese Sprache zu übersetzen. Das nennt man Autoformalisierung, wenn eine KI diese Übersetzung selbst übernimmt.
Auch bei Regulierung tauchen Formalisierungen auf. Der KI-Gesetzgebung der EU folgen technische Normen, die vage Begriffe wie “hohes Risiko” in prüfbare Kriterien überführen. Erst dann wissen Unternehmen, was sie testen müssen.
Im Alltag begegnet dir das Prinzip in jedem Formular. Ein Antrag zwingt dich, Wünsche in Felder und Ankreuzkästchen zu pressen. Das ist unbequem und manchmal ungerecht, aber es macht die Bearbeitung überhaupt erst möglich. Formalisierung hat immer diesen Preis: Klarheit gegen Nuance.