Search
Cílem předmětu je seznámit studenty se základy symbolické umělé inteligence. V předmětu budou vysvětleny algoritmy informovaného a neinformovaného prohledávání stavového prostoru, netradiční metody řešení problémů, reprezentace znalostí pomocí formální logiky, metody automatického uvažování a úvod do markovského rozhodování.
Přednášející: Michal Pěchouček, Jiří Kléma, Branislav Bošanský, Olga Štěpánková
Cvičící: Branislav Bošanský, Karel Horák, Ondřej Vaněk,
Formát zkoušky:
Podmínky složení zkoušky:
Zkouškové termíny (vloženy v KOSu, i pro studenty FJFI):
(relevantní kapitoly zmíněné u každé přednášky)