Der Begriff der Polykontexturalität stammt vom deutschen Philosoph Gotthard Günther, der ihn in den 1970er Jahren eingeführt hat. Ich interpretiere einen Kontext als die Gesamtheit der Erfahrungen, Überzeugungen, Glaubenssätze, Fähigkeiten, Hoffnungen, Wünsche, etc. eines Individuums oder einer Organisation. Günther führte auch den Begriff der Transjunktion ein - dass sich Kontexte gegenseitig beobachten und anpassen - und baute eine Ontologie der Logik darauf auf. Das fordert mich als Mathematiker heraus.

Modellierung meiner Vorstellung von Polykontexturalität

Ich habe Günther nicht studiert und kenne ihn nur aus Sekundärliteratur. Ich frage mich aber, ob sein Rückgriff auf Fichte, Schelling und Hegel und Anlehnung an Spencer-Brown seinen Ansatz nicht stellenweise in eine stark spekulative und für den heutigen Leser schwer zugängliche Richtung führt.
Im Folgenden präsentiere ich einen eigenen Weg zur Polykontexturalität und verwende Günthers Ideen als Impulse, möchte aber nicht den Anschein erwecken, dass mein Weg etwas mit Günthers originären Ideen zu tun hat.

• Zunächst modelliere ich Kontexte mit kubischen Mengen.
• Kubische Mengen sind (kontravariante) Funktoren von der kubischen Kategorie in die Kategorie der Mengen.
• Der Begriff der Kategorien bezeichnet eine grundlegende mathematische Struktur, die aus Objekten und Morphismen besteht.
• Man kann sich Kategorien wie einen Graph vorstellen, mit Punkten und Pfeilen zwischen den Punkten.
• Wenn der Graph einen Pfeil vom Punkt A zum Punkt B und einen anderen Pfeil vom Punkt B zum Punkt C hat, dann gibt es in der entsprechenden Kategorie stets auch einen Pfeil von A nach C.
• Zu jedem Punkt gibt es stets auch einen Identitätspfeil, der aber nicht als Loop begriffen werden darf.

Würfelspiele

• Die kubische Kategorie enthält zu jeder natürlichen Zahl n genau ein Objekt eines n-dimensionalen Würfels.

• “Unten” ist es einfach:

  • Ein 3-dimensionaler Würfel ist einfach ein Würfel, wie wir ihn als Spielwürfel kennen.
  • Ein 2-dimensionaler Würfel ist ein Quadrat.
  • Ein 1-dimensionaler Würfel ist ein Pfeil zwischen zwei Punkten. Der 1-dimensionale Würfel ist besonders wichtig. Wir bezeichnen ihn als $I$ (für “Intervall”).
  • Ein 0-dimensionaler Würfel ist ein Punkt.

• Jeder n-dimensionale Würfel hat (n-1)-dimensionale Würfel als Ränder.

• Beispiele: Der 1-Würfel hat zwei Punkte als Ränder, der 2-Würfel (das Quadrat) hat vier 1-Würfel als Ränder. Der 3-Würfel hat sechs 2-Würfel als Ränder, etc.

Von den Hyperwürfeln zun den Kubischen Mengen

• Ein Funktor ordnet jedem n-dimensionalen Würfel eine Menge von n-dimensionalen Würfeln zu und übernimmt entsprechend alle Randpfeile.

Beispiel

Wenn der Funktor dem 1-Würfel die Menge, die aus drei 1-Würfel besteht zuordnet, muss er auch die Randzuordnungen beschreiben. Z.B. so:

• 1-Würfel —-> {X, Y, Z} (X, Y und Z sind 1-Würfel)
• 0-Würfel —-> {A, B, C} (A, B und C sind Punkte)
• Rand von X sind die Punkte A und B
• Rand von Y sind die Punkte A und C
• Rand von Z sind die Punkte B und C

etwa so:

 

Ein wunderliches Städtchen mit vielen Ecken, Nischen und beleuchteten Fenstern

Jetzt stellen Sie sich vor, unser Funktor ordnet auch den 2-, 3-, 4-dimensionalen Würfeln solche Mengen und Randabbildungen zu und nicht nur mit drei Elementen pro Menge, sondern mit tausenden! Was für ein Gebilde entsteht dabei?

Mich erinnert es an eine verwinkelte Stadtanordnung, mit vorstehenden und einspringenden Hausecken, zick-zack-gebogenen Gässchen, Erkern und gewagten Hausarchitekturen.

