ispit: Ispit se sastoji iz dva dela: teorijskih pitanja i zadataka. Radi se 2.5 sata, ali se teorija radi sat vremena (istovremeno se dele teorija i zadaci).
Najverovatnije će biti 3 zadatka (mogu biti i 4) sa delovima pod a) i pod b). Zadaci nose jednak broj poena. U zadacima dolazi sve što je rađeno na vežbama, uključujući i rađene kodove algoritama.

konsultacije: Konsultacije će biti u utorak, 06.06.2017. u 10 sati u kabinetu 716.

• Profesor: Predrag Janičić
• Asistent: Danijela Simić
• Literatura: Skripta
• Dodatna literatura (za zainteresovane):
  • Artificial Intelligence: A Modern Approach (Stuart Russell and Peter Norvig)
  • Pattern Recognition and Machine Learning (Christopher Bishop)
• Način polaganja:
  • predispitne obaveze: 50 poena, 3 testa
    • test1 -- zadaci + teorija -- 15 poena -- 10 poena teorija, 5 poena zadaci
    • test2 -- samo zadaci -- 20 poena
    • test3 -- samo teorija -- 15 poena
  • ispit: 50 poena, pitanja + zadaci

• I čas: Pretraga. A*
  • DFS puzzle
  • BFS puzzle
  • Dejikstra puzzle
  • Slike
  • Zadaci iz A*
  • A* map
  • A* puzzle
  • Slajdovi sa predavanja
• II čas: Minimax
  • Zadaci iz Minimaks algoritma sa alfa-beta odsecanjem
  • Primer implementacije na igri X-O
• III čas: Genetski algoritmi
  • Primer iz skripte - implementacija
  • Slajdovi sa časa
• IV čas: Iskazna logika. Zapisivanje recenica.
  • Razni zadaci, zapisivanje rečenica
  • MiniSAT
  • DIMACS
  • Primer zapisan u DIMACS formatu
  • Prezentacija (prva verzija, moguće greške)
• V čas: DPLL. Kodiranja.
  • DPLL. Metod rezolucije.
  • Opisi kodiranja (čitati do 5-te strane)
  • Sugar: a SAT-based Constraint Solver
  • Prezentacija (prva verzija, moguće greške)
  • Zadaci iz kodiranja sa ispita/kolokvijuma
• VI čas: Logika prvog reda. Zapisivanje recenica. Unifikacija. Metod rezolucije.
  • Prezentacija (prva verzija, moguće greške)
  • Prezentacija -- nastavak
  • Metod rezolucije -- rešenja zadataka
• VII čas: Implementacija DPLL u cpp.
  • DPLL.cpp
  • Topovi.cpp
• VIII čas: Prolog. (BProlog)
  • Razni zadaci iz prologa
  • BProlog
  • Uputstvo
• IX čas: Prolog -- Liste.
  • Razni zadaci iz prologa
• X čas: Prolog -- Liste.
  • Zadaci sa časa
  • Razni zadaci iz Prologa(rokovi iz predmeta u okviru kojih se uči prolog)
• XI čas: Mašinsko učenje - Klasifikacija.
  • Mašinsko učenje - slajdovi
  • Slika 4.2.png u slajdovima
  • Zadaci iz Mašinskog učenja - klasifikacija
  • Beleške sa časa (nesređeno)
• XII čas: Mašinsko učenje - Regresija.
  • Regresija - slajdovi