Thema: Resolution |
|
Hi
Könnte mir vllt bitte jemand bei dem Beispiel helfen:
W={[a,-b,-c],[c,-b,-d],[b,-d],[d]}
Aufgabe: Gilt der Zusammengang W|=a^b ?
Ich habe die Anfrage a^b (ergibt [-a,-d]) negiert und zur WB hinzugefügt.
Somit erhalte ich folgende Klauseln:
{[b,-d],[c,-b,-d],[d],[a,-b,-c],[-a,-d]}
[-a,-d] und [d] ergibt:
[-a] und [a,-b,-c] ergibt:
[-b,-c] und [c,-b,-d] ergibt:
[-b,-d] und [b,-d] erbit:
[-d] und [d] ergibt:
leere Klausel
-> Zusammenhang gilt
Stimmt das so?
Danke,
lg
|
|
Thema: Propabilistisches Netzwerk - berechnung |
|
Hallo
Ich rechne schon ziemlich lange an einem alten Beispiel herum und weis nicht ob meine Lösung passt.
Hier ist meine Lösung:
P(E) = P(E|C)P(C) + P(E|-C)P(-C) ... totale Wahrs.
P(C|E) = (P(E|C)P(C)) / P(E) ... Bayes
P(G|C) = P(G|B,C)*P(B|C) + P(G|-B,C)*P(-B|C) ...... totale bedingte Wahrs.
= P(G|B,C)*P(B) + P(G|-B,C)*P(-B) .... da B,C stat u.a.
P(G|E) = P(G|C,E)P(C|E) + P(G|-C,E)P(-C|E) ... toale bedingte Wahrs.
= P(G|C)P(C|E) + P(G|-C)P(-C|E) .... da G,E bedingt u.a. geg. C, somit P(G|C,E) = P(G|C)
P(G|-D,E) = P(G,E) .... da G, D statistisch u.a. und F nicht gegeben ist
Bitte um Bestätigung ob sie richtig ist oder was ich falsch verstanden haben.
Vorallem ist das mit den Annahmen über die statistischen Unabhängigkeiten richtig?
Vielen Dank!
|
|
|