Database Reference
In-Depth Information
Eine
Konsistenzuberprufung
sollte den Benutzer daher schon beim Aufbau der
Regelbasis auf solche Unstimmigkeiten hinweisen, z.B. durch Aufzeigen der im Kon-
flikt befindlichen Regeln oder durch entsprechende Einschrankungen der Wertebe-
reiche der Objektvariablen. Solche aufgespurten Widerspruchlichkeiten haben auch
eine wichtige
Warnfunktion
und helfen dabei, die Regelbasis zu verbessern. Eine
rechtzeitige Uberprufung kann evtl. folgenschweres Fehlverhalten des Systems ver-
hindern.
Selbsttestaufgabe 4.18 (Konsistenzprufung)
Uberprufen Sie, ob die folgende
Regelbasis uber den Objekten A, B, C, D zu widerspruchlichen Ableitungen fuhrt:
Regel 1:
if
A
then
C
Regel 3:
if
C
then
D
Regel 2:
if
B
then
C
Regel 4:
if
A
then
¬
D
4.5
Die Erklarungskomponente
Regelbasierte Systeme verfugen im Allgemeinen uber eine gute Erklarungsfahigkeit,
indem sie die zur Schlussfolgerung herangezogenen Regeln auflisten und so eine
Argumentationskette nachbilden.
Beispiel 4.19
Wir benutzen Beispiel 4.10. Die Erklarungskomponente konnte hier
die folgende Ausgabe generieren:
Gegebene Fakten:
H, C, E, F, G
Schlussfolgerungen:
-
I
wegen Regel R2a
-
K wegen Regel R4a
-
J wegen Regel R3
-
L wegen Regel R5
-
M wegen Regel R6