Genau das ist ein Kontext oder eine Kontextur. Die Häuser und Räume sind die Orte Ihrer Erfahrungen, Wünsche, Glaubenssätze und Überzeugungen.

Wir können uns sogar noch vorstellen, es wäre dunkel und da und dort dringt Licht aus Fenstern. Die Räume mit beleuchteten Fenstern könnte man als den Sitz von denjenigen ihrer Überzeugungen bezeichnen, die von einer grossen Anzahl Mitmenschen geteilt wird.

Die Räume, die dunkel bleiben, wären der Ort von eher fragwürdigen Überzeugungen.

Die Stadtlogik

Jetzt kommt das Faszinierende: In diesen kubischen Mengen gibt es eine natürliche Logik! Ich möchte das an einem ganz einfachen Beispiel zeigen.

Nehmen wir das “Städtchen”, das aus dem Intervallgraphen $I$ besteht, d.h. zwei Punkte A und B und einen Pfeil von A nach B. Das ergibt natürlich kein Städtchen, sondern nur ein armseliges, flaches und niederes Häuschen mit je einer Türe vorne und hinten.

Unterobjekte

Jetzt bestimmen wir die Unterobjekte von $I$! Es gibt deren fünf:

• Die Menge, die nur den Punkt A enthält, ist gewiss ein echtes Unterobjekt.
• Die Menge, die nur den Punkt B enthält.
• Selbstverständlich auch die Menge, die beide Punkte enthält.

Und wo sind die anderen zwei Unterobjekte?

• Das eine ist der volle Intervallgraph $I$ selber.
• Das andere ist die leere Menge.

Keine Diskussion! Das sind Unterobjekte, da gibt es nichts zu rütteln. Vielleicht möchten Sie jedoch noch das Unterobjekt einbringen, das bloss den Pfeil enthält? Aber nein, ein Pfeil kann nicht isoliert bestehen. Er braucht stets einen Anfangs- und einen Endpunkt.

Logische Verbände

Jetzt ordnen wir diese fünf Unterobjekte mal sauber an. Man nennt das, was wir bekommen, einen Verband:

• Die leere Menge, genannt Falsum und mit $\bot$ bezeichnet, ist zuunterst und je in den einelementigen Mengen enthalten.
• Jede der einelementigen Menge ist in der zweielementigen Menge enthalten.
• Die zweielementige Menge ist in $I$ enthalten, den wir auch Verum ($\top$) nennen.

Die Logik entsteht, wenn wir $\top$ ist wahr, $\bot$ ist falsch und dazwischen sind Aussagen, mit denen wir logische Formeln bilden können.

UND $\land$ und ODER $\lor$

• Die Konjunktion ${A} \land {B}$ das, was unter beiden gemeinsam steht, hier $\bot$.
• Die Disjunktion ${A} \lor {B}$, was über beiden gemeinsam steht, hier ${A,B}$.
• Gratis erhalten wir gleich noch eine Ordnungsrelation, denn nach einer Idee von Leibnitz kann man setzen: ${A} \le {A,B}$ falls ${A} \land {A,B}={A}$, was hier tatsächlich der Fall ist.

Jetzt werden Sie wohl fragen: “Was ist mit der Negation und der Implikation?”.

• Die Implikation definiert man über eine universelle Eigenschaft: $P \Rightarrow Q$ als das grösste Element $R$, für das gilt $P \land R \le Q$. Das heisst: In $P \Rightarrow Q$ ist $Q$ stets ein guter Anwärter für das Element, das $P \Rightarrow Q$ repräsentiert. Aber wenn Sie von $Q$ aus noch zu einem höheren Element steigen können, ohne, dass es von $P$ aus erreichbar ist, dann ist das ein noch besseres Element, um die Implikation zu repräsentieren.

• Und was ist mit der Negation? $\lnot P$ liegt offensichtlich vor, wenn aus P das Falsum $\bot$ folgt, also $\lnot P := (P \Rightarrow \bot)$. Und wie die Implikation definiert ist, wissen Sie bereits.

Verneinung

Testen wir das in unserem Beispielverband:

