Bielefeld University - Faculty of technology

Vererbung in DATR

RVS, Technische Fakultät, Universität Bielefeld 22. October 1997

Vererbung in DATR

Zunächst wird Vererbung in DATR an einem einfachen Beispiel diskutiert. Das Beispiel ist eine verkürzte Fassung des DATR Programms zum Cali-Accident WB-Graph Modell (1) (2) (3) .

E1:
 <event>  == 'aircraft impacts mountain'
 <why>    == S11: <state>  S11: <why>  E12: <event>.  
S11:
 <state>  == 'GWPS monoeuvre failed'
 <why>    == E111: <event>  E111: <why>  
             S112: <state>  E113: <event>. 
E12:
 <event>  == 'AC in mountainous terrain'.
E111:
 <event>  == 'GWPS manoeuvre initiated'
 <why>    == E1111: <event>. 
E1111:
 <event>  == 'GWPS warning sounds'.
S112:
 <state>  == 'AC did not exhibit optimal climb performance'.
E113:
 <event>  == 'AC very close to mountains'. 
S121:
 <state>  == 'AC on wrong course/position (2D-planar)'.
S112:
 <state>  == 'AC did not exhibit optimal climb performance'.

Ein DATR Programm definiert einen Graphen. Der Graph ist durch eine Menge von Gleichungen definiert. Auf der linken Seite einer Gleichung steht immer ein Pfad. Beispiele für Pfade sind <event> und <state>. Auf der rechten Seite einer Gleichung können Atome und Verweise stehen. Die Verweise von E1:<why> sind zum Beispiel E111:<why>, E111: <why>, S112: <state> und E113: <event>. In diesem Programm sind alle Atome auf der rechten Seite einer Gleichung in Hochkommata eingeschlossene Zeichenketten. 'aircraft impacts mountain' ist ein Beispiel für ein Atom.
Mehrere Gleichungen können unter einem Knoten zusammengefaßt werden. Im folgenden sind zwei Gleichungen dem Knoten S11 zugeordnet:

S11:
 <state>  == 'GWPS monoeuvre failed'
 <why>    == E111: <event>  E111: <why>  
             S112: <state>  E113: <event>.

Die Bedeutung ist gleich der von

S11:<state>  == 'GWPS monoeuvre failed'
S11:<why>    == E111: <event>  E111: <why>  
                S112: <state>  E113: <event>.

An ein DATR Programm können Anfragen gestellt werden. Die Auswertung der Anfrage kann man durch eine Grafik veranschaulichen. In der Abbildung wird die Auswertung der Anfrage E1:<why> dargestellt. Das Ergebnis einer Anfrage ist immer eine Sequenz von Atomen. In der Baumdarstellung sind die Blätter des Baumes das Ergebnis der Anfrage. Das Ergebnis einer Anfrage kann nicht aus Verweisen bestehen, da dann die Anfrage nicht vollständig ausgewertet wäre.
In dem Beispiel erbt E1:<why> also Werte von S11:<state> S11:<why> und E12:<event>.

(1): T. Gerdsmeier, P. B. Ladkin and K. Loer, Analysing the Cali Accident With a WB-Graph, at http://www.rvs.uni-bielefeld.de Publications, January 1996. Also to appear in the Proceedings of the Glasgow Workshop on Human Error and Systems Development, March 1996.
(2): T. Gerdsmeier, P. B. Ladkin and K. Loer, Analysing the Cali Accident With a WB-Graph, at http://www.rvs.uni-bielefeld.de Publications, January 1996. Also to appear in the Proceedings of the Glasgow Workshop on Human Error and Systems Development, March 1996.
(3): T. Gerdsmeier A Tool For Building and Analysing WB-graphs, at http://www.rvs.uni-bielefeld.de~thorsten/CaliDATR.html