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
Task | When | Deadline | Points |
---|---|---|---|
Task 1: Path planning (A*) | week 2-3 | 10/03/2019 23:59 | 4 |
Task 2: CSP | week 4-6 | 31/03/2019 23:59 | 12 |
Task 3: Two player game | week 6-8 | 14/04/2019 23:59 | 8 |
Task 4: Situation calculus | week 8-9 | 30/04/2019 23:59 | 8 |
Task 5: MDP | week 9-10 | 14/05/2019 23:59 | 10 |
Task 6: CNN | week 11-12 | 24/05/2019 23:59 | 8 |
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)