{{:courses:a4b33zui:13-m3-e-knowledge_and_practical_tasks-2017.pdf|}}====== Seminář z předmětu A4B33ZUI / Tutorials/Labs of A4B33ZUI ======

^ No. ^ Téma cvičení / Topic ^ Zdroje / Sources ^ Odkazy / Links ^ 
| 1 | --- canceled ---- | | |
| 2 | State Space and Uninformed Search| {{:courses:a4b33zui:zui-lecture1-ssus.pdf|Seminar 1}}| |
| 3 | Informed Search | {{:courses:a4b33zui:zui-lecture2-astar.pdf|Seminar 2}}| |
| 4 | A* and advanced techniques | {{:courses:a4b33zui:zui-lecture3-astar2.pdf|Seminar 3}}| |
| 5 | Two Player Games | {{:courses:a4b33zui:zui-lecture4-games.pdf|Seminar 4}}| {{:courses:a4b33zui:ab.java|ab.java}} {{:courses:a4b33zui:node.java|node.java}}|
| 6 | CSP | {{:courses:a4b33zui:zui-lesson5-csp.pdf|Seminar 5}} | |
| 7 | **TEST on alpha-beta**, CSP2 | {{:courses:a4b33zui:zui-lesson6-csp2.pdf|Seminar 6}}| |
| 8 | KR and automated theorem proving | {{courses:a4b33zui:prover9_examples.zip|Solved problems}} | [[http://www.cs.unm.edu/~mccune/prover9/|Prover9]] |
| 9 | Situation calculus | {{:courses:a4b33zui:wumpus_gold_formal.txt| Wumpus_gold}}, {{:courses:a4b33zui:wumpus_pits.txt|Wumpus_pits}} | [[courses:a4b33zui:task3-monkey-en|TASK 3]], {{:courses:a4b33zui:monkey_report.zip|monkey_report}} |
| 10 | Single decisions under uncertainty, VPI | {{courses:a4b33zui:a4b33zui_solved_tasks.pdf| Solved examples}} | for VPI see Lecture {{courses:a4b33zui:simple_decisions.pdf|9}} |
| 11 | Markov Decision Processes (MDPs) | | [[courses:a4b33zui:task4-gridworld-en|TASK 4]], [[http://www.cs.ubc.ca/~murphyk/Software/MDP/mdp.html|MDPToolbox]] |
| 12 | Kripke structures and their properties | {{:courses:a4b33zui:c1-e-2017.pdf|Some formulas valid in Kripke structures}},{{:courses:a4b33zui:c2-formal_system-2017.pdf|Formal system}}|{{:courses:a4b33zui:task_5.pdf|TASK 5}},{{:courses:a4b33zui:task_6.pdf|TASK 6}} |
| 13 | What Modal Logic is good for?|{{:courses:a4b33zui:13-m3-e-knowledge_and_practical_tasks-2017.pdf|MOL and common knowledge in some real-life problems}} |{{:courses:a4b33zui:task7.pdf|Task7}},{{:courses:a4b33zui:task8.pdf|Task8}},{{:courses:a4b33zui:task9.pdf|Task9}} |
| 14 | TBD | | |