• Wir wollen die Negation von ${A}$ berechnen.
• Dazu müssen wir ${A} \Rightarrow \bot$ bilden.
• $\bot$ ist ein guter Anwärter, aber können wir von $\bot$ aus noch höher steigen, ohne von ${A}$ aus erreichbar zu werden?
• Ja! Wir können zu ${B}$ steigen. ${B}$ ist von ${A}$ aus nicht erreichbar. Ist also ${B} = \lnot {A}$?
• Testen wir: Ist ${A} \land {B} \le \bot$? Ja, klar! ${A} \land {B} = \bot$. Damit ist ${B} = \lnot {A}$.

Flache Erde?

Beachten Sie jetzt:

• Sei ${A}$ die Aussage “Die Erde hat annähernd die Form eine Kugel”.
• Dann ist ${B}$ die negierte Aussage und lautet: “Die Erde hat nicht im Geringsten die Form einer Kugel”.
• Die Aussage $B$ ist hier die Interpretation des im Verband berechneten $\neg A$; ich will nicht behaupten, dass jede sprachlich formulierte Negation in der Welt automatisch genau diesem Unterobjekt entspricht.
• Was ist in unserem Verband ${A} \lor \lnot {A}$?
• Das ist ${A} \lor {B} = {A,B}$ und nicht $\top$! Das bedeutet

Es ist falsch zu behaupten: Entweder hat die Erde eine Kugelform oder sie hat keine Kugelform.

Man sagt, das Gesetz des ausgeschlossenen Dritten ist verletzt!

Diese Logik gilt also innerhalb einer kubischen Menge, die ausschaut wie eine Kontextstadt. Es ist die Logik, die in Ihrem Leben relevant ist! (verabschieden Sie sich also endlich vom Gesetz des ausgeschlossenen Dritten!).

Weiterentwicklungen

Günther’s Schüler, der Schweizer Philosoph Rudolf Kaehr, hat mit dem mathematischen Werkeug der Fibrationen Günthers Logik weiter entwickelt. Günthers und Kaehrs idiosynkratische Formalismen sind aus heutiger Sicht schwer zugänglich, mathematisch ungewöhnlich und nicht in die etablierte mathematische Sprache eingebettet.

Ich gehe daher einen anderen Weg, der mir mehr liegt.
Kubische Mengen liefern tatsächlich eine sehr natürliche mathematische Realisierung von „vielen lokalen Logiken“, ohne dass man dafür Kaehrs wesentlich schwerfälligere Metasprache übernehmen muss. Die lokale Logik ist nicht global einfach dieselbe Logik.

Transjunktionen: die stadtübergreifenden Handelsbeziehungen

Aber Günther verlangt mit seinen Transjunktionen mehr. Transjunktionen fordern eine Dynamik zwischen den Kontexturen. Wie will man diese beschreiben?

1989 hat die talentierte brasilianische Mathematikerin, Valeria de Paiva, eine bemerkenswerte Dissertation vorgelegt, die

das Konzept der Dialekträume [einführte], eine neue
Methode zur Konstruktion von Modellen der linearen Logik, einer logischen Form, die in Bereichen wie Linguistik, Programmiersprachen und Quantenphysik Einfluss hat[te].

— Wikipedia

Dialektika - eine Kategorie dialektischer Strukturen

Für mich ist der geniale Kniff der Dialekträume oder Dialectica Kategorien , dass sie den Kern der Polykontexturalität - so wie ich sie interpretiere - in ihre elementarste Definition “eingebacken” haben:

• Kein allwissender Beobachter: Günthers Polykontexturalität erfordert ein laterales, gleichberechtigtes Nebeneinander von Kontexten, die lokal miteinander verhandeln. In einer Dialectica-Kategorie gibt es keinen globalen Wahrheitswert, der von oben herab urteilt.
• Strukturelle Bidirektionalität: Die Pfeile (Morphismen) einer Dialectica-Kategorie erzwingen, dass jede Aktion eine Reaktion bedingt. Wenn ein Kontext $B$ den Kontext $A$ durch $f$ “beobachtet”, wird $B$ zwingend dazu verdonnert, seine eigenen Testkriterien durch $F$ in die Realität von $A$ zurückzuübersetzen.

Dieser Vorwärts-Rückwärts-Mechanismus $(f, F)$ ist exakt das formale Skelett des “aufeinander Zugehens”. Die Transjunktion ist keine zusätzliche Operation, die man künstlich aufpfropfen muss – sie ist die Morphismus-Bedingung selbst.

