====== Cvičení / Labs 2020 ======

^ No. ^ Téma cvičení / Topic ^ Zdroje / Sources ^ Odkazy / Links ^ 
| 1 | Intro to course, workspace preparation | [[courses:b4b36zui:workspaces|Workspaces and libraries in Python]] | |
| 2 | Python libs for UI, (Un)informed Search | {{:courses:b4b36zui:zui-cv1-ssus.pdf|Seminar 1}} | |
| 3 | (Un)informed Search - A* | {{:courses:b4b36zui:zui-cv2-astar.pdf|Seminar 2}} | |
| 4 | Constraint Satisfaction Programming (CSP) | {{:courses:b4b36zui:zui-cv3-csp.pdf|Seminar CSP}} | |
| 5 | CSP II | {{:courses:b4b36zui:zui-lesson6-csp2.pdf|Seminar 4}}| |
| 6 | Two Player Games | {{:courses:b4b36zui:2playerslides.pdf| Seminar 5-6}} | {{:courses:b4b36zui:assignment_3_connect4.zip|Task 3 Template}}, [[http://people.csail.mit.edu/plaat/mtdf.html#abmem|AlphaBeta Transposition Table]] {{:courses:b4b36zui:zui-5-6-games.pdf|Old slides }}|
| 7 | Two-player games II, Monte Carlo Tree Search | | [[https://www.cs.swarthmore.edu/~bryce/cs63/s16/slides/2-15_MCTS.pdf|MCTS slides]], [[http://science.sciencemag.org/highwire/filestream/719481/field_highwire_adjunct_files/1/aar6404_DataS1.zip | AlphaZero pseudocode]] |
| 8 | Logic-based AI | [[courses:b4b36zui:materials:c89_sitcalc|Seminars 8-9]] | [[http://www.tptp.org/cgi-bin/SystemOnTPTP|TPTP Solvers]], [[http://www.tptp.org/cgi-bin/SeeTPTP?Category=Problems&Domain=PLA|TPTP Planning tasks]] |
| 9 | Situation calculus, effect and frame axioms | | [[courses:b4b36zui:tasks:task4|TASK 4]], {{:courses:b4b36zui:assignment_4_zui.zip|Task 4 Template}},  {{:courses:b4b36zui:monkey.zip |monkey}}, {{ :courses:b4b36zui:hanoi.zip | Hanoi towers}}, {{:courses:b4b36zui:ZUI_TPTP_minimanual.pdf|TPTP minimanual}}   |
| 10 | Single decisions under uncertainty, VPI | | {{ :courses:b4b36zui:b4b36zui_solved_tasks_full.pdf|zui_tasks_uncertainty.pdf}} |
| 11 | Markov Decision Processes (MDPs) | [[courses:b4b36zui:materials:c1011_mdp|Seminars 10-11]] | [[courses:b4b36zui:tasks:task5|TASK 5]] |
| 12 | AI in Robotics |  |  |
| 13 | Student work revisions |  |  |