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.

  ---