Technischer Ausflug in das Innere einer Dialaktika-Kategorie

Ich möchte nicht sehr tief in die Mechanik von Dialectica-Kategorien eintauchen, aber einen schnellen Überblick geben, damit Sie sehen, worum es geht:

• $A$ ist eine Teilmenge des Produkts zweier kubischer Mengen $U$ und $X$.
• Man nennt so etwas auch eine Relation.
• $A$ besteht aus allen Hyperwürfeln aus $U$, die mit Hyperwürfeln aus $X$ in Relation stehen.

Die Objekte der Kategorie

• Eine solche Relation schreibt man kurz als $(U,X,R_A)$, und das ist ein Objekt einer Dialectica-Kategorie.
• $(V,Y,R_B)$ ist ein anderes Objekt.

Die Morphismen der Kategorie

Ein Paar von Morphismen $(f,F)$ zwischen den kubischen Mengen $f: U \rightarrow V$ und $F: U \times Y \rightarrow X$ ist ein Morphismus zwischen $(U,X,R_A)$ und $(V,Y,R_B)$ in der Dialectica-Kategorie, wenn gilt:

$(u,F(u,y)) \in R_A \Rightarrow (f(u),y) \in R_B$.

Semantik

Oft wird $U$ als Hypothesen oder Theorien interpretiert und $X$ als Gegenargumente, die versuchen, die Hypothesen zu erschüttern. In einer anderen Interpretation ist $U$ ein Problemkatalog und $X$ sind Antworten darauf. Wenn $(u,x)$ in der Relation stehen, dann “gewinnt” $u$ gegen $x$, andernfalls kann sich $u$ nicht halten.

Die Logik der Güntherschen Transjunktionen

Ein Wort noch zu der Linearen Logik, die durch die Dialectica Kategorien eingeführt und zu der Logik der Güntherschen Transjunktionen wird.

Eine Logik der Ressourcen

Die Lineare Logik ist eine 1987 von Jean-Yves Girard eingeführte substrukturelle Logik, die Aussagen nicht als ewige Wahrheiten, sondern als Ressourcen behandelt. Während in der klassischen Logik eine Annahme beliebig oft wiederverwendet oder ignoriert werden kann, muss in der linearen Logik jede Annahme exakt einmal verwendet werden.

Wikipedia schreibt:

In Bezug auf einfache Denotationsmodelle kann die lineare Logik als Verfeinerung der Interpretation der intuitionistischen Logik angesehen werden, indem kartesische (geschlossene) Kategorien durch symmetrische monoide (geschlossene) Kategorien ersetzt werden.

In einer Workshop-Präsentation von 2022 erzählt Valeria da Paiva, wie sie auf symmetrisch geschlossene Kategorien gekommen ist. Ihr Doktorvater,

Martin Hyland suggested that to provide a categorical model of the
Dialectica Interpretation, one should look at the functionals
corresponding to the interpretation of logical implication.
I looked and instead of finding a cartesian closed category, found a monoidal closed one. Thus the categories in my thesis proved to be models of Linear Logic.

Logik als Buchhaltung

In der Linearen Logik können Voraussetzungen und Annahmen nicht verdoppelt oder nicht beachtet werden. Es sind Ressourcen.
$A \Rightarrow A \times A$ und $A \land B \Rightarrow A$ sind nicht gültig. Zudem gibt es je zwei Interpretationen der Konjunktion und der Disjunktion.

• Die multiplikative Konjunktion, $A \otimes B$, genannt tensor: Sie müssen beides nehmen und beides bezahlen.
• Die additive Konjunktion, $A \& B$, genannt with: Beides ist angeboten, aber Sie müssen sich für eines von beiden entscheiden. Beides erhalten Sie nicht.
• Die multiplikative Disjunktion, $A ⅋ B$, genannt par: Wenn Sie A nicht wollen, können Sie es jemandem anbieten. Finden Sie keinen Abnehmer, dann müssen Sie B nehmen.
• Die additive Disjunktion, $A \oplus B$, genannt plus: Wie die additive Konjunktion, nur dass nicht Sie auswählen, sondern das System.

Das war jetzt alles etwas technisch. Zum Ausgleich erzähle ich

Die Geschichte, wie es zu den Dialectica-Kategorien kam

Hilberts Doppelrolle: Das Paradies vs. das Werkzeug

