In dieser Sitzung haben wir uns mit Fuzzy Implikationen auseinandergesetzt. Diese werden generell in Abhängigkeit von gegebenen t-Normen charakterisiert. Es gilt attraktive Beziehungen zwischen Konjunktionen und Implikationen herzustellen. Eine solche Beziehung ist etwa die zwischen: und Intuitiverweise könnten man erwarten, dass beide Aussagen in einer gegebenen Interpretation denselben Wahrheitswert haben sollten:
- Falls dann, falls (auch noch) dann .
- Falls und , dann .
Um solche Zusammenhänge herzustellen, wird in Fuzzylogiken die (Wahrheitsfunktion der) Implikation als sogennantes Residuum einer gegebenen t-Norm definiert. Diese ist eine Funktion , die folgendes Bikonditional erfüllt: für alle
Interessanterweise, gibt es für eine bestimmte Klasse von t-Normen (nämlich links-stetigen zu der etwa die Gödel, die Lukasiewicz und die Produktnorm gehören) eine eindeutige Funktion, die das Bikonditional erfüllt, nämlich:
Aus dieser Definition folgt sogleich, dass für den Fall in dem , der Wert von ist. Der Grund ist, dass in diesem Fall das maximale für das die 1 ist, da und (Beachte, dass mit der Monotonität von t-Normen, für alle .) Damit gilt etwa auch für alle .
Diese Definition von stellt auch sicher, dass wie anfangs angekündigt.
- Es sei .
- Damit .
- Damit und somit .2
- Es sei .
- Damit und somit .
- Angenommen .
- Aber dann, weil gilt . Widerspruch!
- Angenommen .
- Aber dann gilt auch weil .
- Also war nicht maximal. Widerspruch.
Für nicht alle t-Normen existiert eine Zahl für alle . Ein Beispiel ist die drastische oder radikale t-Norm: falls , = y falls und sonst . Man nehme etwa und . Wir haben etwa:
- etc.
- aber: .
Keine Zahl ist maximal mit der Eigenschaft, dass .
Die gute Nachricht ist, dass dies kein Problem darstellt für unsere üblichen t-Normen, die Gödel t-Norm (), die Lukasiewicz t-Norm und die Produkt t-Norm. Der Grund ist, dass diese stetig sind. Eine Funktion ist stetig, falls ihr Graph keine Sprünge aufweist: man kann den Graph mit einem Stift nachzeichnen, ohne dabei absetzen zu müssen.1
Für unsere t-Normen ergeben sich dann folgende Wahrheitsfunktionen für Implikationen:
1 | 1 | 1 | |
Übung: Prüfen Sie dies nach!
Negationen und Implikationen stehen in Fuzzy-Logiken in der üblichen Beziehung:
Übung: prüfen Sie dies nach.
Am Ende der Sitzung haben wir uns noch einmal abschließend mit dem Sorites Szenario beschäftigt. Folgende Tabelle zeigt Wahrheitswerte für die verschiedenen Wahrheitsfunktionen unserer drei Fuzzy-Logiken.
1 | 0.8 | 0.6 | 0.4 | 0.2 | 0 | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
L-Neg | 0 | 0.2 | 0.4 | 0.6 | 0.8 | 1 | |||||
G-Neg | 0 | 0 | 0 | 0 | 0 | 1 | |||||
L-Imp | 0.8 | 0.8 | 0.8 | 0.8 | 0.8 | ||||||
G-Imp | 0.8 | 0.6 | 0.4 | 0.2 | 0 | ||||||
P-Imp | 0.8 | 0.75 | 0.66 | 0.5 | 0 | ||||||
0.8 | 0.79 | 0.3 | 0.29 | ||||||||
L-Imp | 0.99 | 0.99 | |||||||||
G-Imp | 0.79 | 0.29 | |||||||||
P-Imp | 0.98 | 0.96 |
Es ist etwa Interessant zu beobachten wie der Implikationswert für die Lukasiewicz Negation sich konstant an die Distanz der beiden Input-Wahrheitswerte hält, während die Gödel-Implikation mit fallenden Wahrheitswert das Implikats abnimmt. Die Produkt-Implikation fällt weniger drastisch ab. Vor allem bei Fällen, die nahe beieinander liegen (zweiter Teil der Tabelle) hat die Lukasiewicz Implikation fast den Wahrheitswert 1, während trotz der Nähe der beiden Werte die Gödel-Implikation weiter mit dem Wahrheitswert des Implikats abfällt.
Zu Ende der Sitzung haben wir mit dem nächsten Großabschnitt, den Modallogiken begonnen. Dazu mehr beim nächsten mal! :-)
- Präziser: eine Funktion ist stetig in einem Punkt , falls für jede beliebig kleine Umgebung von es eine Umgebung gibt in der nur Werte im Bereich angenommen werden. In der Logik erster Stufe lässt sich dies etwa wie folgt formulieren: . Wir sagen, dass eine t-Norm stetig ist, wenn sie in beiden Parametern stetig ist: also für einen fixierten Wert sind und stetig. Für die Existenz des Residuums reicht es bereits aus, dass die t-Norm linksstetig ist: für die Umgebung von müssen wir bei der links-Stetigkeit lediglich Punkte links (also kleiner als) beachten. [return]