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ý
Cvičící: Cvičící se budou střídat podle probíraných témat, kontakty: Branislav Bošanský, David Fiedler, Jaromír Janisch, Martin Schaefer
Formát zkoušky:
Podmínky složení zkoušky:
Zkouškové termíny (vloženy v KOSu, studenti FJFI bez zapisu v KOSu):
(relevantní kapitoly zmíněné u každé přednášky)