Geschichte und Anwendungen - Hochschule Niederrhein

Wissensbasierte Systeme Geschichte und Anwendungen Wissensrepräsentation 184 / 219
Syntaktischer Aufbau von Regeln
Nun müssen wir noch herleiten:
A → B ∨C ⇐⇒ ¬A∨(B ∨C) Def. der Implikation
⇐⇒ (¬A∨B)∨C assoziativ
⇐⇒ ¬(A∧¬B)∨C de Morgan
⇐⇒ A∧¬B → C Def. der Implikation
Fassen wir oben bei der Anwendung des Assoziativgesetzes anders
zusammen, nämlich (¬A∨C)∨B, dann erhalten wir:
A → B ∨C ⇐⇒ A∧¬C → B
Fassen wir nun obige Umformungen zusammen und wenden sie auf
ein Beispiel an.