Geschichte und Anwendungen - Hochschule Niederrhein

Wissensbasierte Systeme Geschichte und Anwendungen Wissensrepräsentation 185 / 219
Syntaktischer Aufbau von Regeln
Aus der Regel
A∨B → C ∨D
erhalten wir dann die vier Regeln:
A∧¬C → D A∧¬D → C B ∧¬C → D B ∧¬D → C
Das ist auch intuitiv klar:
Die linke Seite ist erfüllt, wenn A oder B wahr ist.
In diesem Fall muss auch die rechte Seite wahr sein.
Ist ein Teil der rechten Seite nicht wahr, dann muss der
andere rechte Teil erfüllt sein.
Schauen wir uns das an einem konkreten Beispiel aus dem Alltag
an.