====== Cvičení / Labs 2018 ======

^ No. ^ Téma cvičení / Topic ^ Zdroje / Sources ^ Odkazy / Links ^ 
| 1 | Intro to state space  | {{:courses:b4b36zui:zui-seminar1-SSUS.pdf|Seminar 1}}| |
| 2 | Uninformed Search| {{:courses:b4b36zui:zui-seminar2.pdf|Seminar 2}} | |
| 3 | Informed Search A*| {{:courses:b4b36zui:zui-seminar3-Astar.pdf|Seminar 3}}| |
| 4 | Advanced techniques - A* | {{:courses:b4b36zui:zui-semainar4-Astar2.pdf|Seminar 4}}| |
| 5 | Constraint Satisfaction Programming (CSP) | {{:courses:b4b36zui:zui-seminar5-csp.pdf|Seminar 5}} | |
| 6 | CSP II | {{:courses:b4b36zui:zui-lesson6-csp2.pdf|Seminar 6}}| |
| 7 | Two Player Games | {{:courses:b4b36zui:zui-seminar7-game_theory.pdf|Seminar 7}}| {{:courses:b4b36zui:ab.java|ab.java}} {{:courses:b4b36zui:node.java|node.java}}|
| 8 | Two-player games II, Monte Carlo Tree Search | |
| 9 | KR and automated theorem proving | {{courses:b4b36zui:prover9_examples.zip|A few problems solved in Prover9}} | [[http://www.cs.unm.edu/~mccune/prover9/|Prover9]] |
| 10 | Situation calculus | {{ :courses:b4b36zui:sitcalc_examples.zip | Two sitcalc problems in Prover9}} | [[courses:b4b36zui:tasks:task3-monkey-en|TASK 4]] |
| 11 | Single decisions under uncertainty, VPI | {{:courses:b4b36zui:b4b36zui_solved_tasks.pdf | Solved examples}} | for VPI see Lecture {{courses:b4b36zui:simple_decisions.pdf|9}} |
| 12 | Markov Decision Processes (MDPs) | see Solved examples above | [[courses:b4b36zui:tasks:task4-gridworld-en|TASK 5]] |
| 13 | Markov Decision Processes (POMDPs) | see Solved examples above | |
| 14 | TBD | | |