Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion...
Transcript of Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion...
![Page 1: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/1.jpg)
Bootaufgabe
Zustandsmodellierung u. Ubergangsfunktion
![Page 2: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/2.jpg)
Zustandsmodellierung und Nachfolgerfunktion
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 1 -
Zustand = (# E links, # K links , Boot (l / r))
Startzustand = (2,2,l)
Zielzustand = (0,0,r)
alternativ:
Zustand = ({Personen links},{Personen rechts},Boot (l/r)),
z.B. ({K, K, E, E}, ∅, r)
![Page 3: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/3.jpg)
Zustandsmodellierung und Nachfolgerfunktion
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 2 -
nf((0,0, l)) = ∅nf((0,1, l)) = {(0,0, r)}nf((0,2, l)) = {(0,1, r), (0,0, r)}nf((1,0, l)) = {(0,0, r)}nf((1,1, l)) = {(1,0, r), (0,1, r)}nf((1,2, l)) = {(0,2, r), (1,1, r), (1,0, r)}nf((2,0, l)) = {(1,0, r)}nf((2,1, l)) = {(1,1, r), (2,0, r)}nf((2,2, l)) = {(1,2, r), (2,1, r), (2,0, r)}
![Page 4: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/4.jpg)
Zustandsmodellierung und Nachfolgerfunktion
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 3 -
nf((0,0, r)) = {(1,0, l), (0,1, l), (0,2, l)}nf((0,1, r)) = {(1,1, l), (0,2, l)}nf((0,2, r)) = {(1,2, r)}nf((1,0, r)) = {(2,0, l), (1,1, l), (1,2, l)}nf((1,1, r)) = {(2,1, l), (1,2, l)}nf((1,2, r)) = {(2,2, r)}nf((2,0, r)) = {(2,1, l), (2,2, l)}nf((2,1, r)) = {(2,2, l)}nf((2,2, r)) = ∅
![Page 5: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/5.jpg)
Breitensuche
ohne Zyklenerkennung
![Page 6: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/6.jpg)
Breitensuche ohne Zyklenerkennung
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 1 -
(K, K, E, E | − − | l)44
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj jj
**TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTOO
��
(K, K, E |E | r) (E, E |K, K | r)OO
��
(K, E, E |K | r)
(K, E, E |K | l)OO
��
(K, E, E |K, E | r)OO
��. . .
![Page 7: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/7.jpg)
Breitensuche ohne Zyklenerkennung
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 2 -
L = (K, K, E, E | − − | l), enthalt keinen Zielknoten
(K, K, E, E | − − | l)44
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj jj
**TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTOO
��
(K, K, E |E | r) (E, E |K, K | r)OO
��
(K, E, E |K | r)
(K, E, E |K | l)OO
��
(K, E, E |K, E | r)OO
��. . .
![Page 8: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/8.jpg)
Breitensuche ohne Zyklenerkennung
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 3 -
N(L) Menge der direkten Nachfolger
(K, K, E, E | − − | l)44
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj jj
**TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTOO
��
(K, K, E |E | r) (E, E |K, K | r)OO
��
(K, E, E |K | r)
(K, E, E |K | l)OO
��
(K, E, E |K, E | r)OO
��. . .
![Page 9: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/9.jpg)
Breitensuche ohne Zyklenerkennung
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 4 -
L := N(L) , L enthalt keinen Zielknoten
(K, K, E, E | − − | l)44
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj jj
**TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTOO
��
(K, K, E |E | r) (E, E |K, K | r)OO
��
(K, E, E |K | r)
(K, E, E |K | l)OO
��
(K, E, E |K, E | r)OO
��. . .
![Page 10: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/10.jpg)
Breitensuche ohne Zyklenerkennung
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 5 -
N(L) Menge der direkten Nachfolger von L.
(K, K, E, E | − − | l)44
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj jj
**TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTOO
��
(K, K, E |E | r) (E, E |K, K | r)OO
��
(K, E, E |K | r)
(K, E, E |K | l)OO
��
(K, E, E |K, E | r)OO
��. . .
![Page 11: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/11.jpg)
Breitensuche ohne Zyklenerkennung
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 6 -
L := N(L) , L enthalt keinen Zielknoten
(K, K, E, E | − − | l)44
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj jj
**TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTOO
��
(K, K, E |E | r) (E, E |K, K | r)OO
��
(K, E, E |K | r)
(K, E, E |K | l)OO
��
(K, E, E |K, E | r)OO
��. . .
![Page 12: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/12.jpg)
Breitensuche ohne Zyklenerkennung
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 7 -
N(L) Menge der direkten Nachfolger von L.
(K, K, E, E | − − | l)44
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj jj
**TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTOO
��
(K, K, E |E | r) (E, E |K, K | r)OO
��
(K, E, E |K | r)
(K, E, E |K | l)OO
��
(K, E, E |K, E | r)OO
��. . .
![Page 13: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/13.jpg)
Breitensuche ohne Zyklenerkennung
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 8 -
L := N(L) , L enthalt keinen Zielknoten
(K, K, E, E | − − | l)44
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj jj
**TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTOO
��
(K, K, E |E | r) (E, E |K, K | r)OO
��
(K, E, E |K | r)
(K, E, E |K | l)OO
��
(K, E, E |K, E | r)OO
��. . .
![Page 14: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/14.jpg)
Aufgabe 2
Teil a)
![Page 15: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/15.jpg)
Tiefensuche
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 1 -
(A1)
ssgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg@@
������
����
����
����
����
__
��???
????
????
????
????
??
(B1)
||yyyy
yyyy
yyyy
yyyy
yyyy
yyy
�� &&MMMMMMMMMMMMMMMMMMMMMMMMMMMMMM(B2) . . . (B∞)
(C11)
��
(C12) . . . (C1∞)
(D111) . . .
![Page 16: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/16.jpg)
Tiefensuche
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 2 -
(A1)
ssgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg@@
������
����
����
����
����
__
��???
????
????
????
????
??
(B1)
||yyyy
yyyy
yyyy
yyyy
yyyy
yyy
�� &&MMMMMMMMMMMMMMMMMMMMMMMMMMMMMM(B2) . . . (B∞)
(C11)
��
(C12) . . . (C1∞)
(D111) . . .
![Page 17: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/17.jpg)
Tiefensuche
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 3 -
(A1)
ssgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg@@
������
����
����
����
����
__
��???
????
????
????
????
??
(B1)
||yyyy
yyyy
yyyy
yyyy
yyyy
yyy
�� &&MMMMMMMMMMMMMMMMMMMMMMMMMMMMMM(B2) . . . (B∞)
(C11)
��
(C12) . . . (C1∞)
(D111) . . .
![Page 18: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/18.jpg)
Tiefensuche
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 4 -
(A1)
ssgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg@@
������
����
����
����
����
__
��???
????
????
????
????
??
(B1)
||yyyy
yyyy
yyyy
yyyy
yyyy
yyy
�� &&MMMMMMMMMMMMMMMMMMMMMMMMMMMMMM(B2) . . . (B∞)
(C11)
��
(C12) . . . (C1∞)
(D111) . . .
![Page 19: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/19.jpg)
Tiefensuche
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 5 -
⇒(B2)wird nie erreicht!
(A1)
ssgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg@@
������
����
����
����
����
__
��???
????
????
????
????
??
(B1)
||yyyy
yyyy
yyyy
yyyy
yyyy
yyy
�� &&MMMMMMMMMMMMMMMMMMMMMMMMMMMMMM(B2) . . . (B∞)
(C11)
��
(C12) . . . (C1∞)
(D111) . . .
![Page 20: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/20.jpg)
Breitensuche
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 6 -
(A1)
ssgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg@@
������
����
����
����
����
__
��???
????
????
????
????
??
(B1)
||yyyy
yyyy
yyyy
yyyy
yyyy
yyy
�� &&MMMMMMMMMMMMMMMMMMMMMMMMMMMMMM(B2) . . . (B∞)
(C11)
��
(C12) . . . (C1∞)
(D111) . . .
![Page 21: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/21.jpg)
Breitensuche
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 7 -
(A1)
ssgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg@@
������
����
����
����
����
__
��???
????
????
????
????
??
(B1)
||yyyy
yyyy
yyyy
yyyy
yyyy
yyy
�� &&MMMMMMMMMMMMMMMMMMMMMMMMMMMMMM(B2) . . . (B∞)
(C11)
��
(C12) . . . (C1∞)
(D111) . . .
![Page 22: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/22.jpg)
Breitensuche
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 8 -
⇒(C11)wird nie erreicht!
(A1)
ssgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg@@
������
����
����
����
����
__
��???
????
????
????
????
??
(B1)
||yyyy
yyyy
yyyy
yyyy
yyyy
yyy
�� &&MMMMMMMMMMMMMMMMMMMMMMMMMMMMMM(B2) . . . (B∞)
(C11)
��
(C12) . . . (C1∞)
(D111) . . .
![Page 23: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/23.jpg)
Aufgabe 2
Teil b
![Page 24: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/24.jpg)
Vollstandige Suchstrategie
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 1 -
Wir nummerieren die Knoten mit Sequenzen s(N)durch:
s(Wurzel) = [1]
Sei Ni das i-te Kind von Knoten N , dann
s(Ni) = s(N)++[i]
![Page 25: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/25.jpg)
Vollstandige Suchstrategie
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 2 -
[1]
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj
�� **UUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU
''OOOOOOOOOOOOOOOOOOOOOOOOOOOOO
[1,1]
������
����
����
���
����3
3333
3333
3333
333
xxqqqqqqqqqqqqqqqqqqqqqqqq
""FFFFFFFFFFFFFFFFFFF[1,2]
������
����
����
���
����3
3333
3333
3333
333
""FFFFFFFFFFFFFFFFFFF[1,3] . . . [1,∞]
[1,1,1]
��~~}}}}
}}}}
}}}}
}}}}
}[1,1,2] [1,1,3] . . . [1,1,∞] [1,2,1] [1,2,2] . . . [1,2,∞]
[1,1,1,1] [1,1,1,2] . . .
![Page 26: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/26.jpg)
Vollstandige Suchstrategie
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 3 -
k := 1
while true do
L := Menge der Knoten mit Sequenzsumme k;
Wenn L einen Zielknoten enthalt,dann gebe Knoten aus und stoppe;
k := k + 1
![Page 27: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/27.jpg)
Vollstandige Suchstrategie
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 4 -
k=1
[1]
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj
�� **TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT
''OOOOOOOOOOOOOOOOOOOOOOOOOOOOO
[1,1]
������
����
����
���
����3
3333
3333
3333
333
xxqqqqqqqqqqqqqqqqqqqqqqqq
""FFFFFFFFFFFFFFFFFFF[1,2]
������
����
����
���
����3
3333
3333
3333
333
""FFFFFFFFFFFFFFFFFFF[1,3] . . . [1,∞]
[1,1,1]
��~~}}}}
}}}}
}}}}
}}}}
}[1,1,2] [1,1,3] . . . [1,1,∞] [1,2,1] [1,2,2] . . . [1,2,∞]
[1,1,1,1] [1,1,1,2] . . .
![Page 28: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/28.jpg)
Vollstandige Suchstrategie
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 5 -
k=2
[1]
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj
�� **TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT
''OOOOOOOOOOOOOOOOOOOOOOOOOOOOO
[1,1]
������
����
����
���
����2
2222
2222
2222
22
xxqqqqqqqqqqqqqqqqqqqqqqqq
""EEEE
EEEE
EEEE
EEEE
EEE
[1,2]
������
����
����
����
����2
2222
2222
2222
222
""EEEEEEEEEEEEEEEEEEE[1,3] . . . [1,∞]
[1,1,1]
��~~}}}}
}}}}
}}}}
}}}}
}[1,1,2] [1,1,3] . . . [1,1,∞] [1,2,1] [1,2,2] . . . [1,2,∞]
[1,1,1,1] [1,1,1,2] . . .
![Page 29: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/29.jpg)
Vollstandige Suchstrategie
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 6 -
k=3
[1]
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj
�� **TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT
''OOOOOOOOOOOOOOOOOOOOOOOOOOOOO
[1,1]
������
����
����
����
����2
2222
2222
2222
222
xxqqqqqqqqqqqqqqqqqqqqqqqq
""EEEEEEEEEEEEEEEEEEE[1,2]
������
����
����
����
����2
2222
2222
2222
222
""EEEE
EEEE
EEEE
EEEE
EEE
[1,3] . . . [1,∞]
[1,1,1]
��~~}}}}
}}}}
}}}}
}}}}
}[1,1,2] [1,1,3] . . . [1,1,∞] [1,2,1] [1,2,2] . . . [1,2,∞]
[1,1,1,1] [1,1,1,2] . . .
![Page 30: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/30.jpg)
Vollstandige Suchstrategie
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 7 -
k=4
[1]
ttjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjjj
�� **TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT
''OOOOOOOOOOOOOOOOOOOOOOOOOOOO
[1,1]
������
����
����
����
����2
2222
2222
2222
222
xxqqqqqqqqqqqqqqqqqqqqqqqqq
""EEEEEEEEEEEEEEEEEEE[1,2]
������
����
����
����
����2
2222
2222
2222
222
""EEEEEEEEEEEEEEEEEEE[1,3] . . . [1,∞]
[1,1,1]
��~~~~~~
~~~~
~~~~
~~~~
~[1,1,2] [1,1,3] . . . [1,1,∞] [1,2,1] [1,2,2] . . . [1,2,∞]
[1,1,1,1] [1,1,1,2] . . .
![Page 31: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/31.jpg)
Vollstandige Suchstrategie
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 8 -
Korrektheit:
• Pro Iteration sind nur endlich viele Knoten zutesten.
• Wenn N ein Zielknoten ist, dann seis(N) = [j1, . . . , jn], wobei j, n ∈ N.
• In (n∑
i=1ji)-ter Iteration wird Knoten N getestet.
• Sogar der erfolgreiche Pfad lasst sich anhand vons(N) bestimmen.
![Page 32: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/32.jpg)
Blatt 3
![Page 33: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/33.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 1 -
A1
''PPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 34: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/34.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 2 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}h is unterschatzendh ist monoton (h(N) ≤ g(N, N ′) + h(N ′)fur alle N mit Nachfolger N ′)
A1
''PPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 35: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/35.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 3 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(S,0, [])}Closed = ∅N = S
A1
''PPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 36: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/36.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 4 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {}Closed = {(S,0, [])}N = S
A1
''PPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 37: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/37.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 5 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(A,3, [S]), (B,2, [S])}Closed = {(S,0, [])}N = S
A1
''PPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 38: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/38.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 6 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(A,3, [S]), (B,2, [S])}Closed = {(S,0, [])}N := min{g(N) + h(N)|N ∈ Open} = B
A1
''PPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 39: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/39.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 7 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(A,3, [S])}Closed = {(S,0, []), (B,2, [S])}N = B
A1
''PPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 40: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/40.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 8 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(A,3, [S]), (C,6, [B, S])}Closed = {(S,0, []), (B,2, [S])}N = B
A1
''OOOOOOOOOOOOOOOOOOOO
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 41: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/41.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 9 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(A,3, [S]), (C,6, [B, S])}Closed = {(S,0, []), (B,2, [S])}N := min{g(N) + h(N)|N ∈ Open} = A
A1
''PPPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 42: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/42.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 10 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(C,6, [B, S])}Closed = {(S,0, []), (B,2, [S]), (A,3, [S])}N = A
A1
''PPPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 43: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/43.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 11 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(C,4, [A, S])}Closed = {(S,0, []), (B,2, [S]), (A,3, [S])}N = A
A1
''PPPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77oooooooooooooooooooo
![Page 44: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/44.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 12 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(C,4, [A, S])}Closed = {(S,0, []), (B,2, [S]), (A,3, [S])}N = min{g(N) + h(N)|N ∈ Open} = C
A1
''OOOOOOOOOOOOOOOOOOOO
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77oooooooooooooooooooo
![Page 45: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/45.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 13 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {}Closed = {(S,0, []), (B,2, [S]), (A,3, [S]), (C,4, [A, S])}N = C
A1
''OOOOOOOOOOOOOOOOOOOO
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77oooooooooooooooooooo
![Page 46: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/46.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 14 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(G,5, [C, A, S])}Closed = {(S,0, []), (B,2, [S]), (A,3, [S]), (C,4, [A, S])}N = C
A1
''OOOOOOOOOOOOOOOOOOOO
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77oooooooooooooooooooo
![Page 47: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/47.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 15 -
h(X) = 0, fur alle x ∈ {S, A, B, C, G}
Open = {(G,5, [C, A, S])}Closed = {(S,0, []), (B,2, [S]), (A,3, [S]), (C,4, [A, S])}N = min{g(N) + h(N)|N ∈ Open} = G
A1
''PPPPPPPPPPPPPPPPPPP
S
377oooooooooooooooooooo
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 48: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/48.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 16 -
Fertig da G Zielknoten
Open = {(G,5, [C, A, S])}Closed = {(S,0, []), (B,2, [S]), (A,3, [S]), (C,4, [A, S])}N = G
A1
''PPPPPPPPPPPPPPPPPPPP
S
377nnnnnnnnnnnnnnnnnnnn
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 49: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/49.jpg)
A-Stern
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 17 -
Mit besserer Heuristik kann man dasBesuchen von B sparen!
A1
''PPPPPPPPPPPPPPPPPPPP
S
377nnnnnnnnnnnnnnnnnnnn
2 ''OOOOOOOOOOOOOOOOOOOO C 1 // G
B4
77nnnnnnnnnnnnnnnnnnn
![Page 50: Bootaufgabe - ki.informatik.uni-frankfurt.de€¦ · Zustandsmodellierung und Nachfolgerfunktion Einf¨uhrung in die Methoden der K¨unstlichen Intelligenz - 1 - Zustand = (# E links,](https://reader036.fdocument.pub/reader036/viewer/2022062607/605eed7d60da623a980d0533/html5/thumbnails/50.jpg)
Springpuzzle
Einfuhrung in die Methoden der Kunstlichen Intelligenz - 18 -
H H V V V HMogliche Zuge?
H H V V V H
H H V V V H
H H V V H V
H H V V V H
H V V H V H