Database Reference
In-Depth Information
falsch nicht nur schwer fallt, sondern auch zu unangemessenen Schlussfolgerungen
fuhren kann. Ein typisches Beispiel ist hier das Pradikat “groß”. Ein 1,85 m großer
Mann ist sicherlich groß, auch einen Mann von 1,80 m wurde man noch als groß
bezeichnen - aber ist ein Mann mit der Korpergroße 1,79 m nun schon “nicht groß”,
also klein? Die Fuzzy-Logik modelliert in solchen Fallen graduelle Abstufungen und
arbeitet mit Regeln der Form “je mehr . . . desto hoher”, die dem menschlichen
Verstandnis nachempfunden sind. Insbesondere im Bereich Steuern und Regeln lasst
sich so eine gute Simulation menschlicher Verhaltensweisen realisieren.
Weitere Ansatze fur die Quantifizierung von Unsicherheit bieten Sicherheits-
faktoren, Plausibilitatsgrade etc.
3.2
Logische Systeme
Logiken bieten einen Rahmen, in dem Inferenzrelationen formalisiert werden
konnen. In einer Logik sind sowohl Syntax als auch Semantik (vgl. Abbildung 3.1)
mathematisch prazise definiert; Beispiele dafur sind die Aussagenlogik und die
Pradikatenlogik erster Stufe, auf die wir spater in diesem Kapitel noch genauer
eingehen werden. Auf einer abstrakten Ebene konnen wir ein
logisches System
als
durch vier Komponenten gegeben ansehen, die wir auch in den Uberlegungen des
vorangegangenen Abschnitts wiederfinden konnen. In den folgenden vier Unterab-
schnitten gehen wir auf diese vier Komponenten ein.
folgt logisch
W
B
Reprasentation
Welt
folgt
notwendigerweise
Semantik(W)
Semantik(B)
Abbildung 3.1
Syntaktische und semantische Ebene
