Ein starker Anstieg der Repräsentationskomplexität, der Rechenkosten oder der Modellanzahl, der auftritt, wenn ein zuvor gutartiger logischer Fragment durch zusätzliche Operatoren, Konstrukte oder gelockerte syntaktische Beschränkungen erweitert wird.

Prinzip

Fragmente sind Teilmengen einer logischen Sprache, die wegen gewünschter Metaeigenschaften (Entscheidbarkeit, geringe Komplexität) gewählt werden. Die Erweiterung eines Fragments durch Funktionen (Quantorenwechsel, transitive Hülle, Zählquantoren, höhere Aritätsrelationen) kann diese Garantien brechen und eine Aufblähung bei Erfüllbarkeitsprüfungen, Modellgrößen oder Komplexität des Schließens verursachen.

Demonstration

Ausgehend von einem bewachten Fragment mit vorhersehbarer Entscheidungsverfahren kann das Hinzufügen uneingeschränkter binärer transitiver Relationen oder bestimmter Zählquantoren die Erfüllbarkeit in diesem Fragment von polynomial/entscheidbar zu unpraktisch oder unentscheidbar verschieben. Ein anschauliches Beispiel ist eine Erweiterung, die viele interagierende Abhängigkeiten und exponentiell viele Zeugen einführt.

Fehlanwendung

Davor auszugehen, dass jede bescheidene syntaktische Erweiterung die Eigenschaften des ursprünglichen Fragments erhält, ohne dies zu beweisen, oder die Werkzeugverlangsamung der Fragmentaufblähung zuzuschreiben, wenn das eigentliche Problem schlechtes Grounding oder fehlerhafte Kodierungsentscheidungen sind.

Konsequenz

Das Bewusstsein für Fragmentaufblähung beeinflusst Sprachdesign und veranlasst entweder strengere Fragmentdisziplin, Funktionsbeschränkungen oder die Nutzung von Approximation und Modularisierung; es motiviert die Suche nach engen Grenzen der Traktabilität.

Umkehrung

Würde jede Erweiterung eines Fragments dessen handhabbares Verhalten bewahren, könnten Designer frei expressive Features hinzufügen, ohne Entscheidbarkeit oder Performance zu gefährden, was Sprachentwicklung und Tool-Interoperabilität stark vereinfachen würde.

Abgrenzung

Bezieht sich auf spezifische Fragmente und die konkret hinzugefügten Operatoren; schließt pauschale Aussagen über ganze Logikfamilien aus und hängt von feinkörnigen syntaktischen und semantischen Wechselwirkungen zwischen Konstruktoren ab.

Semantische Spannung

Steht im Konflikt mit dem Wunsch nach Ausdruckskraft: Anwender wollen reichere Sprachen zur kompakten Darstellung, Theoretiker wollen Fragmente mit vorhersehbarem Verhalten; die Spannung liegt in der Auswahl akzeptabler Kompromisse.

Synthese

Fragmentaufblähung beschreibt, wie moderate Erweiterungen eines sorgfältig gewählten logischen Fragments dessen günstige rechnerischen Eigenschaften plötzlich zerstören können, was Sprünge in Komplexität und Modellvielfalt zur Folge hat und ein Umdenken bei Sprachfeatures und Engineering-Praktiken erfordert.