• David Hilbert wollte das klassische „Paradies“ der infiniten Mathematik (Cantors Mengenlehre, überabzählbare Unendlichkeiten, den Satz vom ausgeschlossenen Dritten) keineswegs abschaffen. Aber um dieses Paradies gegen Anfechtungen wie die Russellsche Antinomie absolut sicher zu machen, erfand er das Hilbert-Programm.

Und hier kommt die Weiche:

• Das Objekt (Die ideale Mathematik): Das ist die unendliche, klassische Mathematik, die Hilbert lieben und behalten wollte.
• Die Methode (Metamathematik / Das Hilbert-Programm): Um zu beweisen, dass diese unendliche Mathematik widerspruchsfrei ist, forderte Hilbert eine extrem strenge, finitistische Metamathematik (den sogenannten finiten Standpunkt).
• Hilbert argumentierte: Wir dürfen unendliche Begriffe in Beweisen verwenden, aber der Beweis der Widerspruchsfreiheit selbst muss rein finit sein – also auf der handfesten Manipulation konkreter, endlicher Zeichenketten basieren, die ein Grundschüler nachvollziehen könnte.

Wo Gödel ins Spiel kam

• 1931 (Unvollständigkeitssatz): Gödel nutzte Hilberts eigene, streng finite Metamathematik (Arithmetisierung/Gödelisierung), um zu zeigen: „Mit Hilberts absolut strikten, finiten Mitteln lässt sich die Widerspruchsfreiheit der Arithmetik nicht beweisen.“ Gödel zertrümmerte damit nicht Hilberts Wunsch nach Sicherheit, sondern Hilberts Überzeugung, dass rein finite Mittel dafür ausreichen.
• 1958 (Dialectica-Interpretation): Gödel war weder ein radikaler Intuitionist noch ein sturer Klassiker, sondern dachte tief konstruktiv und platonisch zugleich. Er fragte sich: Wie weit müssen wir Hilberts finiten Standpunkt erweitern, um den Konsistenzbeweis doch noch zu retten?

Das Gödel-Theorem von 1958

• Um die Arithmetik vollständig abzusichern, reichen einfache Zahlen-Berechnungen nicht aus. Man braucht Funktionale höherer Ordnung (Funktionen, die Funktionen als Argumente nehmen). Seine Gedanken veröffentlichte Gödel in der internationalen philosophischen Zeitschrift Dialectica, die in der Schweiz herausgegeben wird. Von da hat sein Ansatz auch den Namen übernommen.

Ein Beispiel von Polykontexturalität in der Künstlichen Intelligenz

Zum Schluss noch ein Hinweis auf die Bedeutung der Polykontexturalität für Künstliche Intelligenz. Ich lasse die KI selbst zu Wort koimmen. Folgender Text ist also KI-generiert:

Beispiel eines selbstständig fahrenden Autos.

• Die KI erhält von den Sensoren zwei Hinweise:

  • 1. “starke Schlagschatten auf der Fahrbahn” und
  • 2. “Person voraus auf der Fahrbahn”.

• Die KI muss entscheiden, ob sie eine Vollbremsung einleiten soll oder nicht. Wie könnten wir das Szenario in die Dialektika Notation einpassen? Was wäre A und B? Was würden wir als u, was als U, X, Y, V, codieren?

1. Das Setup: Die beiden Welten (Kontexte)

• Wir teilen die Situation in zwei Ebenen / Kontexte auf:
• Ebene A (Sensorik / Wahrnehmung): Die Welt der Rohdaten, Bildanalysen und optischen Phänomene.
• Ebene B (Aktion / Sicherheit): Die Welt der Handlungsentscheidungen (Bremse auslösen) und physikalischen Konsequenzen (Kollision vs. Verkehrsfluss).
• Ein Morphismus $m \colon A \to B$ ist hier das Sicherheits-Protokoll der KI: Es garantiert, dass die Handlungsentscheidung ($B$) genau dann stichhaltig ist, wenn die Wahrnehmungsanalyse ($A$) einem Härtetest standhält.

2. Kodierung in Dialectica-Objekte

Objekt $A = (U, X, R_A)$ — Die Wahrnehmungsebene

• $U$ (Menge der Wahrnehmungs-Hypothesen): Ein Element $u \in U$ ist ein konkretes Analysemodell der Kamera-/Radar-Daten.

  • Beispiel: „Das Objekt ist eine reale Person (3D-Körper) und kein bloßer Schlagschatten.“

