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 , Tomáš Krajník
Cvičící: Cvičící se budou střídat podle probíraných témat, kontakty:
1. - 6. týden: PO 11:00, 12:45: Martin Schaefer , PO 16:15: Tomáš Krajník , UT 16:15, 18:00: Jaromír Janisch
7. - 14. týden: Tomáš Vintr , Vladimír Kunc, Jiří Kléma
Formát zkoušky:
Podmínky složení zkoušky:
Zkouškové termíny (vloženy v KOSu, studenti FJFI bez zapisu v KOSu): 4.6., 13.6., 19.6., 26.6., vše v KN:E-301 od 9h.
(relevantní kapitoly zmíněné u každé přednášky)