13-m3-e-knowledge_and_practical_tasks-2017.pdf
| No. | Téma cvičení / Topic | Zdroje / Sources | Odkazy / Links |
|---|---|---|---|
| 1 | — canceled —- | ||
| 2 | State Space and Uninformed Search | Seminar 1 | |
| 3 | Informed Search | Seminar 2 | |
| 4 | A* and advanced techniques | Seminar 3 | |
| 5 | Two Player Games | Seminar 4 | ab.java node.java |
| 6 | CSP | Seminar 5 | |
| 7 | TEST on alpha-beta, CSP2 | Seminar 6 | |
| 8 | KR and automated theorem proving | Solved problems | Prover9 |
| 9 | Situation calculus | Wumpus_gold, Wumpus_pits | TASK 3, monkey_report |
| 10 | Single decisions under uncertainty, VPI | Solved examples | for VPI see Lecture 9 |
| 11 | Markov Decision Processes (MDPs) | TASK 4, MDPToolbox | |
| 12 | Kripke structures and their properties | Some formulas valid in Kripke structures,Formal system | TASK 5,TASK 6 |
| 13 | What Modal Logic is good for? | MOL and common knowledge in some real-life problems | Task7,Task8,Task9 |
| 14 | TBD |