Überprüfung mit Hilfe von DATR:
Hier kann das DATR Programm zum Cali Unfall getestet werden.
Man kann aus dem WB Graphen einen Zustand oder ein Ereignis auswählen. Zum Beisiel
den Zustand state < 1.1.2 >. Mit der Anfrage
S112:<state> erhält man eine Beschreibung des Zustands.
S112:<why> zählt alle Zustände und Ereignisse auf, die
zu dem Zustand < 1.1.2 > führen.
Die Anfrage S112:<prev> informiert über die direkten Ursachen
des Zustandes < 1.1.2 > .
S112:<next> führt alle Zustände und Ereignisse auf, die
die von dem Zustand < 1.1.2 > verursacht werden.
Informationen über ein Ereignis kann in gleicher Form erfragt werden.
Der
Quellcode des DATR-Files zum Cali-Unfall ist eine direkte Übersetzung des
WB-Graphen.
Hier können Sie Anfragen stellen:
[Semantische Netze und DATR
|Vererbung in DATR]