• $X$ (Menge der optischen Störfaktoren / Sensor-Herausforderungen: Ein Element $x \in X$ ist eine physikalische/optische Bedingung, die das Bild verfälschen kann.

  • Beispiel: „Extremer Sonnenstand / Licht-Schatten-Kontrast am Tunnelausgang.“

• $R_A \subseteq U \times X$ (Die Validitäts-Relation):
  $u$ ~ $x$ bedeutet: „Hypothese $u$ bleibt selbst unter den Störbedingungen $x$ stabil/korrekt.“

Objekt $B = (V, Y, \beta)$ — Die Handlungsebene

• $V$ (Menge der Handlungs-Befehle): Ein Element $v \in V$ ist ein Steuerbefehl an die Aktoren.

  • Beispiel: „Vollbremsung sofort einleiten.“

• $Y$ (Menge der Sicherheits-Gefahren / Kritiken aus der Realwelt): Ein Element $y \in Y$ ist ein reales Gefahrenszenario oder eine Fehlentscheidungskritik.

  • Beispiel: „Unnötige Gefahrenbremsung provoziert Auffahrunfall des nachfolgenden LKW.

• $R_B \subseteq V \times Y$ (Die Sicherheits-Relation): $v$ ~ $y$ bedeutet: „Aktion $v$ ist gegenüber der Gefahr $y$ gerechtfertigt.“

3. Der Morphismus $m = (f, F)$: Die Logik der KI

Der Morphismus übersetzt die Wahrnehmung in Handlung und prüft Risiken rückwärts.

Vorwärts: $f \colon U \to V$ (Die Entscheidungslogik)

$f$ ist die Regelfunktion der KI: $f(u) = v$. Bedeutung: „Wenn die Wahrnehmung $u$ ergibt („Person voraus“), wähle die Aktion $v$ („Vollbremsung“).“

Rückwärts: $F \colon U \times Y \to X$ (Der Stresstest / Risikocheck)

Jetzt kommt das Dialectica-„Wunder“: $f$ nimmt die Handlungshypothese $u$ („Person“) und die drohende Realgefahr $y$ („Auffahrunfall durch Grundlos-Bremse“) und berechnet daraus den kritischen Sensor-Test $x = F(u, y)$.

• Bedeutung: $f$ fragt: „Unter welchen konkreten Licht- und Schattenbedingungen $x$ würde meine Hypothese ‚Person‘ ($u$) so wackeln, dass eine Vollbremsung fahrlässig wäre, weil sie einen echten Auffahrunfall ($y$) riskiert?“
• Ergebnis von $x$: Z. B. ein gezielter Filtertest: „Prüfe, ob die Kontur des Objekts bei dynamischer Helligkeitskorrektur $x$ eine 3D-Kante behält.“

4. Die Dialectica-Bedingung im Auto

Die Bedingung $u$ ~ $F(u,y) \implies f(u)$ ~ $y$ liest sich für die KI nun so:

• „Wenn die Wahrnehmung $u$ („Person“) stark genug ist, um selbst den extremen Licht/Schatten-Härtetest $x = F(u, y)$ zu bestehen ($u$ ~ $x$), DANN ist die Vollbremsung $f(u)$ garantiert die richtige und gerechtfertigte Entscheidung ($f(u)$ ~ $y$), selbst wenn sie das Risiko $y$ eines Auffahrunfalls birgt.“

Was zeigt uns das für die Polykontexturalität?

• In einer rein unimodalen/monokontexturalen KI würde man einfach Wahrscheinlichkeiten verrechnen: $P(\text{Person}) = 0.6 \implies \text{Bremse!}$

• In einem polykontexturalen Dialectica-Modell: Kontext-Trennung

  • Wahrnehmungs-Artefakte ($X$) und Handlungs-Konsequenzen ($Y$) bleiben getrennt.
  • Kompensation statt Überdeckung: Die KI muss nicht „hoffen“, dass der Schatten kein Mensch ist. Sie nutzt die drohende Konsequenz ($y$: Auffahrunfall), um gezielt nach dem spezifischen Schatten-Test ($x$) zu suchen.
  • Reflexivität: Das Fahrzeug nutzt die Handlungs-Gefahr, um seine eigene Sensorik im selben Augenblick einer gezielten Prüfung zu unterziehen.