A6, Klausur 2007 SS:
zu a)
wenn b+, dann liegt eine Bedingung für o vor. Allerdings ist o auch von h abhängig, das wiederum nicht automatisch h+ ist, wenn b+ ist, da es auch von a abhängt... Trotz b+ bedarf es also für die Gültigkeit von o noch der Gültigkeit von h.
Die Aussage ist also falsch.
zu b)
b- => o- p-
l- => q- r-
r- => u- v-
Damit sind alle Knoten der 4. Ebene (-), wenn b- l- gegeben ist.
Die Aussage ist richtig!
zu c)
Gut, hier habe ich auch so meine Verständnisschwierigkeiten... ich gehe davon aus, dass folgendes gemeint ist:
q ist im vorliegenden Regelbaum außer von l nur von k abhängig. Streicht man l als Vorbedingung für q, so ist q nach wie vor nur von k abhängig.
Ah, JETZT ist grade der Groschen gefallen... also:
im vorliegenden Regelbaum gilt:
l- => q- r- und damit => u- v-
l+ bei k+ => q+ r+ => u+ v?
im neuen Regelbaum (ohne l als Vorbedingung für q) führt
l- => r- und damit => u- v-
l+ bei k+ => r+ (allerdings ist q wegen k+ ebenfalls q+) => u+ v?
Wenn man unter den Ergebnissen des Regelbaums lediglich die Aussagen der Knoten der letzten Ebene versteht, dann führen beide Regelbaumgestaltungen immer zum selben Ergebnis. D.h. die Verbindung l/q ist redundant.
Die Aussage ist richtig.
zu d)
nicht von anderen Fakten abhängig sind:
a b c d e f g i j l n
für t+ muss o+ p+
für o+ muss h+ b+ i+
für h+ muss a+ b+
(Damit sind wir schon mal bei 3: a,b,i)
für p+ muss b+ j+ k+
für k+ muss c+ d+ e+
(damit sind wir bei 7: a,b,i,j,c,d,e)
Nimmt man die Aussage wörtlich, hängt t nicht von sechs, sondern von sieben unabhängigen Fakten ab.
Die Aussage ist also falsch.
zu e)
nicht von anderen Fakten abhängig sind:
a b c d e f g i j l n
a,b,i,j => nur für t relevant
c,d,e => für t und u relevant
f,g,n => nur für v relevant
l => für u und v relevant.
Damit sind c,d,e,l insgesamt exakt vier Faktoren, die ihrerseits von keinem Faktor abgeleitet werden, allerdings für die Gültigkeit von jeweils zwei Faktoren der 4. Ebene notwendig sind.
Die Aussage ist also richtig!
Hoffe, das hat geholfen.