====== 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}}