• Keine Ergebnisse gefunden

1. Aufgabenblatt f¨ ur die Vorlesung

N/A
N/A
Protected

Academic year: 2021

Aktie "1. Aufgabenblatt f¨ ur die Vorlesung"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

AG Theorie der k¨unstlichen Intelligenz FB Mathematik und Informatik, Universit¨at Bremen

Prof. Dr. Carsten Lutz

MZH 3090 clu@uni-bremen.de Tel.: 0421/218-64431

1. Aufgabenblatt f¨ ur die Vorlesung

” Bayes-Netze“

Aufgabe 1: 20%

Betrachte die folgende VerteilungPr:

Welt x y z Pr(ωi)

ω1 true true true .075 ω2 true true false .050 ω3 true false true .225 ω4 true false false .150 ω5 false true true .025 ω6 false true false .100 ω7 false false true .075 ω8 false false false .300 (a) BestimmePr(x),Pr(y),Pr(z).

(b) Konditioniere mitz, kontruiere also die VerteilungPr(·|z).

(c) BestimmePr(x|z) undPr(y|z).

(d) Istxunabh¨angig vonz? Istyunabh¨angig vonc?

(e) Istyunabh¨angig vonzgegebenx∨y?

Aufgabe 2: 20%

Beweise folgende Aussagen:

(a) Pr(ϕ∧ψ)≤Pr(ϕ)≤Pr(ϕ∨ψ).

(b) Wennϕimpliziertψimpliziertϑ, dannPr(ϕ|ψ)≥Pr(ϕ|ϑ).

(c) Seienϕundψaussagenlogische Formeln mit Variablenvar(ϕ) undvar(ψ) so dassvar(ϕ)∩var(ψ) =∅. Wenn var(ϕ) unabh¨angig vonvar(ψ) in VerteilungPr, dann ist inPrauchϕunabh¨angig vonψ.

(d) Es gibt eine VerteilungPrund aussagenlogische Formelnϕ,ψ12f¨ur die folgendes gilt:ϕist unabh¨angig vonψ1∧ψ2aber nicht vonψ1.

Aufgabe 3: 20%

Betrachte das Bayes-NetzN= (G,Θ) mit folgendem DAGG:

und folgenden konditionalen Wahrscheinlichkeitstabellen (bewusst unvollst¨andig):

A ¬A .2 .8

B ¬B .7 .3

B E ¬E true .1 .9 false .9 .1

A B D ¬D

true true .5 .5 true false .6 .4 false true .1 .9 false false .8 .2 (a) Gib die konditionalen Unabh¨angigkeiten inMarkov(G) an.

(b) Dr¨uckePrN(A∧B∧C∧D∧E∧F∧G∧H) als Produkt geeigneter Eintr¨ageθ·|·der KWTs inΘaus.

(c) BerechnePrN(¬A∧¬B) undPrN(A∧E). Begr¨unde Deine Antwort.

(d) Bestimme, ob folgendes gilt. Begr¨unde Deine Anwort.

(i) dsepG(A,{B, H}, E) (ii) dsepG({A, B}, F,{G, H}).

Aufgabe 4: 20%

Beweise, die Korrektheit folgender Graphoid Axiome (also dass das Axiom von jeder VerteilungPrerf¨ullt wird):

(a) Dekomposition;

(b) Schnitt (f¨ur positive VerteilungenPr).

Aufgabe 5: 15% (Zusatzaufgabe)

Betrachte die Definition vonPrN. Zeige, dass f¨ur jedes Bayes-NetzN= (G,Θ) folgendes gilt:

(a) �

ωPrN(ω) = 1;

(b)PrNerf¨ullt alle Unabh¨angigkeiten inMarkov(G);

(c)PrNerf¨ulltΘ: jedesθx=v|ωist die konditionale Wkt f¨urx=vgegebenϕω, alsoPr(x=v|ϕω) =θx=v|ω.

Referenzen

ÄHNLICHE DOKUMENTE

Alle Aufgaben sind in Deinem Organizer gespei- chert, zusammen mit einer (ganzzahligen) Priorit¨ at zwischen 1 (niedrig) und 100 (hoch).. Du arbeitest an einer Aufgabe nach

Der neue Algorithmus soll korrekt und vollst¨ andig sein und auf jeder Eingabe terminieren (Beweise sind aber nicht gefordert).. Wenn dies der Fall ist, gib die

Hinweis: (i) passe die Definition von “schlechter Typ” geeignet an und (ii) beachte, dass nun auch ¨ uber Existenz- restriktionen der Form 9 r .C iteriert werden muss. Aufgabe

Der neue Algorithmus soll korrekt und vollst¨andig sein und auf jeder Eingabe terminieren (Beweise sind aber

AG Theorie der k¨ unstlichen Intelligenz FB Mathematik und Informatik, Universit¨at

Bestimme einen geeigneten logischen Formalismus, in dem das R¨atsel repr¨asen- tiert werden kann und ein logisches Schlußfolgerungsproblem, das zur automatischen L¨osung der

Verwenden Sie die ¨ Ubersetzung aus der Vorlesung, um das Konzept C und die TBox T aus Aufgabe 6 in die Logik erster Stufe zu ¨ ubersetzen. Aufgabe 9:

Hinweis 1: formuliere zun¨achst eine geeignete Behauptung, die die Rollentiefe von Konzepten zur Tiefe von Knoten in I k in Verbindung bringt und die sich per Induktion ¨uber