P�edn�ka UI 1

r.2006/07 ZS - t�my a po�adavky

• �vod
  C�le. Eliza, Turing�v test.

---

• Prohled�v�n� stavov�ho prostoru.
  Formalizace, z�kladn� algoritmy, iterativn� prohlubov�n�, Branch and Bound. Algoritmy A, A*. P��pustn� a monot�nn� heuristiky, p��pustnost A*. Informovan�j�� heuristika. Anytime algoritmus.

---

• Hry dvou hr���
  Vymezen� her a c�l�. Minimax, negamax. Cut-off, probl�m horizontu. Alfa-beta, jeho vylep�en�: Transpozi�n� tabulky, okno, nulov� okno, MTD(f).

---

• Strojov� dokazov�n�
  Skolemovsk� forma, Herbrandovo univerzum, Herbrandova b�ze, H-realizace. S�mantick� stromy, Herbrandova v�ta. Rezoluce, rezolu�n� zam�tnut�, unifika�n� algoritmus, lifting lemma, bin�rn� rezolventa, faktor, Robinsonova v�ta. Strategie rezoluce a jejich vlastnosti. Zahrnov�n� (subsumpce).

---

• Reprezentace znalost�
  Predik�tov� logika 1. ��du, pravidla. Semantick� s�t�, r�mce. Syst�my d�di�nosti, defaulty.

---

• Pl�nov�n�
  Pomoc� prohled�v�n� stavov�ho prostoru. Situa�n� kalkul, probl�m r�mc�. Syst�m STRIPS.
  Neline�rn� pl�nov�n�. POP - Struktura, konflikty a jejich �e�en�, algoritmus POP. Hierarchick� dekompozice. Omezen� na zdroje.

---

• Expertn� syst�my
  Z�kladn� rysy. Neur�itost v ES.

---

• Fuzzy logika
  t-normy, defuzzifikace.

---

• Strojov� u�en�
  Rozhodovac� stromy, alg. ID3. Entropie, informa�n� zisk.

  ---