Sztuczna Inteligencja Ćwiczenia


Warunki zaliczenia przedmiotu

Przedmiot zaliczany jest poprzez zaliczenie zajęć oraz kolokwium. Zajęcia zalicza się poprzez obecność lub rozwiązanie zadań domowych. Wolno być nieobecnym i nie oddać zadań z co najwyżej dwu zajęć w semestrze.

Brak zaliczenia zajęć uniemożliwia zaliczenie przedmiotu; brak zaliczenia kolokwium uniemożliwia podejście do egzaminu w pierwszym terminie.

Kolokwium odbędzie się pod koniec semestru.

Dla każdych ćwiczeń zamieszczony jest zestaw zadań (pierwszy zestaw dla pierwszych ćwiczeń, drugi dla drugich itd.). Osoby nie obecne na ćwiczeniach muszą, aby je zaliczyć, rozwiązać zadania domowe. Zadania należy oddawać na zajęciach albo przesyłać na adres wjaworski@mimuw.edu.pl. Rozwiązania przesyłane pocztą elektroniczną mogą być napisane na komputerze, bądź napisane ręcznie na kartce a następnie zeskanowane. Ostateczny termin zaliczenia prac domowych upływa tydzień po terminie zajęć, których one dotyczą.

Kolokwium odbędzie się pod koniec semestru.

Wszystkie pliki rozwiązania powinny być spakowane w pliku o nazwie {log}-zad{n},gdzie {log} to login osoby rozwiązującej, a {n} to numer zestawu zadań oraz rozszerzeniu odpowiadającemu użytemu programowi pakującemu.

Informacja o zaliczonych zajęciach oraz wynikach kolokwium znajduje się w systemie USOS w module sprawdziany.


Zestawy zadań

  1. Zadania z 01.03.2017 Przeszukiwanie
  2. Zadania z 08.03.2017 Przeszukiwanie cd.
  3. Zadania z 15.03.2017 Problemy z więzami

Slajdy z wykładów

  1. Wykład 1 Wprowadzenie
  2. Wykład 2 Przeszukiwanie
  3. Wykład 3 Przeszukiwanie iteracyjne
  4. Wykład 4 Gry
  5. Wykład 5 Wnioskowanie w rachunku zdań
  6. Wykład 6 Wnioskowanie w logice I rzędu
  7. Wykład 7 Zbiory rozmyte
  8. Wykład 8 Sieci neuronowe
  9. Wykład 9 Planowanie
  10. Wykład 10 Systemy uczące się
  11. Wykład 11 Sieci Bayesowskie

Wojciech Jaworski

25.04.2016