ESI/CN
From WikiZMSI
< ESI
Spis treści |
[edytuj]
Ćwiczenia 1 --- Algorytmy przeszukiwania przestrzeni stanów
Na ćwiczeniach omówiono na przykładzie zadania "bucket problem" z pojemnościami 4 i 3 wykorzystanie strategii wszerz i w głąb. Należy pamiętać o kolejności rozwiązywania problemów:
- Określenie w formalny sposób czym jest stan w zadaniu (ile zmiennych jest potrzebnych na reprezentację stanu i jaka jest ich dziedzina)
- Przedstawienie stanu początkowego i końcowego (rozwiązania) zgodnie z przyjęta wcześniej notacją stanu.
- Określenie zbioru akcji (reguł przejścia), które będą stanowiły krawędzie w drzewie (grafie) reprezentującym przejścia od stanu do stanu. Reguły powinny być jak najbardziej uniwersalne i mogą zawierać zbiór ograniczeń zapewniających, że generowane stany mieszczą się w zakresie stanów dopuszczalnych.
- Zastosowanie wybranej strategi przeszukiwania drzewa.
[edytuj]
Lista zagadnień na zaliczenie
- Jaka może być reprezentacja stanu dla zadania X. Przedstaw stan początkowy i końcowy dla przyjętej notacji.
- Podaj (kilka) reguł przejścia (akcji) dla zadania X.
- Narysuj drzewo dla zadania X używając strategii wszerz (lub w głąb) rozwijając je do poziomu d=3.
- Czym różni się drzewo od grafu?
- Narysuj graf dla zadania X używając strategii w głąb rozwijając go do ścieżki o długości d=4.
(X - to jakieś zadanie z grupy problemów przedstawionych w linkach pomocniczych).
[edytuj]
Linki pomocnicze
- Różne zagadki logiczne z rozwiązaniami
- Gry logiczne
- Applet demonstrujący działanie różnych algorytmów przeszukiwania na przykładzie układanki.
[edytuj]
Ćwiczenia 2 --- Logika predykatów pierwszego rzędu. Programowanie w języku PROLOG.
Slajdy prezentowane na ćwiczeniach
[edytuj]
Lista zagadnień na zaliczenie
- Zapisać w logice predykatów zdania (podane w języku polskim fakty i reguły).
- Dokonać unifikacji relacji.
- Przekształcić zdania w logice predykatów na koniunkcyjną postać normalną.
- Przedstawić kolejność wnioskowania metodą rezolucji gdy dana jest baza wiedzy w koniunkcyjnej postaci normalnej i należy udowodnić hipotezę X.
- Przekształcić zdania w logice predykatów na składnię PROLOGu.
- Przedstawić kolejność wnioskowania metodą rezolucji gdy dana jest baza wiedzy w PROLOGu i należy udowodnić hipotezę X.
[edytuj]
