====== Základy umělé inteligence (B4B36ZUI) ======
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í.
**Z [[http://www.fel.cvut.cz/cz/aktuality/2020/koronavirus-2019-ncov-pokyny-cvut--p-r-07_2020-dodatek_1.pdf|nařízení rektora]] je od 10. 3. 2020 do odvolání zrušena veškerá prezenční výuka na ČVUT. Přecházíme na distanční režim, sledujte prosím aktuality.**
===== Aktuality ZUI =====
==== 19.května 2020 ====
[[https://meet.google.com/fzh-uzwe-xrn | Přednáška]] začne 14:30. Tématem bude Game Theory.
[[https://meet.google.com/fzh-uzwe-xrn | Cvičení]] začíná v 16:15. Opět Game Theory. POZOR ZMENA LINKU NA IDENTICKY S PREDNASKOU !
==== 12.května 2020 ====
[[https://meet.google.com/rud-isng-tmk | Přednáška]] začne 14:30. Tématem bude perceptron. Na začátku přednášky se proberou organizační záležitosti (zkoušky a zápočty)
[[https://meet.google.com/hov-kauw-wju | Cvičení]] začíná v 17:00. Pokud někdo ze studentů dospěl k nějakému řešení, prodiskutujeme výsledky. Pokud někdo narazil na překážky během řešení, také to prodiskutujeme. Můžeme i zvážit přeformulování nějaké části zadání, pokud není zcela jasné z původního textu, co a jak se má řešit. Očekává se aktivní účast studentů v diskusi.
==== 11.května 2020 ====
Pondělní a úterní cvičení (perceptron) proběhne následovně: studenti vypracují zadání, které bude během pondělí (do 13:00) vyvěšeno na fóru v samostatném vláknu [[https://cw.felk.cvut.cz/forum/thread-5035.html | PERCEPTRON]]. V pondělí 13:00 - 13:30 proběhne videochat [probehlo], kde společně projdeme zadání a společně do zadání přidáme objasňující poznámky. Na zadání mohou studenti spolupracovat a byl bych rád, kdyby si aktivně radili na fóru (neposílejte tam, prosím, kódy). V pondělí i v úterý 17:00 - 18:00 pak proběhne diskuse o řešení na videochatu [link bude dodán], kde studenti odprezentují svá specifická řešení, se kterými by rádi seznámili své kolegy.
Aktualizace: vzhledem k vývoji cvičení (videochatu) 13:00-14:30 bude videochat v pondělí 17:00-18:00 věnován průchodu zadáním s cílem nalézt části, které nejsou srozumitelné [[https://meet.google.com/xan-ghrb-hgy | AKTUALNI VIDEOCHAT]].
Upozornění: toto zadání není zadáním domácí úlohy, nýbrž procvičováním perceptronu.
==== 23. dubna 2020 ====
V sekci přednášky a [[https://drive.google.com/file/d/1sFoHqzgyzE9ks8JO_GW8sBL5b4PnDLBd/view?usp=sharing|zde]] je dostupná **video přednáška s komentářem ke slajdům na POMDP**. Volný přístup je z domény FEL ČVUT. Přednáška obsahuje i několik slajdů o MPD (příklad s robotem sbírajícím plechovky a důkaz konvergence hodnotové iterace). K tématu POMDP se přímo neváže samostatná programovací úloha, příklad na POMDP může ale být součástí zkouškového testu.
==== 15. dubna 2020 ====
Zahájili jsme dvoutýdenní miniblok na **sekvenční rozhodování za neurčitosti**. K dispozici jsou komentované slajdy k tématu [[https://drive.google.com/file/d/156n61eh8pHMex2A06Wvxxy8kLN3mLWdR/view?usp=sharing|Markovské rozhodovací procesy]]. Volný přístup je z domény FEL ČVUT. K přednášce se váží řešené příklady 4-6 {{:courses:b4b36zui:b4b36zui_solved_tasks_full.pdf|zde}}.
**Cvičení** k tomuto tématu proběhnou na [[https://meet.google.com/fzj-zzso-pqp|Google Meet]] (stejný link jako byl už uveden níže) v těchto termínech:
* Po 20.4. od 16:15 - představení MDP na úlohách, zadání domácí úlohy na markovské rozhodovací procesy, cvičení bude nahráno a dostupné kdykoli později ([[https://drive.google.com/file/d/1RQI9JoGe1iD1rZB5kPXWVAYDqpIx_Dao/view|záznam zde]]), omezený prostor na dotazy bude na konci cvičení, přímá účast všech studentů online není nutná,
* Po 27.4. od 16:15 - 17:15 - diskuse o MDP, problémy s řešením úlohy, dotazy ideálně předem na fóru v [[https://cw.felk.cvut.cz/forum/thread-4927.html|tomto vláknu]].
==== 8. dubna 2020 ====
V sekci přednášky a [[https://drive.google.com/file/d/1G5G9a0sBtIaJnG-Sb7Fktz7__DLpJ-ay/view?usp=sharing|zde]] je dostupná **video přednáška s komentářem ke slajdům k tématu Jednotlivá rozhodnutí za neurčitosti**. Volný přístup je z domény FEL ČVUT. K přednášce se váží řešené příklady 1-3 {{:courses:b4b36zui:b4b36zui_solved_tasks_full.pdf|zde}}, tedy v materiálech pro doprovodné cvičení. K tématu se přímo neváže samostatná programovací úloha, úlohy na pravděpodobnostní rozhodování a VPI jsou ale součástí zkouškového testu.
==== 4. dubna 2020 ====
**Cvičení k tématu Logická umělá inteligence** proběhnou na [[https://meet.google.com/fzj-zzso-pqp|Google Meet]] (stejný link jako byl už uveden níže) v těchto termínech:
* Po 6.4. od 16:15 - představení systému TPTP, ukázka řešení několika vzorových úloh, zadání domácí úlohy na situační kalkul, cvičení bude nahráno a dostupné kdykoli později ([[https://drive.google.com/file/d/1Tl5g2rAhbn2qphPOcVApOYCxya8027Px/view|záznam zde]]), omezený prostor na dotazy bude na konci cvičení, přímá účast všech studentů online není nutná,
* Po 13.4. od 16:15 - 17:15 - diskuse nad situačním kalkulem pro studenty zapsané na pondělní cvičení, problémy s řešením úlohy, dotazy
ideálně předem na [[https://cw.felk.cvut.cz/forum/thread-4867.html|fóru]], abychom byli rámcově připraveni, **Oprava:** Jde o velikonoční pondělí, tento termín zrušíme a spojíme s úterní konzultací.
* Út 14.4. od 14:30 - 15:30 - diskuse nad situačním kalkulem pro studenty zapsané na úterní cvičení, problémy s řešením úlohy, dotazy
ideálně předem na [[https://cw.felk.cvut.cz/forum/thread-4867.html|fóru]], abychom byli rámcově připraveni.
Materiály shrnuty [[courses:b4b36zui:materials:c89_sitCalc|zde]].
==== 31. března 2020 ====
V sekci přednášky a [[https://drive.google.com/file/d/1yfqTkkgM5HdEGU7z0SGFDT8De3rFT5kE/view?usp=sharing|zde]] je dostupná **video přednáška s komentářem ke slajdům k tématu Logická umělá inteligence**. Volný přístup je z domény FEL ČVUT. Na přednášku bude navazovat příští cvičení, to uděláme podobnou formou jako kolegové níže, tj. konzultace s nahráním videa. První cvičení spíše předáme informace, druhé cvičení v dalším týdnu by už mělo být především konzultační. Informace ke cvičení upřesníme na konci týdne.
==== 30. března 2020 ====
Vážení kolegové,
výjímečná situace ve které se nacházíme a práce na urgentním komunitně-vědeckém projektu mě zabránila zodpovědně a korektně připravit přednášky na CSP a teorii her. Na vině je především má neschopnost vypořádat se s návalem práce tak abych mohl dostát svým pedagogickým povinnostem. Za to se Vám upřímně omlouvám.
Přednášky a cvičení k těmto tématům tedy odkládám ke konci semestru, stejně tak posuneme deadline pro relevantní úkoly v brute.
Na oplátku Vás zvu na seminář katedry počítačů, týkající se použití AI metod k prevenci nákazy, který proběhne online na https://feectu.zoom.us/j/402295494 ve čtvrtek 2.4. v 2:30.
S omlouvou a pozdravem,
Tomáš Krajník
==== 16. března 2020 ====
Vážení studenti,
s ohledem na nouzový stav přecházíme i v předmětu ZUI na distanční formu výuky.
Prosíme o trpělivost a žádáme vás o konstruktivní spolupráci pro hladký průběh předmětu.
**Přednášky** plánujeme natočit, odkaz na video vám bude nasdílen na CW. Testujeme technické řešení.
Prezenční **cvičení** budou nahrazena poskytnutím doplňujících materiálů a online konzultacemi.
[[courses:b4b36zui:materials:cv_04_csp|Materiály pro aktuální cvičení na CSP]] si prosím prostudujte. Diskuse k aktuálnímu cvičení je na [[https://cw.felk.cvut.cz/forum/thread-4770.html|fóru]].
Online hromadné [[https://meet.google.com/fzj-zzso-pqp|konzultace na Google Meet]] můžete využít v těchto termínech:
* Po 16:15 - 17:15
* Út 14:30 - 15:30
Při konzultaci si prosím vypněte mikrofon, o slovo se hlašte v chatu a vyčkejte až Vám cvičící dá slovo.
Termíny **domácích úloh** budou odloženy. Naším cílem je poskytnou vám dostatek času ke splnění a nestresovat vás termíny. Přesto vás prosíme, abyste se pokusili úlohy řešit co nejdříve po zadání - aby se nám vše nehromadilo.
* 1. úloha - AStar 30.3.
* 2. úloha - CSP 6.4.
Tento týden pilotujeme vzdálenou formu výuky, zkoušíme nové nástroje, dejte nám případně nějaký tip na zlepšení nebo pomožte zpětnou vazbou třeba na [[https://cw.felk.cvut.cz/forum/forum-1629-page-1.html|fóru]].
Děkujeme za trpělivost a spolupráci!
Dbejte prosím na zdraví své i ostatních lidí ve vašem okolí.
===== Semestr =====
**Přednášející:** [[http://cs.fel.cvut.cz/en/people/pechouce|Michal Pěchouček]] [[http://cs.fel.cvut.cz/en/people/pechouce|{{http://cs.fel.cvut.cz/upload/persons/4aa36065f8f1e0e2fdd96369ddc6e4df4cd3c9dc.jpg?30}}]],
[[http://cs.fel.cvut.cz/en/people/klema|Jiří Kléma]] [[http://cs.fel.cvut.cz/en/people/klema|{{http://cs.fel.cvut.cz/upload/persons/093cfff3aa994b3aad8b8b81e197d844053d0822.jpg?30}}]],
[[http://cs.fel.cvut.cz/en/people/krajnt1|Tomáš Krajník]] [[http://cs.fel.cvut.cz/en/people/krajnt1|{{http://cs.fel.cvut.cz/upload/persons/e9ba069d60df701512052365bf5cd2b9acefaea9.jpg?30}}]]
**Cvičící:** Cvičící se budou střídat podle probíraných témat, kontakty:
1. - 3. a 12. - 13. týden:
[[http://cs.fel.cvut.cz/en/people/vintrtom|Tomáš Vintr]] [[http://cs.fel.cvut.cz/en/people/vintrtom|{{http://cs.fel.cvut.cz/upload/persons/09cb9e5a38de208af42feb003da69cc8962ef727.jpg?30}}]], [[http://cs.fel.cvut.cz/en/people/krajnt1|Tomáš Krajník]] [[http://cs.fel.cvut.cz/en/people/krajnt1|{{http://cs.fel.cvut.cz/upload/persons/e9ba069d60df701512052365bf5cd2b9acefaea9.jpg?30}}]]
4. - 5. týden:
[[http://cs.fel.cvut.cz/en/people/schaemar|Martin Schaefer]] [[http://cs.fel.cvut.cz/en/people/schaemar|{{http://cs.fel.cvut.cz/upload/persons/c5b76da3e608d34edb07244cd9b875ee86906328.jpg?30}}]], [[http://cs.fel.cvut.cz/en/people/janisjar|Jaromír Janisch]] [[http://cs.fel.cvut.cz/en/people/janisjar|{{http://cs.fel.cvut.cz/upload/persons/bf34c0e43c7506f8a400c8cd5e7d21f0f5312566.jpg?30}}]]
6. - 7. týden:
[[https://udb.fel.cvut.cz/?uid=kulhajon&sn=&givenname=&_cmd=Hledat&_reqn=1&_type=user|Jonáš Kulhánek]]
8. - 11. týden:
[[https://udb.fel.cvut.cz/?uid=kuncvlad&sn=&givenname=&_cmd=Hledat&_reqn=1&_type=user|Vladimír Kunc]], [[http://cs.fel.cvut.cz/en/people/klema|Jiří Kléma]] [[http://cs.fel.cvut.cz/en/people/klema|{{http://cs.fel.cvut.cz/upload/persons/093cfff3aa994b3aad8b8b81e197d844053d0822.jpg?30}}]]
* [[courses:b4b36zui:prednasky|Přednášky]] UT (KN:E-107) 14:30
* [[courses:b4b36zui:seminars|Cvičení]] PO (KN:E-311) 11:00, 12:45, 16:15, UT (KN:E-328) 16:15, 18:00
* [[https://cw.felk.cvut.cz/brute|BRUTE - odevzdávací systém]]
====Úlohy====
Součet bodů za úlohy je 60, ale maximálně 50 si odnesete ke zkoušce.
Při zadávání prvního domácího úkolu se upřesní celkový počet úloh.
^Task ^ When ^ Deadline ^ Points ^
|Task 1: [[courses:b4b36zui:tasks:task1|Path planning (A*)]]| week 3-4 | 15/03/2020 23:59 30/03/2020| 10 |
|Task 2: [[courses:b4b36zui:tasks:task2|CSP]]| week 4-5 | 22/03/2020 06/04/2020 | 10 |
|Task 3: [[courses:b4b36zui:tasks:task3|Two player game]] | week 6-7 | 05/04/2020 05/06/2020 23:59 | 10 |
|Task 4: [[courses:b4b36zui:tasks:task4|Situation calculus]] | week 8-9 | 28/04/2020 23:59 | 10 |
|Task 5: [[courses:b4b36zui:tasks:task5|MDP]] |week 9-10| 12/05/2020 23:59 17/05/2020 23:59 | 10 |
|Task 6: ? |week 11-12| ??/05/2020 23:59 | 10 |
===== Podmínky úspěšného zakončení předmětu, konečné hodnocení =====
* Udělení zápočtu.
* Složení zkoušky.
* Součet bodů za zkoušku a cvičení určí výslednou známku dle standardní škály\\ (50-59b. = E, ..., 90-100b. = A).
==== Podmínky udělení zápočtu ====
* Účast na cvičení (2 povolené neúčasti, pro dlouhodobější absence nás kontaktujte na martin.schaefer@fel.cvut.cz).
* Minimální zisk 25 bodů ze cvičení (z maximálně možných 50 bodů, více než 50 bodů nelze ke zkoušce přenést).
* Odevzdání **5/6 úloh** řešených v průběhu semestru a dosažení **minimální hranice 50% bodů za obsah u každé z těchto 5 úloh**.
* Jednu úlohu student nemusí vypracovat.
* Hodnocením obsahu je hodnocení před započtením případné penalizace za pozdní odevzdání.
* Penalizace za pozdní odevzdání úlohy je 1 bod za každý započatý den po termínu.
==== Zkouška ====
Formát zkoušky:
* zkouška je písemná na 150 minut,
* po opravě testu následuje krátká ústní diskuse nad testem sloužící k vyjasnění případných otázek zkoušejících či studentů
* diskuse není formálně bodovaná, ale může vést k úpravě bodování testu,
* zkoušková témata odpovídají tématům pokrytým přednáškovými slidy,
* písemný test typicky obsahuje 5 skupin otázek po 10 bodech (typicky příklady k řešení, formalizace problému doplněné několika ano/ne otázkami)
* {{zkouska-10-6-2011.pdf|příklad testu z roku 2011}}, {{:courses:b4b36zui:zkouska-10-6-2011-en-comments.pdf| in english}}
* {{zkouska-14-6-2012.pdf|příklad testu z roku 2012}}, {{:courses:b4b36zui:zkouska-14-6-2012-en-comments.pdf| MOL in english}}
* {{zkouska-11-06-2014.pdf|příklad testu z roku 2014}}, {{:courses:b4b36zui:zkouska-11-06-2014-en-comments_complete.pdf|in english}}
* {{zkouska-02-06-2016-EN.pdf|příklad testu z roku 2016 (in English)}}
* na zkoušku je možné si přinést **1 A4 stránku vlastnoručně** psaných poznámek a kalkulátor (**ne mobil!**)
* žádné jiné pomůcky nejsou povoleny (slidy, knihy, notebooky, ani přístup na internet)
Podmínky složení zkoušky:
* minimální zisk 25 bodů ze zkouškové písemky a případného slovního dozkoušení\\ (z maximálně možných 50 bodů).
Zkouškové termíny (vloženy v KOSu, studenti FJFI bez zapisu v KOSu):\\
Loňské termíny: 4.6., 13.6., 19.6., 26.6., vše v KN:E-301 od 9h.
===== Odkazy =====
* [[https://cw.felk.cvut.cz/brute|BRUTE Upload systém]]
* [[https://cw.felk.cvut.cz/forum/forum-1629.html |Diskusní fórum]]
* [[https://www.fel.cvut.cz/cz/education/bk/predmety/47/02/p4702906.html|Popis předmětu na stránkách FEL]]
* [[http://www.feld.cvut.cz/cz/education/rozvrhy-ng.B192/public/html/predmety/47/02/p4702906.html|Rozvrh předmětu 2019/2020 na stránkách FEL]]
===== Literatura k předmětu =====
(relevantní kapitoly zmíněné u každé přednášky)
* [AIMA] Russel, S. a Norvig, P.: Artificial Intelligence: A Modern Approach (2nd edition), Prentice Hall, 2003
* příslušné kapitoly k dispozici na vyžádání
* {{http://cs.ucla.edu/~rosen/161/notes/alphabeta.html|Ilustrace alpha-beta}}